Ширина памяти относительно последовательностей вывода
Конечно-автоматная машина М
имеет ширину памяти порядка µ, если µ есть наименьшее целое, такое, что знание последних µ значений выхода позволяет определить состояние, в котором находилась М
в течение последних µ
транзакций. В этой секции основной упор будет сделан на определение состояния М в течение времени эксперимента, вместо определения конечного состояния. Случай определения конечного состояния более узкий и может быть рассмотрен читателем самостоятельно.