Nested stack automaton: Difference between revisions

Content deleted Content added
m Enum 1 author/editor WL; WP:GenFixes on
m Fix/prevent unbalanced brackets; WP:GenFixes on
Tags: AWB Reverted
Line 29:
| || ''Q'' × Σ' × (Γ' ∪ [Γ') || into subsets of ''Q'' × ''D'' × [Γ<sup>*</sup>] || (stack creation mode), and
|-
| || ''Q'' × Σ' × {[''']'''} || into subsets of ''Q'' × ''D'' × {&lcub;[[empty string|ε]]}&rcub;, || (stack destruction mode),
|}
:Informally, the top symbol of a (sub)stack together with its preceding left endmarker "[" is viewed as a single symbol;<ref>Aho (1969), p.385 top</ref> then δ reads