Две грамматики назовем эквивалентными, если совпадают:
При описании программ с использованием потока управления, два слова в алфавите операторов объявляются эквивалентными в том и только том случае, когда:
Основная часть конечного автомата - это:
Алгоритм построения управляющей таблицы автомата состоит из следующих шагов:
Преобразования T1 и T2 называются независимыми, если применение одного из них к программе:
Правила, которые будут использоваться в случае ошибки называются:
Дуги, чье начало достижимо из конца в остовном дереве называются:
Дуги, чей конец достижим из начала в остовном дереве называются:
Язык распознается конечным автоматом, если:
Если функция сохраняет отношение порядка, то она называется:
