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