ИСТИНА

Рассматривается задача решения автоматных уравнений, которая заключается в следующем. Есть автоматная схема, некоторые автоматы которой можно заменять на другие автоматы. Требуется определить, можно ли произвести такую замену, чтобы схема стала эквивалентна некоторому заранее заданному автомату. В работе впервые решается задача нахождения всех решений произвольного автоматного уравнения для одного неизвестного. Впервые рассматриваются уравнения с более чем одной неизвестной. Доказывается неразрешимость проблемы существования решения уравнений с более чем одной неизвестной.