Пусть задан недетерминированный конечный автомат - Ответ на вопрос по любому предмету №1171037

Вопрос

Пусть задан недетерминированный конечный автомат M = < {a, b}, {0, 1, 2, 3, 4 ,5}, 0, F={4, 5}, Φ> с программойΦ: 0 b →​ 1, 1 a →​ 2, 1 b →​ 3, 2 a →​ 3, 2 b →​ 1, 3 →​ 4, 4 a →​ 5, 4 →​ 5, 5 →​ 2Какой из следующих НКА получится из M после применения процедуры устранения пустых переходов?

• M4 = < {a, b}, {0, 1, 2, 3, 5}, 0, F4={3, 5}, Φ4> с программойΦ4: 0 b →​ 1, 1 a →​ 2, 1 b →​ 3, 2 a →​ 3, 2 b →​ 1, 3 a →​ 5, 3 a →​ 3, 3 b →​ 1, 5 a →​ 3,5 b →​ 1
• M3 = < {a, b}, {0, 1, 2, 3, 5 }, 0, F3={5}, Φ3> с программойΦ3: 0 b →​ 1, 1 a →​ 2, 1 b →​ 3, 2 a →​ 3, 2 b →​ 1, 3 a →​ 5, 3 b →​ 1, 5 a →​ 3, 5 b →​ 1
• M1 = < {a, b}, {0, 1, 2, 3, 4 ,5}, 0, F1={3, 4, 5}, Φ1> с программойΦ1: 0 b →​ 1, 1 a →​ 2, 1 b →​ 3, 1 b →​ 4, 2 a →​ 3, 2 b →​ 1, 3 a →​ 5, 3 a →​ 3, 3 b →​ 1, 4 a →​ 5, 5 a →​ 3, 5 b →​ 1
• M2 = < {a, b}, {0, 1, 3, 5 }, 0, F2={3, 5}, Φ2> с программойΦ2: 0 b →​ 1, 1 a →​ 2, 1 b →​ 3, 2 a →​ 3, 2 b →​ 1, 3 a →​ 5, 3 a →​ 3, 5 a →​ 3
• ни один из выше приведенных автоматов M1, M2, M3, M4

Ответ