Cтраница 2
Другая возможная модификация понятия абстрактного конечного автомата возникает, если разбивать множество допустимых значений параметров, описывающих работу реального устройства, не на конечное, а на бесконечное число классов. В этой ситуации приходим к так называемому абстрактному бесконечному автомату St ( Л, Q, В, р, г), где A, Q, В - уже, вообще говоря, бесконечные множества входных символов, состояний и выходных символов, р и vp - функции переходов и выходов, p: QXA - - Q; ty: QxA - - B. Увеличение мощности алфавитов расширяет вычислительные возможности автоматов. Так, например, если конечные автоматы реализуют ограниченно-детерминированные функции ( см. § 1 гл. Более того, с помощью бесконечных автоматов может быть описано функционирование остальных, модификаций понятия автомата. Вместе с тем большая общность понятия бесконечного автомата снижает его содержательное значение, так что в основном изучаются лишь специальные подклассы бесконечных автоматов, связанные с конкретными моделями управляющих систем. [16]