Как называется формальная
система, задаваемая 5 объектами: конечный входной алфавит, конечный
выходной алфавит, конечное множество состояний, система команд, начальная
конфигурация?