Abstract
4-tuple
- : A finite set of non-terminal
- : A finite set of terminal
- : is a finite subset of
- : , the start symbols
Pushdown Automata
Abstract
Abstract 4-tuple (N, \Sigma, P, S) N: A finite set of non-terminal \Sigma: A finite set of terminal N \cap \Sigma = \emptyset P: is a finite subset of N \times (N \cup \Sigma)^{*} S: S \in N, the start symbols Pushdown Automata Abstract M = (Q, \Sigma, \Gamma, \delta, s, \perp, F) .
Abstract
4-tuple
- : A finite set of non-terminal
- : A finite set of terminal
- : is a finite subset of
- : , the start symbols
Abstract