трансляция программ

Ищу математическое описание трансляции программ типа CT Петри, или система Бэкуса-Наура, может кто где видел?

 

В книге Красного Дракона есть описание трансляции с помощью конечных автоматов.

 

Где ее искать не подскажеш? А то у меня чего-то не по теме в поисковике...

 

"Compilers", Aho, Sethi, Ullman.
У меня бумажная версия, но гугл знает несколько электронных.

 

Спасибо, весьма интересная книга, а про системы Бэкуса-Наура нигде не встречал?

 

Нет, и не искал даже...

Возможно, стоит поискать статьи про функциональные ЯП - их проще моделировать. Haskell относится к таким языкам.