Пожалуй, подпишусь на ответы))
Что подразумевается под "теорией формальных языков"? В классической интерпретации - это изучение множеств слов математическими методами. Тема довольно широкая от автоматического доказательства теорем до автоматной интерпретации квантовой механики. Поэтому не понятно. Во всех областях есть интересные книги.
Спасибо, интересно. Лингвистику отдельно изучал, математику отдельно изучал и сейчас изучаю. А это два в одном)
Если я правильно понял вопрос, то https://en.wikipedia.org/wiki/Introduction_to_Automata_Theory,_Languages,_and_Computation (даю ссылку на wiki, потому что там описана разница между изданиями) и "Parsing Techniques: A Practical Guide" 2nd ed., Dick Grune, Ceriel J.H. Jacobs.
Обсуждают сегодня