Пусть задан ДКА 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 = { (x2, y2) | x ∈ N , y ∈ N }, B = { n3 | n ∈ N }. Какие из следующих функций осуществляют сведение A ≤m B ? (В выражениях ниже sqr(x) обозначает целую часть квадратного корня из x, sg(0) =0 и sg(n) = 1 при n > 0).
• # Пусть S={aa, ab, ba, bb} Какая из следующих фраз описывает итерацию S* этого языка?
• # Какие из следующих трех автоматов С1 , С2 , С3 распознают язык, представляемый регулярным выражением (00 + 1)*1? С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
• # Пусть функция F(x) задана примитивной рекурсией R(1, h(y,z)), где h(y,z) = [2z/z2]Чему равно значение F(5)?