Inductive Synthesis of an Automaton from Its Specification in the Logical Language mathfrak {L}

Authors:
Yu. V. Kapitonova;A. N. Chebotarev
Affiliations:
Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2000

Citing 1
Cited 0

Mona: Monadic Second-Order Logic in Practice

TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

An approach to the synthesis of an automaton specified by a formula of the logical language mathfrak {L} is proposed. This approach makes it possible to construct the automaton inductively, i.e., according to the structure of the formula, starting from automata corresponding to subformulas represented in the form of conjunction or disjunction of literals.