Open AccessAutomata system: determinism conditions and testing
Author(s) -
Igor Burdonov,
A. S. Kossatchev
Publication year - 2016
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2016-28(1)-9
Subject(s) - deterministic automaton , two way deterministic finite automaton , computer science , deterministic finite automaton , ω automaton , automaton , nondeterministic finite automaton , timed automaton , discrete mathematics , theoretical computer science , mathematics , automata theory , quantum finite automata