Formální model Funkčního generativního popisu: redukční analýza a restartovací automaty

Abstrakt

Formální model Funkčního generativního popisu: redukční analýza a restartovací automaty

Klíčová slova

• Towards
• Formal
• Model
• Functional
• Generative
• Description
• Analysis
• Reduction
• Restarting
• Automata