222
правки
Изменения
м
→Прямой и обратный гомоморфизм
# Если входное слово закончилось, допускаем или не допускаем его [[МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность|по допускающему состоянию]].
# Иначе считываем Считываем символ <tex> c </tex>.# Сохраняем <tex> h(c) </tex> в буфере(входная лента для автомата <tex> M </tex>).
# Запускаем <tex> M </tex> на слове, находящемся в буфере.
# После того, как <tex> M </tex> обработал весь буфер, переходим к пункту 21.
Если рассмотреть более формально, пусть <tex> M =\langle Q, \Sigma, \Gamma, \delta, s, Z_{0}, T\rangle </tex>, тогда <tex> M' =\langle Q', \Sigma, \Gamma, \delta', (s, \varepsilon), Z_{0}, T \times {\varepsilon}\rangle</tex>.
