«Automata-based programming (Shalyto's approach)» auf Englisch mit Parallelübersetzung