Автомат А - приведенный, если в его множестве состояний нет недостижимых состояний и нет двух неразличимых состояний:
Дерево - "синтаксическая структура" предложения:
Интерпретатор считывает команду, но не выполняет ее:
Конечный автомат может использоваться при анализе последовательностей различных символов в строке:
Контекстно-свободными называются грамматики, у которых правая часть правил состоит из одного нетерминала:
Лексема - совокупность форм и значений, свойственных одному и тому же слову во всех его употреблениях и реализациях:
Лексический блок (или сканер) разбивает цепочку символов на слова, из которых она состоит:
По каждому недетерминированному автомату, допускающему язык L, можно построить детерминированный автомат, допускающий тот же язык:
Правила грамматики используются для того, чтобы задавать способы подстановки или замены цепочек языка:
Произвольная упорядоченная последовательность символов - цепочка:
Семантическая обработка - этап работы транслятора, связанный со смыслом лексем:
Словарь или алфавит - бесконечное множество элементов, составленных из символов:
Терминалы - символы предложений порождаемого языка:
У автоматов Мили выход, соответствующий некоторому входу и определенному состоянию, порождается во время перехода автомата в следующее состояние:
Формальная основа лексического анализатора - конечные автоматы:
Язык состоит из двух основных компонент: синтаксиса и семантики:
Языковой процессор - программа для ЭВМ, позволяющая "понимать" предложения входного языка: