ИСТИНА

В работе предложено новое понятие – автоматной системы, обобщающее все известные в дискретной математике вычислительные модели. Показано, что каждая автоматная система является вычислительной системой и наоборот, каждая вычислительная система является автоматной системой. Введено понятие эквивалентности для автоматных и вычислительных систем. Получен критерий эквивалентности автоматных систем. Показано, что сложные автоматные системы, состоящие из конечного числа автоматов, сводятся к обычным автоматным системам (состоящим из одного автомата).