Следующий конечный автомат - преобразователь MINUS= <Σ_X ={0, 1} Σ_Y= { 0, 1}, Q ={ 0, 1, 2, 3 }, 0, Φ, Ψ>,

где

вычитает из входного двоичного числа x некоторую константу c и выдает при c ≤ x выходное двоичное число y = x – c Чему равна эта константа c?

Следующий конечный автомат - преобразователь MINUS= <Σ_X ={0, 1} Σ_Y= { 0, 1}, Q ={ 0, 1, 2, 3 }, 0, Φ, Ψ>,где

вычитает из входного двоичного числа x некоторую константу c и выдает при c ≤ x выходное двоичное число y = x –c Чему равна эта константа c?

Следующий конечный автомат - преобразователь MINUS= <Σ_X ={0, 1} Σ_Y= { 0, 1}, Q ={ 0, 1, 2 }, 0, Φ, Ψ>,где

вычитает из входного двоичного числа x некоторую константу c и выдает при c ≤ x выходное двоичное число y = x –c Чему равна эта константа c?

Пусть задан конечный автомат - преобразователь A = <Σ_X ={0, 1} Σ_Y= { А, Р, Т}, Q ={ 0, 1, 2, 3 }, 0, Φ, Ψ>,где

Какое входное слово автомат А перерабатывает в выходное слово ТАРТАР?

Пусть задан конечный автомат - преобразователь A = <Σ_X ={0, 1} Σ_Y= { А, Р, Т}, Q ={ 0, 1, 2, 3 }, 0, Φ, Ψ>,где

Какое входное слово автомат А перерабатывает в выходное слово ТАРАРА?

Пусть задан конечный автомат - преобразователь A = <Σ_X ={0, 1} Σ_Y= { А, Р, Т}, Q ={ 0, 1, 2, 3 }, 0, Φ, Ψ>, где

Какое входное слово автомат А перерабатывает в выходное слово АРАРАТ?

A =< {a, b}, {0, 1, 2, 3}, 0, {2}, Φ_A > с программой Φ_A: 0 a →​ 1, 0 a →​ 2, 0 b →​ 0, 1 a →​ 2, 1 b →​ 1, 2 a →​ 3, 2 b →​ 2, 3 a →​ 3, 3b →​ 3 и

B =< {a, b}, {q0, q1, q2}, q0, {q2}, Φ_B > с программой Φ_B: q0 a →​ q1, q1 b →​ q0,q1 a →​ q2, q2 b →​ q1

Какие из следующих трех НКА С₁ , С₂ , С₃ распознают конкатенацию L_A? L_B языков, распознаваемых автоматами A и B?С₁ = < {a,b}, {0, 1, 2, 3, q0, q1, q2}, 0, F₁={ q2}, Φ₁>, С₂ = < {a,b}, {0, 1, 2, 3, q0, q1, q2}, 0, F₂={ q2}, Φ₂>, С₃ = < {a,b}, {0, 1, 2, 3, q0, q1, q2}, 0, F₃={ q2}, Φ₃>, где программы заданы в следующих таблицах (∅ означает отсутствие соответствующего перехода).

A =< {a, b}, {0, 1, 2, 3}, 0, {2}, Φ_A > с программой Φ_A: 0 a →​ 1, 0 b →​ 3, 1 a →​ 2, 1 b →​ 1, 2 a →​ 1, 2 b →​ 3, 3 a →​ 3, 3b →​ 3 и

B =< {a, b}, {q0, q1, q2}, q0, {q2}, Φ_B > с программой Φ_B: q0 b →​ q0, q0 b →​ q1, q1 a →​ q1, q1 a →​ q2, q2 b →​ q0

Какие из следующих трех НКА С₁ , С₂ , С₃ распознают конкатенацию L_A? L_B языков, распознаваемых автоматами A и B?

С₁ = < {a,b}, {0, 1, 2, 3, q0, q1, q2}, 0, F₁={ q2},Φ₁> ,

С₂ = < {a,b}, {0, 1, 2, 3, q0, q1, q2}, 0, F₂={ q2},Φ₂> ,

С₃ = < {a,b}, {0, 1, 2, 3, q0, q1, q2}, 0, F₃={ q2}, Φ₃> , где программы заданы в следующих таблицах (∅ означает отсутствие соответствующего перехода).

A =< {a, b}, {0, 1, 2, 3}, 0, {2}, Φ_A > с программой Φ_A: 0 a →​ 1, 0 b →​ 3, 1 a →​ 3 1 b →​ 2, 2 a →​ 3, 2 b →​ 2, 3 a →​ 3, 3b →​ 3 и

B =< {a, b}, {q0, q1, q2}, q0, {q2}, Φ_B > с программой Φ_B: q0 a →​ q0, q0 b →​ q1, q1 a →​ q1, q1 a →​ q2

Какие из следующих трех НКА С₁ , С₂ , С₃ распознают конкатенацию L_A? L_B языков, распознаваемых автоматами A и B?С₁ = < {a,b}, {0, 1, 2, 3, q0, q1, q2}, 0, F₁={ q2}, Φ₁>, С₂ = < {a,b}, {0, 1, 2, 3, q0, q1, q2}, 0, F₂={ q2}, Φ₂>, С₃ = < {a,b}, {0, 1, 2, 3, q1, q2}, 0, F₃={ q2}, Φ₃>, где программы заданы в следующих таблицах (∅ означает отсутствие соответствующего перехода).

Пусть задан ДКА 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) = ε. Какие из следующих трех автоматов С₁, С₂, С₃ распознают гомоморфный образ h(L_A)?

С₁ = < {0, 1}, {0, 1, 2, q1, q2, q3}, 0, F₁={2}, Φ₁>,

С₂ = < {0, 1}, {0, 1, 2, q1, q2 }, 0, F₂={2}, Φ₂>,

С₃ = < {0, 1}, {0, 2, (q1, q2), (0,1), (1, 2), !}, 0, F₃={2, (1,2)}, Φ₃>,

где программы заданы в следующих таблицах (∅ означает отсутствие соответствующего перехода).

Пусть задан ДКА 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) = εКакие из следующих трех автоматов С₁, С₂, С₃ распознают гомоморфный образ h(L_A)?

С₁ = < {0, 1}, {0, 1, 2, q1, q2, q3}, 0, F₁={2}, Φ₁>,

С₂ = < {0, 1}, {0, 1, 2, q1, q2 }, 0, F₂={2}, Φ₂>,

С₃ = < {0, 1}, {0, 2, (q1, q2), (0,1), (1, 2), !}, 0, F₃={2, (1,2)}, Φ₃>,

где программы заданы в следующих таблицах (∅ означает отсутствие соответствующего перехода).