Автоматы (конечные)

Перед Новым годом закончил на Coursera курс "Automata", читавшийся знаменитым Джеффри Ульманом. Конечные автоматы, формальные грамматики, регулярные выражения и машины Тьюринга. Вчера получил свидетельство с отличием, чему очень рад - курс был непростой.