2008-03-20 INTUIT:Математическая теория формальных языков

This wikilog article is a draft, it was not published yet.

1. Объем материала явно больше, чем пройденный мной в МФТИ курс ТРЯП (Теории Реализации Языков Программирования).
2. Нужны ответы к упражнениям (хотя бы к некоторым). Возможно часть упражнений вынести в тесты.
3. Тесты отдельная песня - составлялись явно не авторами курса и явно без вникания в тему, по автоматическому принципу составлению вопросов к произвольному тексту: «А мать грозит ему в окно» — «А кто грозит ему в окно?», «А мать грозит ему во что?»
4. Специфика ТРЯП — очень много мелких и связанных определений, мелких лемм, примеров. Особенно тяжело после перерывов. Нужен гипертекст (LaTeX+hyperref, и на выходе гипертекстовый PDF или пролинкованный HTML).
5. Спасибо, заинтересовался эсперанто.

[ List view ]Comments

(no items)

Please login to comment.

— • 22:12, 9 March 2011 • no comments