• ↑↓ pour naviguer
  • pour ouvrir
  • pour sélectionner
  • ⌘ ⌥ ↵ pour ouvrir dans un panneau
  • esc pour rejeter
⌘ '
raccourcis clavier

Abstract

4-tuple (N,Σ,P,S)(N, \Sigma, P, S)

  • NN: A finite set of non-terminal
  • Σ\Sigma: A finite set of terminal NΣ=N \cap \Sigma = \emptyset
  • PP: is a finite subset of N×(NΣ)N \times (N \cup \Sigma)^{*}
  • SS: SNS \in N, the start symbols

Pushdown Automata

Abstract

M=(Q,Σ,Γ,δ,s,,F)M = (Q, \Sigma, \Gamma, \delta, s, \perp, F)