Об одном классе счетчиковых машин

Обсуждаются свойства класса «автоматных» счетчиковых машин, каждый переход которых определяется недетерминированно в соответствии с управляющими состояниями и независимо от манипулируемых данных. Автоматные счетчиковые машины используются в качестве общего средства для демонстрации неразрешимости ряда проблем для систем, которые могут моделировать эти машины, в частности для взаимодействующих раскрашивающих процессов, применяющихся для моделирования перемещения данных различного типа между компонентами распределенной системы.