Изменения

б) если δ<tex> (p, \gamma) \in \delta(q, b, X) содержит (p, γ), где b ∈ \in T или b = ε\cup \varepsilon </tex>, то δ′<tex> ((qp, bxx), ε, X\gamma) содержит \in \delta'((pq, xbx), γ\varepsilon, X)</tex>. Таким образом, P′ <tex> M' </tex> всегда имеет возможность имитации перехода P<tex> M </tex>,используя голову буфера. Если <tex> b ∈ \in T</tex>, то буфер должен быть непустым, но если <tex> b = ε\varepsilon </tex>, то буфер может быть пустым.* начальным состоянием P′ <tex> M' </tex> является <tex> (q0s, ε\varepsilon)</tex>, т.е. P′ <tex> M' </tex> стартует в начальном состоянии P <tex> M </tex> с пустым буфером.* Аналогично, допускающими состояниями P′ <tex> M' </tex> являются такие состояния <tex> (q, ε\varepsilon)</tex>, у которых где <tex> q — допускающее состояние P.\in T </tex>