Improved method of synthesis of an automaton from its specification in the language \(L\)

DOI10.1007/s10559-011-9316-4zbMath1298.68178OpenAlexW2004495646MaRDI QIDQ464896

J. Herrera, D. Rodríguez-Gómez

Publication date: 30 October 2014

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-011-9316-4

zbMATH Keywords

normal formdisjunctive formorthogonalization of disjunctive formssplitting factorsynthesis of automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Compositional approach to the development of reactive algorithms

Cites Work

• Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I
• Approach to functional specification of automaton systems. I

This page was built for publication: Improved method of synthesis of an automaton from its specification in the language \(L\)