DOI: 10.15393/j2.art.2001.2279
Nesterov L A | PetrSU, @ |
Key words: automaton synthesizing analysis conjunction disjunction |
Summary: The study of discrete automatons as well as other systems of automatics includes two problems - synthesizing and analysis of automatons. Both problems are important both from the theoretical point of view and for practice. |