Deterministyczny automat ze stosem

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Deterministyczny automat ze stosem (DPDA, ang. deterministic pushdown automaton) to automat ze stosem, którego funkcja przejść spełnia dodatkowy warunek:

  • Dla każdego , mamy .
  • Dla każdego , jeśli Parser nie mógł rozpoznać (MathML z przejściem w SVG lub PNG (zalecane dla nowoczesnych przeglądarek i narzędzi zwiększenia dostępności): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle \delta(q,\epsilon,x) \not= \empty} , to dla każdego Parser nie mógł rozpoznać (MathML z przejściem w SVG lub PNG (zalecane dla nowoczesnych przeglądarek i narzędzi zwiększenia dostępności): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle a \in \Sigma} zachodzi .

Innymi słowy, deterministyczny automat ze stosem ma możliwość co najwyżej jednego przejścia z dowolnej konfiguracji Parser nie mógł rozpoznać (MathML z przejściem w SVG lub PNG (zalecane dla nowoczesnych przeglądarek i narzędzi zwiększenia dostępności): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle (q,a,x) \in Q \times ( \Sigma \cup \left \{ \epsilon \right \} ) \times \Phi} oraz jeżeli jest określone przejście dla pewnego stanu i symbolu na stosie pod wpływem słowa pustego , to wówczas jest ono jedynym możliwym przejściem dla tego układu w tym automacie.