scientific article; zbMATH DE number 7301749

MaRDI QIDQ5147350zbMATH OpenFDO

Authors A. N. Chebotarev

Publication date 26 January 2021

Full work available at URL http://mathnet.ru/eng/pdm249

zbMATH Keywords

cyclic automatonfinite automatonspecification language

Mathematics Subject Classification ID

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

Cites work

• Approach to functional specification of automaton systems. I
• Approximation of sets of superwords by L-language formulas
• scientific article; zbMATH DE number 3254910 (Why is no real title available?)

Cited in

(5)

• Synthesis of \(\Sigma\)-automata specified in the first order logical languages LP and LF
• Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of -automata
• Using the compatibility analysis of logical specifications of automata to solve game problems
• Harmonization of automata specifications represented in the language L
• Problems of synthesis of -automata specified in languages LP and LF of first order logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5147350)