Изменения

{{Определение

|definition =

#<tex>\mathcal8 q \in Q, a \in \Sigma \cup \{ \varepsilon \}, X \in \Gamma \Rightarrow \delta(q, a, X)</tex> имеет не более одного элемента {{---}} <tex> \delta : Q \times \Sigma \cup \{\varepsilon\} \times \Gamma \rightarrow Q \times \Gamma^*</tex>.

#Если <tex>\delta (q,a,X)</tex> непусто для некоторого <tex>a \in \Sigma</tex>, то <tex>\delta (q,\varepsilon,X)</tex> должно быть пустым.

==Пример==

# <tex>\delta(q,0,Z_0)=(q,XZ_0)</tex>

# <tex>\delta(q,1,Z_0)=(p,Z_0)</tex>

# <tex>\delta(p,0,Z_0)=(p,XZ_0)</tex>

[[Файл:Пример_мп-автомата.png]]

== Источники информации ==