Formální překlady, paralelně komunikující gramatické systémy a restartovací automaty

Abstrakt

Jsou studovány formální překlady pomocí PCGS a FRR-automatů.

Klíčová slova

• Formal
• Translations
• Parallel
• Communicating
• Grammar
• Systems
• Restarting
• Automata