scientific article; zbMATH DE number 7301749

zbMath1472.68084MaRDI QIDQ5147350

Anatoli N. Chebotarev

Publication date: 26 January 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite automatonspecification languagecyclic automaton

Mathematics Subject Classification ID

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

Related Items (5)

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

Cites Work

• Approximation of sets of superwords by \(L\)-language formulas
• Approach to functional specification of automaton systems. I
• Unnamed Item

This page was built for publication: