синтез автоматов

Automata synthesis