Введение в схемы, автоматы и алгоритмы
Пусть задан ДКА A =< {a, b, c}, {0, 1, 2}, 0, F= {2}, ΦA > с программой ΦA: { 0 a → 0, 0 b → 1, 0 c → 1, 1 a → 1, 1 b → 2, 1 c → 1, 2 a → 2, 2 b → 2, 2 c → 1} и гомоморфизм h: {a, b, c}* → {0, 1}*: h(a) = 1, h(b) = 01, h(c) = ε. Какие из следующих трех автоматов С1, С2, С3 распознают гомоморфный образ h(LA)?
С1 = < {0, 1}, {0, 1, 2, q1, q2, q3}, 0, F1={2}, Φ1>,
С2 = < {0, 1}, {0, 1, 2, q1, q2 }, 0, F2={2}, Φ2>,
С3 = < {0, 1}, {0, 2, (q1, q2), (0,1), (1, 2), !}, 0, F3={2, (1,2)}, Φ3>,
где программы заданы в следующих таблицах (∅ означает отсутствие соответствующего перехода).
Пусть задан ДКА A =< {a, b, c}, {0, 1, 2}, 0, F= {2}, ΦA > с программой ΦA: { 0 a → 1, 0 b → 0, 0 c → 1, 1 a → 2, 1 b → 1, 1 c → 1, 2 a → 2, 2 b → 2, 2 c → 1} и гомоморфизм h: {a, b, c}* → {0, 1}*: h(a) = 01, h(b) = 1, h(c) = εКакие из следующих трех автоматов С1, С2, С3 распознают гомоморфный образ h(LA)?
С1 = < {0, 1}, {0, 1, 2, q1, q2, q3}, 0, F1={2}, Φ1>,
С2 = < {0, 1}, {0, 1, 2, q1, q2 }, 0, F2={2}, Φ2>,
С3 = < {0, 1}, {0, 2, (q1, q2), (0,1), (1, 2), !}, 0, F3={2, (1,2)}, Φ3>,
где программы заданы в следующих таблицах (∅ означает отсутствие соответствующего перехода).
Пусть задан ДКА A =< {a, b}, {Q, P, R, S}, Q, F= {S}, ΦA > с программой ΦA: { Q a → R, Q b → P, P b → P, P a → R, R a → Q, R b → S, S a → R, S b → S} и гомоморфизм h: {0, 1, 2}* → {a, b}*: h(0) = bab, h(1) = aba, h(2) = ε. Какие из следующих трех автоматов С1, С2, С3 распознают гомоморфный прообраз h-1(LA)?
С1 = < {0, 1}, { Q, P, R, S }, 0, F1={S}, Φ1>,
С2 = < {0, 1}, { Q, R, S }, 0, F2={ S }, Φ2>,
С3 = < {0, 1}, { Q, P, R, S }, 0, F3={ S }, Φ3>,
где программы заданы в следующих таблицах.