|
Prikladnaya Diskretnaya Matematika, 2010, Number 4(10), Pages 64–72
(Mi pdm249)
|
|
|
|
This article is cited in 3 scientific papers (total 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.
Citation:
A. N. Chebotarev, “Regular form of deterministic FSMs specifications in the language L”, Prikl. Diskr. Mat., 2010, no. 4(10), 64–72
Linking options:
https://www.mathnet.ru/eng/pdm249 https://www.mathnet.ru/eng/pdm/y2010/i4/p64
|
Statistics & downloads: |
Abstract page: | 199 | Full-text PDF : | 51 | References: | 58 |
|