Abstract
This paper presents methods for synthesizing Σ-automata from specifications in the language LP with deterministic semantics and in the language LF with nondeterministic semantics. These methods are based on the equivalent transformation of a formula of the form ∀tF (t) into the so-called normal form whose structure corresponds to the state transition graph of a specified Σ-automaton.
Similar content being viewed by others
References
A. N. Chebotarev, “Regular form of deterministic FSMs specification in the language L,” Applied Discrete Mathematics, No. 4, 64–72 (2010).
A. N. Chebotarev, “Extension of the automaton specification logical language and the synthesis problem,” Cybernetics and Systems Analysis, Vol. 32, No. 6, 756–765 (1996).
A. N. Chebotarev, “Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of Σ-automata,” Cybernetics and Systems Analysis, Vol. 53, No. 4, 512–523 (2017).
A. N. Chebotarev, “Synthesis of a procedural representation of an automaton specified in the logical language L*. I,” Cybernetics and Systems Analysis, Vol. 33, No. 4, 505–515 (1997).
A. N. Chebotarev, “Problems of synthesis of Σ-automata specified in languages LP and LF of first-order logic,” Cybernetics and Systems Analysis, Vol. 53, No. 5, 675–683 (2017).
N. E. Kobrinskii and B. A. Trakhtenbrot, Introduction to the Theory of Finite Automata [in Russian], Fizmatgiz, Moscow (1962).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 4, July–August, 2018, pp. 16–31.
Rights and permissions
About this article
Cite this article
Chebotarev, A.N. Synthesis of Σ-Automata Specified in the First Order Logical Languages LP and LF. Cybern Syst Anal 54, 527–540 (2018). https://doi.org/10.1007/s10559-018-0054-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10559-018-0054-8