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

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


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

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

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

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

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



    Содержание раздела