Методы построения конечных автоматов на основе ...

82необходимо использовать значения из таблицы areEquivalent). Знаяэти переходы и информацию о том, сколько выходных воздействийдолжно быть сгенерировано на каждом переходе, можно определить, какиевыходные воздействия должны вырабатываться на переходах,использовавшихся при обработке входной последовательности.Например, пусть входной последовательности событийA, T, T, M, H, T, T соответствует выходная последовательность z 5 , z 5 , z 4 , z 3 ,z 5 , z 5 , и при обработке входной последовательности выполняютсяследующие переходы: 1 → 2 → 2 → 2 → 3 → 4 → 2 → 2. Пусть при этомна первом из переходов не должно выполняться ни одно выходноевоздействие, а на каждом из остальных – должно выполнятьсяодно (рис. 20).1A [x 1 ] / 02T [x 2 ] / 1T [x 1 ] / 1M [x 1 ] / 14 3H [x 2 ] / 1Рис. 20. Некоторые переходы «каркаса» автоматаНа рис. 20 для каждого из переходов, кроме события, привозникновении которого он выполняется, указано число выходныхвоздействий, которые ему соответствуют.Тогда на основании этого теста можно сделать вывод о том, что напереходе по событию T из второго состояния в себя должновырабатываться выходное воздействие z 5 , на переходе по событию M извторого состояния в третье должно вырабатываться выходное воздействие