Какие существуют способы вычисления количества возможных программ в теории автоматов?

Один из способов вычисления количества возможных программ в теории автоматов — определение мощности множества конечных автоматов (NКА). e-learning.bmstu.ru Для этого нужно умножить количество возможных подтаблиц выходов (qpn) на количество возможных подтаблиц переходов (npn). e-learning.bmstu.ru Тогда число всех возможных таблиц переходов/выходов конечных автоматов будет равно произведению этих двух величин: NКА = qpn |* npn. e-learning.bmstu.ru

Также в теории автоматов используются табличный и графический способы задания функций перехода: nizrp.narod.ru

1. Табличный способ. nizrp.narod.ru Строится таблица переходов, столбцы которой помечаются входными символами, а строки — символами состояний, из которых осуществляется переход. nizrp.narod.ru Внутри таблицы на пересечении i-той строки и j-того столбца указывается состояние, в которое переходит автомат из состояния si под воздействием входного символа pj. nizrp.narod.ru
2. Графический способ. nizrp.narod.ru Каждому состоянию автомата ставится в соответствие вершина графа, которая помечается символом этого состояния. nizrp.narod.ru Если из состояния si существует переход в состояние sj под воздействием входного символа pk, то вершины si и sj соединяются дугой, исходящей из si, а сама дуга помечается символом pk, под воздействием которого осуществляется данный переход. nizrp.narod.ru