---

Обновил файл (см. мой пост выше), включил в него еще добавления от SGL900 (из iddqd.doc).
Решение 534 так и оставим я думаю, все-таки тут они слишком сильно отличаются, у каждого свои плюсы и минусы.
Собственно список рекомендуемой документации на данный момент выходит таковым:

• ЯзыкиАвтоматы из поста Olorin (то, что давал сам Антик)
  
• mathlogica.pdf из поста Olorin (материалы из Википедии)
  
• otvety.doc из поста 534 (это ответы на вопросы в начале темы)
  
• ml_otv_final.doc из поста моего (это ответы на вопросы в начале темы, собравшие в себя несколько вариантов ответов, выложенных выше)
  

И да, халява, приди! :)