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

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

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