Учебник «Конечные автоматы и формальные языки» (Е. В. Алымова, В. М. Деундяк, А. М. Пеленицын) См. релиз первого издания (прямая ссылка на PDF). Мы с радостью примем сообщения о неточностях и опечатках в разделе Issues; мы также рады pull requests, исправляющим найденные недостатки.