Считающие автоматы и неразрешимые задачи дискретного управления