ON THE PROBLEM OF LOGIC-AUTOMATIC FORMULAS PERFORMABILITY

Background. In the theory of finite automata, there are a number of ways to define finite automata (finitely automatic functions). There are systems of canonical equations among them, Moore diagrams, information trees, schemes of automatic elements, and finite-automaton operations. Each of these...

Full description

Bibliographic Details
Main Author: S. S. Marchenkov
Format: Article
Language:English
Published: Penza State University Publishing House 2020-06-01
Series:Известия высших учебных заведений. Поволжский регион: Физико-математические науки
Subjects: