Р Е Ш Е Н И Е

1 Представим стратегию работы КА в соответствии с заданием на диаграмме переходов см. рис.1:

а) в начальном состоянии 1 КА воспринимает только символ b при этом состояние изменяется на 2; в этом состоянии может прийти только а (обеспечено начало в соответствии с условием) и состояние изменится на 3; в состоянии 3, для обеспечения пары а, может прийти только а с переходом в состояние 4;

б) в состоянии 4 может прийти один из символов (b или с), но символ с в цепочке только один и после перехода в 5 он уже не может приходить (вся логика переходов представлена на диаграмме переходов);

в) состояние 1 – начальное; состояния 4,5,6,8 – допускающее

2 Информацию п.1 представим в виде управляющей таблицы КА.

3 Проверим состояния КА на достижимость и эквивалентность.

а) проверка на достижимость:

{1} ® {1,2} ® {1,2,3} ® {1,2,3,4} ® {1,2,3,4,5,6} ® {1,2,3,4,5,6,7} ® {1,2,3,4,5,6,7,8}

В построенном списке переходов присутствуют все состояния.