Введение в схемы, автоматы и алгоритмы
С1 = < {0,1}, {q, p, r, s, t}, q, F1={ t }, Φ1>,
С2 = < {0,1}, {q, p, r, s }, q, F2={p, r}, Φ2>,
С3 = < {0,1}, {q, p, r, s, t}, q, F3={ p, r, s}, Φ3>,
где программы заданы в следующих таблицах (∅ означает отсутствие соответствующего перехода).
С1 = < {0,1}, {q, p, r, s, t}, q, F1={ t }, Φ1>,
С2 = < {0,1}, {q, p, r, s }, q, F2={p, s}, Φ2>,
С3 = < {0,1}, {q, p, r, s, t}, q, F3={ p, s}, Φ3>,
где программы заданы в следующих таблицах (∅ означает отсутствие соответствующего перехода).
С1 = < {0,1}, {q, p, r, s, t}, q, F1={ t }, Φ1> ,
С2 = < {0,1}, {q, p, r, s }, q, F2={ s}, Φ2> ,
С3 = < {0,1}, {q, p, r, s, t}, q, F3={ s}, Φ3> ,
где программы заданы в следующих таблицах (∅ означает отсутствие соответствующего перехода).
Пусть язык L в алфавите {a, b}, состоит из всех слов, которые начинаются на aa и содержат число символов a кратное 3, и пусть гоморфизм h: {0, 1,2}* → {a, b}* задан равенствами: h(0) = aaa, h(1) = ba, h(2) = ε Какие из следующих трех слов принадлежат прообразу h-1(L) языка L при гомоморфизме h?
W1 = 21112, W2 = 20101012, W3 = 00211011