English Russian
Journal Title
Scientific journal of the
theoretical and applied
The News of Altai State University
Print ISSN 1561-9443
On-line ISSN 1561-9451
Issues list
Content of 1-2(73) 2012
Management, Computer Facilities and Computer Science
Mathematics and Mechanics
Mathematics and Mechanics

Previous | Next
V.A. Ganov

The Finite Automata and the Post Normal Calculus

The study constructs basis of finite automata associated with the deductibility of words in the Post normal calculus. The researcher determines operators implemented by logical networks over this basis. They are computable in Moore’s vending machines, but their class is recursively unsolvable. When introducing restrictions on the complexity of the network, the set of relevant operators becomes recursive.
Key word: finite automata, logical networks, deductibility of words, recursively unsolvable sets.

Full text at PDF, 226Kb. Language: russian.

Print Edition of "The News of Altai State University" copyright 1996-2012 Altai State University.
All rights reserved. Any of parts of a journal or edition as a whole cannot be reprinted without the written sanction of the authors or publisher. On purchase of a journal to address to ASU publishing house:
Altai State University. 656039, 66 Dimitrova street, Barnaul, Russia. Telephone + 7 (3852) 366351.