This article is cited in 3 papers

Logical Design of Discrete Automata

Regular form of deterministic FSMs specifications in the language L

A. N. Chebotarev

Institute of Cybernetics NAS Ukraine, Kiev, Ukraine

Abstract: Some forms for representation of deterministic FSMs specification in the language L are investigated. The use of such forms in constructing specifications decreases the possibility of errors.

Keywords: specification language, finite automaton, cyclic automaton.

UDC: 519.713.1