Формальные языки


Функции ПЕРВ, СЛЕД и множество ВЫБОР


    Множество ВЫБОР строится для каждого правила и включает те терминальные символы, при появлении которых под читающей головкой распознаватель должен применять это правило.
    Для определения множества ВЫБОР

    используются функции ПЕРВ и СЛЕД . Аргументом функции ПЕРВ

    может быть любая цепочка полного словаря µ, а значением функции ПЕРВ(µ) является множество терминальных символов, которые могут стоять на первом месте в цепочках, выводимых из цепочки µ.

Пред.Страница 

След.Страница   Раздел   Содержание




Начало  Назад  Вперед



Книжный магазин