Рассматривается система с наблюдателем, моделируемая автоматом, взаимодействующим со случайной средой в дискретном времени. Все состояния среды и автомата, согласно гипотезе неодновременности, считаются линейно упорядочеными в цепи событий. Исследуемую модель можно представить в виде автомата, на вход которого с бесконечной, проходящей через него, ленты поступает линейно упорядоченная последовательность символов (состояний среды). Состояния автомата, являющиеся следствиями предшествующих состояний среды и его самого, отображаются на этой же ленте, моделирующей по отношению к автомату – наблюдателю “течение” времени. В качестве исходных принимаются определения, допущения и результаты работы [1]. В том числе предполагается псевдоконтинуальность цепи событий.
