София Маланчук
S:08:57:51 23.01
R:08:57:55 23.01
Введем состояния дет. автомата как большие латинские буквы, функцию переходов как Delta.
Начальное: A={q1}.
Delta(A,a) = {q1,q3} = B.
Delta(A,b) = {q2} = C.
Delta(B,a) = {q1,q3} = B.
Delta(B,b) = {q1,q3,q1} = {q1,q3} = B.
Delta(C,a) = {q1} = A.
Delta(C,b) = {q3} = D.
Delta(D,a) не определена.
Delta(D,b) = {q1} = A.
Заключительные: B, D.