RUS  ENG
Full version
JOURNALS // Izvestiya of Saratov University. Mathematics. Mechanics. Informatics // Archive

Izv. Saratov Univ. Math. Mech. Inform., 2005 Volume 5, Issue 1-2, Pages 99–107 (Mi isu679)

Computer science

Criteria of universality finite determined machine for machines without loss of informating class

N. S. Vagarina

Saratov State University

Abstract: Fiite determined machine is one of the most popular mathematical models of complex discrete systems. ln this article possibilities of the application generàble set of automate transformation groups are investigated. lt is considered relatively to the decision of denumerability problem.
Approach to à organization goal-directed behavior problem decision in class of complex discrete systems described bó one-to-one transformations (without loss of information) is offer in this scientific work. The main result of this work is definition the form of automate substitutions and conditions of automate universality for complex systems without loss of information.

UDC: 519.713



© Steklov Math. Inst. of RAS, 2025