Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I
automaton specification logical language
scientific article; zbMATH DE number 1262972