Все естественные языки - языки с фразовой структурой:
Два конечных автомата эквивалентны, если задают один и тот же язык:
Конечные автоматы могут распознавать все языки, порождаемые грамматиками:
Лексический анализатор является обязательной частью компилятора:
Любая контекстно-свободная грамматика является регулярной грамматикой:
