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

русский	rus-000
синтез автоматов

English	eng-000	automata synthesis
English	eng-000	synthesis of automata

PanLex-PanLinx