автомат для максимума языка

[Arnoldinya]

MAX(Я) = {w|w$\in$Я, но wx $\notin$ Я для любого непустого x$\in$$\Sigma$*}
написать автомат, задающий MAX(Я) , если автомат, задающий Я выглядит следующим образом
$M$= {$\Sigma$, $Q$, $q_0$, $Q_3$, $\Phi$}

[Null]

Надо чтоб из любого конечного состояния мы не могли перейти в другое конечное состояние.

[Arnoldinya]

Null, да, это значит, что надо поменять только функцию перехода Ф или еще чего?

[Null]

Изначально тупикового состояния может не быть. Надо его добавить.

[Arnoldinya]

Null, спасибо, разобралась, а можно привести пример регулярных языков, для которых выполняется и не выполняется равенство Я = MAX(Я)

[Профессор Снэйп]

Arnoldinya в сообщении #398027 писал(а):

Null, спасибо, разобралась, а можно привести пример регулярных языков, для которых выполняется и не выполняется равенство Я = MAX(Я)

$\text{Я}_1 = \{ a \}$, $\text{Я}_2 = \{ a, aa \}$