Скінченні автомати та формальні мови: граматики й regex

Коротко: Скінченні автомати розпізнають прості мовні шаблони (регулярні вирази), автомати зі стековою пам’яттю та контекстно-вільні граматики описують мови програмування, машини Тюрінга обчислюють усе обчислюване.

Докладніше: Теоретична інформатика пояснює, на що комп’ютери здатні в принципі. Практика: regex, парсери/компілятори, протоколи, ігровий ШІ (скінченні автомати) та екзаменаційні теми (діаграми станів).