Конечные автоматы и формальные языки: грамматики и regex

Коротко: Конечные автоматы распознают простые языковые шаблоны (регулярные выражения), автоматы с магазинной памятью и контекстно-свободные грамматики описывают языки программирования, машины Тьюринга вычисляют всё вычислимое.

Подробнее: Теоретическая информатика объясняет, на что компьютеры способны в принципе. Практика: regex, парсеры/компиляторы, протоколы, игровой ИИ (конечные автоматы) и экзаменационные темы (диаграммы состояний).

Подробности

Конечный автомат (DFA/NFA)

Конечный автомат…

См. также: регулярные выражения, лексер, парсер и синтаксическое дерево, конечный автомат, P и NP