ಪುಶ್‌ ಡೌನ್ ಆಟೊಮೆಟಾ ಇಗೆ ಮೂಲವನ್ನು ವಿಕ್ಷಿಸಿ

{{Automata theory}}[[ಗಣನೆಯ ಸಿದ್ಧಾಂತ|ಕಂಪ್ಯೂಟೇಶನ್ ಥಿಯರಿಯಲ್ಲಿ]], ಥಿಯರೇಟಿಕ್ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದ ಒಂದು ಶಾಖೆ, '''ಪುಶ್‌ ಡೌನ್ ಆಟೊಮೆಟಾ''' ( '''ಪಿಡಿಎ''' ) ಎಂಬುದು ಒಂದು ರೀತಿಯ [[ಆಟೋಮ್ಯಾಟಾ ಸಿದ್ಧಾಂತ|ಆಟೋಮೆಟಾ]] ಆಗಿದ್ದು ಅದು [[ಸ್ಟಾಕ್ (ಡೇಟಾ ರಚನೆ)|ಸ್ಟಾಕ್ ಅನ್ನು]] ಬಳಸಿಕೊಳ್ಳುತ್ತದೆ.

ಪುಶ್‌ ಡೌನ್ ಆಟೊಮೆಟಾವನ್ನು ಯಂತ್ರಗಳಿಂದ ಕಂಪ್ಯೂಟ್ ಮಾಡಬಹುದಾದ ಸಿದ್ಧಾಂತಗಳಲ್ಲಿ ಬಳಸಲಾಗುತ್ತದೆ. ಅವು [[ಫಿನೈಟ್-ಸ್ಟೇಟ್ ಯಂತ್ರ|ಫೈನೈಟ್-ಸ್ಟೇಟ್ ನ ಮೆಷಿನ್ ಗಳಿಗಿಂತ]] ಹೆಚ್ಚು ಸಾಮರ್ಥ್ಯ ಹೊಂದಿವೆ. ಆದರೆ [[ಟ್ಯೂರಿಂಗ್ ಯಂತ್ರ|ಟ್ಯೂರಿಂಗ್ ಮೆಷಿನ್ ಗಳಿಗಿಂತ]] ಕಡಿಮೆ ಸಾಮರ್ಥ್ಯ ಹೊಂದಿವೆ ( ಕೆಳಗೆ ನೋಡಿ). [[ನಿರ್ಣಾಯಕ ಪುಶ್‌ಡೌನ್ ಆಟೋಮ್ಯಾಟಾ|ಡಿಟರ್ಮಿನಿಸ್ಟಿಕ್ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ]] ಎಲ್ಲಾ [[ನಿರ್ಣಾಯಕ ಸಂದರ್ಭ-ಮುಕ್ತ ಭಾಷೆ|ನಿರ್ಣಾಯಕ ಸಂದರ್ಭ-ಮುಕ್ತ ಭಾಷೆಗಳನ್ನು]] ಗುರುತಿಸಬಹುದು ಆದರೆ ಅನಿರ್ದಿಷ್ಟವಾದವುಗಳು ಎಲ್ಲಾ [[ಸಂದರ್ಭ-ಮುಕ್ತ ಭಾಷೆ|ಸಂದರ್ಭ-ಮುಕ್ತ ಭಾಷೆಗಳನ್ನು]] ಗುರುತಿಸಬಹುದು, ಮೊದಲನೆಯದನ್ನು [[ಪಾರ್ಸರ್]] ವಿನ್ಯಾಸದಲ್ಲಿ ಬಳಸಲಾಗುತ್ತದೆ.

"ಪುಶ್‌ಡೌನ್" ಎಂಬ ಪದವು ಕೆಫೆಟೇರಿಯಾದಲ್ಲಿ ಟ್ರೇ ಡಿಸ್ಪೆನ್ಸರ್‌ನಂತೆ [[ಸ್ಟಾಕ್ (ಅಮೂರ್ತ ಡೇಟಾ ಪ್ರಕಾರ)|ಸ್ಟಾಕ್ ಅನ್ನು]] "ಕೆಳಗೆ ತಳ್ಳಲಾಗಿದೆ" ಎಂದು ಪರಿಗಣಿಸಬಹುದು. ಏಕೆಂದರೆ ಕಾರ್ಯಾಚರಣೆಗಳು ಉನ್ನತ ಎಲಿಮೆಂಟ್ ಅನ್ನು ಹೊರತುಪಡಿಸಿ ಇತರ ಎಲಿಮೆಂಟ್ ಗಳ ಮೇಲೆ ಎಂದಿಗೂ ಕಾರ್ಯನಿರ್ವಹಿಸುವುದಿಲ್ಲ. '''ಸ್ಟಾಕ್ ಆಟೊಮೆಟಾ.''' ಇದಕ್ಕೆ ವಿರುದ್ಧವಾಗಿ, ಆಳವಾದ ಎಲಿಮೆಂಟ್ ಗಳಿಗೆ ಪ್ರವೇಶ ಮತ್ತು ಕಾರ್ಯಾಚರಣೆಗಳನ್ನು ಅನುಮತಿಸುತ್ತದೆ. ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾಕ್ಕಿಂತ ಕಟ್ಟುನಿಟ್ಟಾಗಿ ದೊಡ್ಡದಾದ ಭಾಷೆಗಳನ್ನು ಸ್ಟಾಕ್ ಆಟೊಮೆಟಾ ಗುರುತಿಸಬಹುದು.<ref name="Hopcroft.Ullman.1967">{{Cite journal|last=John E. Hopcroft|last2=Jeffrey D. Ullman|title=Nonerasing Stack Automata|journal=Journal of Computer and System Sciences|year=1967|volume=1|pages=166–186|doi=10.1016/s0022-0000(67)80013-8}}</ref> [[ನೆಸ್ಟೆಡ್ ಸ್ಟಾಕ್ ಆಟೊಮ್ಯಾಟನ್]] ಪೂರ್ಣ ಪ್ರವೇಶವನ್ನು ಅನುಮತಿಸುತ್ತದೆ, ಮತ್ತು ಸ್ಟ್ಯಾಕ್ ಮಾಡಲಾದ ಮೌಲ್ಯಗಳು ಕೇವಲ ಒಂದೇ ಸೀಮಿತ ಚಿಹ್ನೆಗಳಿಗಿಂತ ಸಂಪೂರ್ಣ ಉಪ-ಸ್ಟ್ಯಾಕ್‌ಗಳಾಗಿರಲು ಅನುಮತಿಸುತ್ತದೆ.
[[ಚಿತ್ರ:Pushdown-overview.svg|thumb|340x340px| ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾದ ರೇಖಾಚಿತ್ರ]]
  <nowiki><a href="./ಫಿನೈಟ್-ಸ್ಟೇಟ್_ಯಂತ್ರ" rel="mw:WikiLink" data-linkid="15" data-cx="{&amp;quot;adapted&amp;quot;:false,&amp;quot;sourceTitle&amp;quot;:{&amp;quot;title&amp;quot;:&amp;quot;Finite-state machine&amp;quot;,&amp;quot;thumbnail&amp;quot;:{&amp;quot;source&amp;quot;:&amp;quot;https://upload.wikimedia.org/wikipedia/commons/thumb/a/a2/Automata_theory.svg/80px-Automata_theory.svg.png&amp;quot;,&amp;quot;width&amp;quot;:80,&amp;quot;height&amp;quot;:60},&amp;quot;description&amp;quot;:&amp;quot;Mathematical model of computation&amp;quot;,&amp;quot;pageprops&amp;quot;:{&amp;quot;wikibase_item&amp;quot;:&amp;quot;Q176452&amp;quot;},&amp;quot;pagelanguage&amp;quot;:&amp;quot;en&amp;quot;},&amp;quot;targetFrom&amp;quot;:&amp;quot;mt&amp;quot;,&amp;quot;targetTitle&amp;quot;:{&amp;quot;title&amp;quot;:&amp;quot;Finite-state machine&amp;quot;,&amp;quot;pagelanguage&amp;quot;:&amp;quot;kn&amp;quot;,&amp;quot;sourceLanguage&amp;quot;:&amp;quot;en&amp;quot;,&amp;quot;missing&amp;quot;:true,&amp;quot;description&amp;quot;:&amp;quot;This page does not exist yet&amp;quot;}}" class="cx-link" id="mwGQ" title="ಫಿನೈಟ್-ಸ್ಟೇಟ್ ಯಂತ್ರ">ಫೈನೈಟ್-ಸ್ಟೇಟ್ ನ  ಮೆಷಿನ್</a></nowiki>  ಇನ್‌ಪುಟ್ ಸಿಗ್ನಲ್ ಮತ್ತು ಪ್ರಸ್ತುತ ಸ್ಟೇಟ್ ಅನ್ನು ನೋಡುತ್ತದೆ: ಇದು ಕೆಲಸ ಮಾಡಲು ಯಾವುದೇ ಸ್ಟಾಕ್ ಅನ್ನು ಹೊಂದಿಲ್ಲ ಮತ್ತು ಆದ್ದರಿಂದ ಇನ್‌ಪುಟ್‌ನ ಹಿಂದಿನ ಮೌಲ್ಯಗಳನ್ನು ತಿಳಿಯಲು ಅಥವಾ ಅವುಗಳನ್ನು ಉಳಿಸಲು ಸಾಧ್ಯವಾಗುವುದಿಲ್ಲ. ಇದು ಇನ್ಪುಟ್ ನ ಆಧಾರದ ಮೇಲೆ ಕೇವಲ ಹೊಸ ಸ್ಟೇಟ್ ಅನ್ನು ಆಯ್ಕೆ ಮಾಡಬಹುದು. ಇನ್ಪುಟ್ ನ ಆಧಾರದ ಮೇಲೆ ಸ್ಟೇಟ್ ಬದಲಾಗುವುದನ್ನು ಟ್ರ್ಯಾನ್ಸಿಷನ್ ಎಂದು ಕರೆಯುತ್ತಾರೆ. '''ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ (ಪಿಡಿಎ)''' [[ಫಿನೈಟ್-ಸ್ಟೇಟ್ ಯಂತ್ರ|ಫೈನೈಟ್-ಸ್ಟೇಟ್ ನ ಮೆಷಿನ್]]  ನಿಂದ ಎರಡು ರೀತಿಯಲ್ಲಿ ಭಿನ್ನವಾಗಿದೆ:

# ಯಾವ ಟ್ರ್ಯಾನ್ಸಿಷನ್ ಅನ್ನು ತೆಗೆದುಕೊಳ್ಳಬೇಕೆಂದು ನಿರ್ಧರಿಸಲು ಇದು ಸ್ಟಾಕ್‌ನ ಮೇಲ್ಭಾಗವನ್ನು ಬಳಸಬಹುದು.
# ಇದು ಟ್ರ್ಯಾನ್ಸಿಷನ್ ಅನ್ನು ನಿರ್ವಹಿಸುವ ಭಾಗವಾಗಿ ಸ್ಟಾಕ್ ಅನ್ನು ಕುಶಲತೆಯಿಂದ ನಿರ್ವಹಿಸಬಹುದು.

ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ ಕೊಟ್ಟಿರುವ ಇನ್‌ಪುಟ್ ಸ್ಟ್ರಿಂಗ್ ಅನ್ನು ಎಡದಿಂದ ಬಲಕ್ಕೆ ಓದುತ್ತದೆ. ಪ್ರತಿ ಹಂತದಲ್ಲಿ, ಇನ್‌ಪುಟ್ ಚಿಹ್ನೆ, ಪ್ರಸ್ತುತ ಸ್ಟೇಟ್ ಮತ್ತು ಸ್ಟಾಕ್‌ನ ಮೇಲ್ಭಾಗದಲ್ಲಿರುವ ಚಿಹ್ನೆಯಿಂದ ಟೇಬಲ್ ಅನ್ನು ಇಂಡೆಕ್ಸ್ ಮಾಡುವ ಮೂಲಕ ಇದು ಟ್ರ್ಯಾನ್ಸಿಷನ್ ಅನ್ನು ಆಯ್ಕೆ ಮಾಡುತ್ತದೆ. ಒಂದು ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ ಟ್ರ್ಯಾನ್ಸಿಷನ್ ಅನ್ನು ನಿರ್ವಹಿಸುವ ಭಾಗವಾಗಿ ಸ್ಟಾಕ್ ಅನ್ನು ಕುಶಲತೆಯಿಂದ ನಿರ್ವಹಿಸಬಹುದು. ಕುಶಲತೆಯು ನಿರ್ದಿಷ್ಟ ಚಿಹ್ನೆಯನ್ನು ಸ್ಟಾಕ್‌ನ ಮೇಲ್ಭಾಗಕ್ಕೆ ಪುಷ್ ಮಾಡುತ್ತದೆ ಅಥವಾ ಸ್ಟಾಕ್‌ನ ಮೇಲ್ಭಾಗದಲ್ಲಿರುವ ಚಿಹ್ನೆಯನ್ನು ಪಾಪ್ ಮಾಡುತ್ತದೆ. ಆಟೊಮೆಟಾ ಪರ್ಯಾಯವಾಗಿ ಸ್ಟಾಕ್ ಅನ್ನು ನಿರ್ಲಕ್ಷಿಸಬಹುದು ಮತ್ತು ಅದನ್ನು ಹಾಗೆಯೇ ಬಿಡಬಹುದು.

ಒಟ್ಟುಗೂಡಿಸಿ: ಇನ್‌ಪುಟ್ ಚಿಹ್ನೆ, ಪ್ರಸ್ತುತ ಸ್ಟೇಟ್ ಮತ್ತು ಸ್ಟಾಕ್ ಚಿಹ್ನೆಯನ್ನು ನೀಡಿದರೆ, ಆಟೊಮೆಟಾ ಮತ್ತೊಂದು ಸ್ಟೇಟ್ ಗೆ ಟ್ರ್ಯಾನ್ಸಿಷನ್ ಆಗಬಹುದು ಮತ್ತು ಐಚ್ಛಿಕವಾಗಿ ಸ್ಟಾಕ್ ಅನ್ನು ಕುಶಲತೆಯಿಂದ (ಪುಶ್ ಅಥವಾ ಪಾಪ್) ಮಾಡಬಹುದು.

ಪ್ರತಿಯೊಂದು ಸಂದರ್ಭದಲ್ಲೂ, ಅಂತಹ ಒಂದು ಟ್ರ್ಯಾನ್ಸಿಷನ್ ನ ಕ್ರಿಯೆಯು ಸಾಧ್ಯವಾದರೆ, ಆಟೊಮೆಟಾವನ್ನು '''ಡಿಟರ್ಮಿನಿಸ್ಟಿಕ್ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ (DPDA)''' ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಸಾಮಾನ್ಯವಾಗಿ, ಹಲವಾರು ಕ್ರಿಯೆಗಳು ಸಾಧ್ಯವಾದರೆ, ಆಟೊಮೆಟಾ ಅನ್ನು '''ಸಾಮಾನ್ಯ''' ಅಥವಾ '''ಅನಿರ್ದಿಷ್ಟ''', '''PDA''' ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ನೀಡಿದ ಇನ್‌ಪುಟ್ ಸ್ಟ್ರಿಂಗ್ ಹಲವಾರು ಕಾನ್ಫಿಗರೇಶನ್ ಅನುಕ್ರಮಗಳಲ್ಲಿ ಒಂದಕ್ಕೆ ಅನಿರ್ದಿಷ್ಟವಾದ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ ಅನ್ನು ಚಾಲನೆ ಮಾಡಬಹುದು; ಅವುಗಳಲ್ಲಿ ಒಂದು ಸಂಪೂರ್ಣ ಇನ್‌ಪುಟ್ ಸ್ಟ್ರಿಂಗ್ ಅನ್ನು ಓದಿದ ನಂತರ ಸ್ವೀಕರಿಸುವ ಕಾನ್ಫಿಗರೇಶನ್‌ಗೆ ಕಾರಣವಾದರೆ, ಎರಡನೆಯದು ''ಆಟೊಮೆಟಾ ಇಂದ ಸ್ವೀಕರಿಸಲ್ಪಟ್ಟ ಭಾಷೆಗೆ'' ಸೇರಿದೆ ಎಂದು ಹೇಳಲಾಗುತ್ತದೆ.

== ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯಾನ ==
ನಾವು ಪ್ರಮಾಣಿತ ಔಪಚಾರಿಕ ಭಾಷಾ ಸಂಕೇತವನ್ನು ಬಳಸುತ್ತೇವೆ: <math>\Gamma^{*}</math> ವರ್ಣಮಾಲೆಯ ಮೇಲೆ ಸೀಮಿತ-ಉದ್ದದ [[ಸ್ಟ್ರಿಂಗ್ (ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನ)|ಸ್ಟ್ರಿಂಗ್ ಗಳ]] ಗುಂಪನ್ನು ಸೂಚಿಸುತ್ತದೆ <math>\Gamma</math> ಮತ್ತು <math>\varepsilon</math> [[ಖಾಲಿ ಸ್ಟ್ರಿಂಗ್]] ಅನ್ನು ಸೂಚಿಸುತ್ತದೆ.

PDA ಅನ್ನು ಔಪಚಾರಿಕವಾಗಿ 7-tuple ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ:

<math>M=(Q, \Sigma, \Gamma, \delta, q_{0}, Z, F)</math> ಇದರಲ್ಲಿ

* <math>Q</math> ಸ್ಟೇಟ್ ''ಗಳ'' ಸೀಮಿತ ಗುಂಪಾಗಿದೆ
* <math>\Sigma</math> ''ಇನ್‌ಪುಟ್ ಆಲ್ಫಾಬೆಟ್'' ಎಂದು ಕರೆಯಲ್ಪಡುವ ಸೀಮಿತ ಸೆಟ್ ಆಗಿದೆ
* <math>\Gamma</math> ''ಸ್ಟಾಕ್ ಆಲ್ಫಾಬೆಟ್'' ಎಂದು ಕರೆಯಲ್ಪಡುವ ಒಂದು ಸೀಮಿತ ಸೆಟ್ ಆಗಿದೆ
* <math>\delta</math> ನ ಸೀಮಿತ ಉಪವಿಭಾಗವಾಗಿದೆ <math>Q \times (\Sigma \cup \{\varepsilon\}) \times \Gamma \times Q \times \Gamma^*</math>, ಟ್ರ್ಯಾನ್ಸಿಷನ್ ನ ''ಸಂಬಂಧ''
* <math>q_{0} \in Q </math> ''ಪ್ರಾರಂಭದ ಸ್ಟೇಟ್ ಆಗಿದೆ''
* <math>Z \in \Gamma</math> ''ಆರಂಭಿಕ ಸ್ಟಾಕ್ ಸಂಕೇತವಾಗಿದೆ''
* <math>F \subseteq Q</math> ''ಸ್ವೀಕರಿಸುವ  ಸ್ಟೇಟ್ ಗಳ'' ಗುಂಪಾಗಿದೆ

ಒಂದು ಎಲಿಮೆಂಟ್ <math>(p,a,A,q,\alpha) \in \delta</math>, <math>M</math> ನ ಒಂದು ಟ್ರ್ಯಾನ್ಸಿಷನ್ ಆಗಿದೆ. ಇದು ಉದ್ದೇಶಿತ ಅರ್ಥವೇನೆಂದರೆ <math>M</math> ಎನ್ನುವ ಅಟೊಮೆಟಾದ ಸ್ಟೇಟ್ ನಲ್ಲಿ <math>p \in Q</math>, ಇನ್ಪುಟ್ನಲ್ಲಿ <math>a \in \Sigma \cup \{\varepsilon\}</math> ಮತ್ತು ಜೊತೆಗೆ <math>A \in \Gamma</math> ಮೇಲ್ಭಾಗದ ಸ್ಟಾಕ್ ಚಿಹ್ನೆಯಾಗಿ, ಓದಬಹುದು <math>a</math>, ಗೆ ಸ್ಟೇಟ್ ಅನ್ನು ಬದಲಾಯಿಸಿ <math>q</math>, <math>A</math> ಅನ್ನು ಪಾಪ್ ಮಾಡಿ, <math>\alpha \in \Gamma^*</math> ಅನ್ನುತಳ್ಳುವ ಮೂಲಕ ಅದನ್ನು ಬದಲಾಯಿಸುವುದು.  <math>(\Sigma \cup \{\varepsilon\})</math> PDA ಇನ್‌ಪುಟ್‌ನಿಂದ ಅಕ್ಷರವನ್ನು ಓದಬಹುದು ಅಥವಾ ಇನ್‌ಪುಟ್ ಅನ್ನು ಸ್ಪರ್ಶಿಸದೆಯೇ ಮುಂದುವರಿಸಬಹುದು ಎಂಬುದನ್ನು ಔಪಚಾರಿಕಗೊಳಿಸಲು ಟ್ರ್ಯಾನ್ಸಿಷನ್ ನ ಸಂಬಂಧದ ಘಟಕವನ್ನು ಬಳಸಲಾಗುತ್ತದೆ.{{Fact|date=January 2019}}</link><sup class="noprint Inline-Template Template-Fact" style="white-space:nowrap;">&#x5B; ''[[ವಿಕಿಪೀಡಿಯ:Citation needed|<span title="This claim needs references to reliable sources. (January 2019)">ಉಲ್ಲೇಖದ ಅಗತ್ಯವಿದೆ</span>]]'' &#x5D;</sup>

ಅನೇಕ ಪಠ್ಯಗಳಲ್ಲಿ <ref name="Hopcroft.Ullman.1979">{{Cite book|url=https://archive.org/details/introductiontoau00hopc|title=Introduction to Automata Theory, Languages, and Computation|last=John E. Hopcroft and Jeffrey D. Ullman|publisher=Addison-Wesley|year=1979|isbn=0-201-02988-X|location=Reading/MA|url-access=registration}}</ref> {{Rp|110}}ಟ್ರ್ಯಾನ್ಸಿಷನ್ ನ ಸಂಬಂಧವನ್ನು (ಸಮಾನ) ಔಪಚಾರಿಕೀಕರಣದಿಂದ ಬದಲಾಯಿಸಲಾಗುತ್ತದೆ, ಅದರಲ್ಲಿ

* <math>\delta</math> ''ಟ್ರ್ಯಾನ್ಸಿಷನ್  ಫಂಕ್ಷನ್  ಆಗಿದೆ'', ಇದನ್ನು <math>Q \times (\Sigma \cup \{\varepsilon\}) \times \Gamma</math> ಗಿ <math>Q \times \Gamma^*</math> ಇದರ ಜೊತೆ ಸೀಮಿತ ಉಪಸೆಟ್ ಗಳಲ್ಲಿ ಮ್ಯಾಪಿಂಗ್ ಮಾಡಲಾಗಿದೆ.

ಇಲ್ಲಿ <math>\delta(p, a, A)</math> <math>p</math> ಸ್ಟೇಟ್ ನಲ್ಲಿ <math>A</math> ಚಿಹ್ನೆ ಸ್ಟಾಕ್ ಮೇಲೆ ಓದುವಾಗ <math>a</math> ಇನ್ಪುಟ್ನಲ್ಲಿ ಸಾಧ್ಯವಿರುವ ಎಲ್ಲಾ ಫಂಕ್ಷನ್ ಗಳನ್ನು ಒಳಗೊಂಡಿದೆ. ಉದಾಹರಣೆಗೆ <math>\delta(p, a, A) = \{(q, BA)\}</math> ನಿಖರವಾಗಿ ಯಾವಾಗ <math>(q, BA) \in \{(q, BA)\}, (q, BA) \in \delta(p, a, A),</math> ಏಕೆಂದರೆ <math>((p, a, A), \{(q, BA)\}) \in \delta</math>. ಈ ವ್ಯಾಖ್ಯಾನದಲ್ಲಿ  ಫೈನೈಟ್  ಅತ್ಯಗತ್ಯ ಎಂಬುದನ್ನು ಗಮನಿಸಿ.

'''''ಲೆಕ್ಕಾಚಾರಗಳು'''''
[[ಚಿತ್ರ:Pushdown-step.svg|thumb|223x223px| ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾದ ಒಂದು ಹಂತ]]
ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾದ ಶಬ್ದಾರ್ಥವನ್ನು ಔಪಚಾರಿಕಗೊಳಿಸಲು ಪ್ರಸ್ತುತ ಸ್ಟೇಟ್ ನ ವಿವರಣೆಯನ್ನು ಪರಿಚಯಿಸಲಾಗಿದೆ. ಯಾವುದೇ 3-ಟುಪಲ್ <math>(p,w,\beta) \in Q \times \Sigma^* \times \Gamma^*</math> ಅನ್ನು <math>M</math> ನ ತತ್ ಕ್ಷಣದ ವಿವರಣೆ  ಅಥವಾ ಇನ್ಸ್ಟಾಟೇನಿಯಸ್ ಡಿಸ್ಕ್ರಿಪ್ಶನ್ (ID) ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಇದು ಪ್ರಸ್ತುತ ಸ್ಥಿತಿ, ಓದದಿರುವ ಇನ್‌ಪುಟ್ ಟೇಪ್‌ನ ಭಾಗ ಮತ್ತು ಸ್ಟಾಕ್‌ನ ವಿಷಯಗಳನ್ನು ಒಳಗೊಂಡಿರುತ್ತದೆ (ಮೊದಲು ಬರೆಯಲಾದ ಮೇಲಿನ ಚಿಹ್ನೆ). ''ಟ್ರ್ಯಾನ್ಸಿಷನ್''  ನ ಸಂಬಂಧ <math>\delta</math> ಹಂತ-ಸಂಬಂಧವನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತದೆ <math>\vdash_{M}</math> ನ <math>M</math> ತತ್ ಕ್ಷಣದ ವಿವರಣೆಗಳ ಮೇಲೆ. ಸೂಚನೆಗಾಗಿ <math>(p,a,A,q,\alpha) \in \delta</math> ಒಂದು ಹಂತ ಇದೆ <math>(p,ax,A\gamma) \vdash_{M} (q,x,\alpha\gamma)</math> ಇದು, ಪ್ರತಿಯೊಂದಕ್ಕೂ <math>x\in\Sigma^*</math> ಮತ್ತು ಪ್ರತಿ <math>\gamma\in \Gamma^*</math> ಆಗಿದೆ.

ಸಾಮಾನ್ಯವಾಗಿ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾದಲ್ಲಿ ಎಂಬುದು ಅನಿರ್ದಿಷ್ಟವಾದ ಅರ್ಥವಾಗಿದ್ದು, ನೀಡಿದ ತತ್‌ಕ್ಷಣದ ವಿವರಣೆಯಲ್ಲಿ <math>(p,w,\beta)</math> ಹಲವಾರು ಸಂಭವನೀಯ ಹಂತಗಳು ಇರಬಹುದು. ಈ ಯಾವುದೇ ಹಂತಗಳನ್ನು ಗಣನೆಯಲ್ಲಿ ಆಯ್ಕೆ ಮಾಡಬಹುದು. ಪ್ರತಿ ಹಂತದಲ್ಲೂ ಮೇಲಿನ ವ್ಯಾಖ್ಯಾನದೊಂದಿಗೆ ಯಾವಾಗಲೂ ಒಂದೇ ಚಿಹ್ನೆಯನ್ನು (ಸ್ಟಾಕ್‌ನ ಮೇಲ್ಭಾಗ) ಪಾಪ್ ಮಾಡಲಾಗುತ್ತದೆ, ಮತ್ತು ಅದನ್ನು ಅಗತ್ಯವಿರುವಷ್ಟು ಚಿಹ್ನೆಗಳೊಂದಿಗೆ ಬದಲಾಯಿಸಲಾಗುತ್ತದೆ. ಪರಿಣಾಮವಾಗಿ ಸ್ಟಾಕ್ ಖಾಲಿಯಾಗಿರುವಾಗ ಯಾವುದೇ ಹಂತವನ್ನು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗುವುದಿಲ್ಲ.

ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾದ ಲೆಕ್ಕಾಚಾರಗಳು ಹಂತಗಳ ಅನುಕ್ರಮಗಳಾಗಿವೆ. ಲೆಕ್ಕಾಚಾರವು ಆರಂಭಿಕ ಸ್ಟೇಟ್ ನಲ್ಲಿ ಪ್ರಾರಂಭವಾಗುತ್ತದೆ <math>q_{0}</math> ಆರಂಭಿಕ ಸ್ಟಾಕ್ ಚಿಹ್ನೆಯೊಂದಿಗೆ <math>Z</math> ಸ್ಟಾಕ್ ಮೇಲೆ, ಮತ್ತು ಸ್ಟ್ರಿಂಗ್ <math>w</math> ಇನ್ಪುಟ್ ಟೇಪ್ನಲ್ಲಿ, ಹೀಗೆ ಆರಂಭಿಕ ವಿವರಣೆಯೊಂದಿಗೆ <math>(q_{0},w,Z)</math> ಕಾಣುತ್ತದೆ. ಇದನ್ನು ಸ್ವೀಕರಿಸಲು ಎರಡು ವಿಧಾನಗಳಿವೆ. ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ ಅಂತಿಮ ಸ್ಟೇಟ್ ಅನ್ನು ಸ್ವೀಕರಿಸುತ್ತದೆ, ಅಂದರೆ ಅದರ ಇನ್‌ಪುಟ್ ಅನ್ನು ಓದಿದ ನಂತರ ಆಟೊಮೆಟಾ ಸ್ವೀಕರಿಸುವ ಸ್ಟೇಟ್ ಅನ್ನು ತಲುಪುತ್ತದೆ (ಇನ್ <math>F</math> ), ಅಥವಾ ಇದು ಖಾಲಿ ಸ್ಟಾಕ್ ಮೂಲಕ ಸ್ವೀಕರಿಸುತ್ತದೆ ( <math>\varepsilon</math> ), ಅಂದರೆ ಅದರ ಇನ್ಪುಟ್ ಅನ್ನು ಓದಿದ ನಂತರ ಆಟೊಮೆಟಾ ಅದರ ಸ್ಟಾಕ್ ಅನ್ನು ಖಾಲಿ ಮಾಡುತ್ತದೆ. ಮೊದಲ ಸ್ವೀಕಾರ ಕ್ರಮವು ಆಂತರಿಕ ಮೆಮೊರಿ (ಸ್ಟೇಟ್), ಎರಡನೆಯದು ಬಾಹ್ಯ ಮೆಮೊರಿ (ಸ್ಟಾಕ್) ಅನ್ನು ಬಳಸುತ್ತದೆ.

ಔಪಚಾರಿಕವಾಗಿ ಹೀಗೆ ವ್ಯಾಖ್ಯಾನಿಸಬಹುದು

# <math>L(M) = \{ w\in\Sigma^* | (q_{0},w,Z) \vdash_M^* (f,\varepsilon,\gamma)</math> ಜೊತೆಗೆ <math>f \in F</math> ಮತ್ತು <math>\gamma \in \Gamma^* \}</math> (ಅಂತಿಮ ಸ್ಟೇಟ್)
# <math>N(M) = \{ w\in\Sigma^* | (q_{0},w,Z) \vdash_M^* (q,\varepsilon,\varepsilon)</math> ಜೊತೆಗೆ <math>q \in Q \}</math> (ಖಾಲಿ ಸ್ಟಾಕ್)

ಇಲ್ಲಿ <math>\vdash_M^*</math> ಹಂತದ ಸಂಬಂಧದ [[ಪ್ರತಿಫಲಿತ ಮುಚ್ಚುವಿಕೆ|ಪ್ರತಿಫಲಿತ]] ಮತ್ತು [[ಟ್ರಾನ್ಸಿಟಿವ್ ಮುಚ್ಚುವಿಕೆ|ಟ್ರಾನ್ಸಿಟಿವ್ ಮುಚ್ಚುವಿಕೆಯನ್ನು]] ಪ್ರತಿನಿಧಿಸುತ್ತದೆ <math>\vdash_M</math> ಅಂದರೆ ಯಾವುದೇ ಸಂಖ್ಯೆಯ ಸತತ ಹಂತಗಳು (ಶೂನ್ಯ, ಒಂದು ಅಥವಾ ಹೆಚ್ಚು).

ಪ್ರತಿಯೊಂದು ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾಗೆ ಈ ಎರಡು ಭಾಷೆಗಳಿಗೆ ಯಾವುದೇ ಸಂಬಂಧವಿಲ್ಲ: ಅವು ಸಮಾನವಾಗಿರಬಹುದು ಆದರೆ ಸಾಮಾನ್ಯವಾಗಿ ಇದು ಹಾಗಿರುವುದಿಲ್ಲ. ಆಟೊಮೆಟಾದ ನಿರ್ದಿಷ್ಟತೆಯು ಸ್ವೀಕಾರದ ಉದ್ದೇಶಿತ ವಿಧಾನವನ್ನು ಸಹ ಒಳಗೊಂಡಿರಬೇಕು. ಎಲ್ಲಾ ಪುಶ್‌ಡೌನ್ ಆಟೋಮೆಟಾವನ್ನು ತೆಗೆದುಕೊಂಡರೆ ಎರಡೂ ಅಕ್ಸೆಪ್ಟಿಂಗ್ ಸ್ಟೇಟ್ ಗಳು ಒಂದೇ ಕುಟುಂಬದ ಭಾಷೆಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತವೆ.

'''ಪ್ರಮೇಯ.''' ಪ್ರತಿ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ <math>M</math> ಗೆ ಒಬ್ಬರು ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ <math>M'</math> ಅನ್ನು ನಿರ್ಮಿಸಬಹುದು.  ಅಂದರೆ <math>L(M)=N(M')</math>, ಮತ್ತು ಪ್ರತಿ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ <math>M</math> ಗೆ ಪ್ರತಿಯಾಗಿ ಒಂದು ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ <math>M'</math> ಅನ್ನು ನಿರ್ಮಿಸಬಹುದು  ಅಂದರೆ <math>N(M)=L(M')</math>.

== ಉದಾಹರಣೆ ==
ಕೆಳಗಿನವುಗಳು ಭಾಷೆಯನ್ನು ಗುರುತಿಸುವ PDA ನ  ಔಪಚಾರಿಕ ವಿವರಣೆಯು ಅಕ್ಸೆಪ್ಟಿಂಗ್ ಸ್ಟೇಟ್ ಮೂಲಕ ಆಗಿದೆ <math>\{0^n1^n \mid n \ge 0 \}</math> :
[[ಚಿತ್ರ:Pda-example.svg|thumb|200x200px| ಗಾಗಿ PDA <math>\{0^n1^n \mid n \ge 0\}</math><br /><br /><br /><br /><nowiki></br></nowiki> (ಅಕ್ಸೆಪ್ಟಿಂಗ್ ಸ್ಟೇಟ್ ಯಿಂದ)]]
<math>M=(Q,\ \Sigma,\ \Gamma,\ \delta, \ q_{0},\ Z, \ F)</math>, ಎಂಬುದರಲ್ಲಿ

* '''ಸ್ಟೇಟ್ ಗಳು:''' <math>Q = \{ p,q,r \}</math>
* '''ಇನ್ಪುಟ್ ವರ್ಣಮಾಲೆ:''' <math>\Sigma = \{0, 1\}</math>
* '''ಸ್ಟಾಕ್ ವರ್ಣಮಾಲೆ:''' <math>\Gamma = \{A, Z\}</math>
* '''ಪ್ರಾರಂಭ ಸ್ಥಿತಿ:''' <math>q_{0} = p</math>
* '''ಸ್ಟಾರ್ಟ್ ಸ್ಟಾಕ್ ಚಿಹ್ನೆ:''' Z
* '''ಅಕ್ಸೆಪ್ಟಿಂಗ್ ಸ್ಟೇಟ್''' '''ಗಳು:''' <math>F = \{r\}</math>

ಟ್ರ್ಯಾನ್ಸಿಶನ್ ನ ಸಂಬಂಧ <math>\delta</math> ಕೆಳಗಿನ ಆರು ಸೂಚನೆಗಳನ್ನು ಒಳಗೊಂಡಿದೆ:

: <math>(p,0,Z,p,AZ)</math>,
: <math>(p,0,A,p,AA)</math>,
: <math>(p,\epsilon,Z,q,Z)</math>,
: <math>(p,\epsilon,A,q,A)</math>,
: <math>(q,1,A,q,\epsilon)</math>, ಮತ್ತು
: <math>(q,\epsilon,Z,r,Z)</math>.

ವಿವರಣೆಗಾಗಿ, ಮೊದಲ ಎರಡು ಸೂಚನೆಗಳು p ಸ್ಟೇಟ್ ಯಾವುದೇ ಸಮಯದಲ್ಲಿ 0 ಚಿಹ್ನೆಯನ್ನು ಓದಿದಾಗ, ಒಂದು A ಸ್ಟಾಕ್‌ಗೆ ಪುಷ್ ಮಾಡಲಾಗುತ್ತದೆ ಎಂದು ಹೇಳುತ್ತದೆ. ಮತ್ತೊಂದು A ಮೇಲೆ ಚಿಹ್ನೆ A A AA ಯಿಂದ ಬದಲಾಯಿಸುವಂತೆ ಔಪಚಾರಿಕಗೊಳಿಸಲಾಗುತ್ತದೆ (ಮತ್ತು Z ನ ಮೇಲೆ A ಚಿಹ್ನೆಯನ್ನು ತಳ್ಳಲು).

ಮೂರನೇ ಮತ್ತು ನಾಲ್ಕನೇ ಸೂಚನೆಗಳು, ಯಾವುದೇ ಕ್ಷಣದಲ್ಲಿ ಆಟೊಮೆಟಾದ ಸ್ಥಿತಿ p ನಿಂದ ರಾಜ್ಯ q ಗೆ ಚಲಿಸಬಹುದು ಎಂದು ಹೇಳುತ್ತದೆ.

ಐದನೇ ಸೂಚನೆಯು ಸ್ಟೇಟ್ ನಲ್ಲಿ q ನಲ್ಲಿ ಪ್ರತಿ ಚಿಹ್ನೆ 1 ಓದಲು, ಒಂದು A ಪಾಪ್ ಮಾಡಲಾಗಿದೆ ಎಂದು ಹೇಳುತ್ತದೆ.

ಅಂತಿಮವಾಗಿ, ಆರನೇ ಸೂಚನೆಯು ಸ್ಟಾಕ್ ಒಂದೇ Z ಅನ್ನು ಒಳಗೊಂಡಿರುವಾಗ ಮಾತ್ರ ಯಂತ್ರವು ಸ್ಥಿತಿ q ನಿಂದ ಸ್ಟೇಟ್ r ಸ್ವೀಕರಿಸಲು ಚಲಿಸಬಹುದು ಎಂದು ಹೇಳುತ್ತದೆ.

PDA ಗಾಗಿ ಸಾಮಾನ್ಯವಾಗಿ ಬಳಸಲಾದ ಪ್ರಾತಿನಿಧ್ಯವಿಲ್ಲ ಎಂದು ತೋರುತ್ತಿದೆ. ಇಲ್ಲಿ ನಾವು ಸೂಚನೆಯನ್ನು ಚಿತ್ರಿಸಿದ್ದೇವೆ <math>(p,a,A,q,\alpha)</math> p ನಿಂದ ಸ್ಟೇಟ್ q ಗೆ ಒಂದು ಎಡ್ಜ್ ನಿಂದ ಲೇಬಲ್ ಮಾಡಲಾಗಿದೆ <math>a; A/\alpha</math> ( a ಓದಿ; A ಅನ್ನು ಬದಲಿಸಿ <math>\alpha</math> )

=== ವಿವರಣೆ ===
[[ಚಿತ್ರ:Pda-steps.svg|thumb|214x214px|0011 ಗಾಗಿ ಲೆಕ್ಕಾಚಾರವನ್ನು ಸ್ವೀಕರಿಸಲಾಗುತ್ತಿದೆ]]
ಮೇಲಿನ PDA ವಿವಿಧ ಇನ್‌ಪುಟ್ ಸ್ಟ್ರಿಂಗ್‌ಗಳ ಮೇಲೆ ಹೇಗೆ ಲೆಕ್ಕಾಚಾರ ಮಾಡುತ್ತದೆ ಎಂಬುದನ್ನು ಕೆಳಗಿನವು ವಿವರಿಸುತ್ತದೆ. ಹೆಜ್ಜೆ ಚಿಹ್ನೆಯಿಂದ ಸಬ್‌ಸ್ಕ್ರಿಪ್ಟ್ M <math>\vdash</math> ಇಲ್ಲಿ ಬಿಟ್ಟುಬಿಡಲಾಗಿದೆ.{{ordered list|1=Input string = 0011. There are various computations, depending on the moment the move from state {{mvar|p}} to state {{mvar|q}} is made. Only one of these is accepting.
{{ordered list|type=lower-roman
| <math>(p,0011,Z) \vdash (q,0011,Z) \vdash (r,0011,Z)</math><br/>The final state is accepting, but the input is not accepted this way as it has not been read.
| <math>(p,0011,Z) \vdash (p,011,AZ) \vdash (q,011,AZ)</math><br/>No further steps possible.
| <math>(p,0011,Z) \vdash (p,011,AZ) \vdash (p,11,AAZ) \vdash (q,11,AAZ) \vdash (q,1,AZ) \vdash (q,\epsilon,Z) \vdash (r,\epsilon,Z)</math><br/>Accepting computation: ends in accepting state, while complete input has been read.}}|2=Input string = 00111. Again there are various computations. None of these is accepting.
{{ordered list|type=lower-roman
| <math>(p,00111,Z) \vdash (q,00111,Z) \vdash (r,00111,Z)</math><br/>The final state is accepting, but the input is not accepted this way as it has not been read.
| <math>(p,00111,Z) \vdash (p,0111,AZ) \vdash (q,0111,AZ)</math><br/>No further steps possible.
| <math>(p,00111,Z) \vdash (p,0111,AZ) \vdash (p,111,AAZ) \vdash (q,111,AAZ) \vdash (q,11,AZ) \vdash (q,1,Z) \vdash (r,1,Z)</math><br/>The final state is accepting, but the input is not accepted this way as it has not been (completely) read.}}|type=lower-alpha}}

== ಸಂದರ್ಭ-ಮುಕ್ತ ಭಾಷೆಗಳು ==
ಪ್ರತಿಯೊಂದು [[ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣ|ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣವನ್ನು]] ಸಮಾನ ಅನಿರ್ದಿಷ್ಟ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ ಆಗಿ ಪರಿವರ್ತಿಸಬಹುದು. ವ್ಯಾಕರಣದ ವ್ಯುತ್ಪನ್ನ ಪ್ರಕ್ರಿಯೆಯನ್ನು ಎಡಭಾಗದ ರೀತಿಯಲ್ಲಿ ಅನುಕರಿಸಲಾಗಿದೆ. ವ್ಯಾಕರಣವು ನಾನ್ ಟರ್ಮಿನಲ್ ಅನ್ನು ಪುನಃ ಬರೆಯುವಾಗ, PDA ತನ್ನ ಸ್ಟಾಕ್‌ನಿಂದ ಅಗ್ರ ನಾನ್ ಟರ್ಮಿನಲ್ ಅನ್ನು ತೆಗೆದುಕೊಳ್ಳುತ್ತದೆ ಮತ್ತು ಅದನ್ನು ವ್ಯಾಕರಣ ನಿಯಮದ ಬಲಭಾಗದ ಭಾಗದಿಂದ ಬದಲಾಯಿಸುತ್ತದೆ ( ''ವಿಸ್ತರಿಸುವುದು'' ). ವ್ಯಾಕರಣವು ಟರ್ಮಿನಲ್ ಚಿಹ್ನೆಯನ್ನು ರಚಿಸಿದರೆ, PDA ಸ್ಟಾಕ್‌ನಲ್ಲಿ ( ''ಹೊಂದಾಣಿಕೆ'' ) ಮೇಲಿನ ಚಿಹ್ನೆಯಾಗಿರುವಾಗ ಇನ್‌ಪುಟ್‌ನಿಂದ ಚಿಹ್ನೆಯನ್ನು ಓದುತ್ತದೆ. ಒಂದು ಅರ್ಥದಲ್ಲಿ PDA ಯ ಸ್ಟಾಕ್ ವ್ಯಾಕರಣದ ಸಂಸ್ಕರಿಸದ ಡೇಟಾವನ್ನು ಹೊಂದಿದೆ. ಇದು ವ್ಯುತ್ಪನ್ನ ಟ್ರೀ ದ ಪ್ರೀ-ಆರ್ಡರ್ ಟ್ರ್ಯಾವರ್ಸಲ್ ಗೆ ಅನುಗುಣವಾಗಿರುತ್ತದೆ.

ತಾಂತ್ರಿಕವಾಗಿ, ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣವನ್ನು ನೀಡಿದರೆ, PDA ಒಂದೇ ಸ್ಟೇಟ್ ಅನ್ನು ಹೊಂದಿದೆ, 1, ಮತ್ತು ಅದರ ಟ್ರ್ಯಾನ್ಸಿಶನ್ ಸಂಬಂಧವನ್ನು ಈ ಕೆಳಗಿನಂತೆ ನಿರ್ಮಿಸಲಾಗಿದೆ.

# <math>(1,\varepsilon,A,1,\alpha)</math> ಪ್ರತಿ ನಿಯಮಕ್ಕೆ <math>A\to\alpha</math> ( ''ವಿಸ್ತರಿಸಲು'' )
# <math>(1,a,a,1,\varepsilon)</math> ಪ್ರತಿ ಟರ್ಮಿನಲ್ ಚಿಹ್ನೆಗೆ <math>a</math> ( ''ಹೋಲಿಕೆಯಾದಾಗ'' )

PDA ಖಾಲಿ ಸ್ಟಾಕ್ ಮೂಲಕ ಸ್ವೀಕರಿಸುತ್ತದೆ. ಇದರ ಆರಂಭಿಕ ಸ್ಟಾಕ್ ಚಿಹ್ನೆಯು ವ್ಯಾಕರಣದ ಪ್ರಾರಂಭದ ಸಂಕೇತವಾಗಿದೆ.{{Fact|date=December 2016}}</link><sup class="noprint Inline-Template Template-Fact" style="white-space:nowrap;">&#x5B; ''[[ವಿಕಿಪೀಡಿಯ:Citation needed|<span title="This claim needs references to reliable sources. (December 2016)">ಉಲ್ಲೇಖದ ಅಗತ್ಯವಿದೆ</span>]]'' &#x5D;</sup>

[[ಗ್ರೀಬಾಚ್ ಸಾಮಾನ್ಯ ರೂಪ|Greibach ಸಾಮಾನ್ಯ ರೂಪದಲ್ಲಿ]] ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣಕ್ಕಾಗಿ, ಪ್ರತಿ ವ್ಯಾಕರಣ ನಿಯಮಕ್ಕೆ (1,γ) ∈ δ(1, ''a'', ''A'' ) ಅನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುವುದು          ''A'' → ''a''γ ಸಹ ಸಮಾನವಾದ ಅನಿರ್ದಿಷ್ಟ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ ಅನ್ನು ನೀಡುತ್ತದೆ.<ref name="Hopcroft.Ullman.1979"/> {{Rp|115}}

ಕೊಟ್ಟಿರುವ PDA ಗಾಗಿ ವ್ಯಾಕರಣವನ್ನು ಕಂಡುಹಿಡಿಯುವುದು ಅಷ್ಟು ಸುಲಭವಲ್ಲ. PDA ಯ ಎರಡು ಸ್ಟೇಟ್ ಗಳನ್ನು ವ್ಯಾಕರಣದ ನಾನ್ ಟರ್ಮಿನಲ್ ಗಳಿಗೆ ಕೋಡ್ ಮಾಡುವುದು ಉಪಾಯವಾಗಿದೆ.

'''ಪ್ರಮೇಯ.''' ಪ್ರತಿ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ <math>M</math> ಗೆ  ಒಂದು ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣವನ್ನು ನಿರ್ಮಿಸಬಹುದು <math>G</math> ಅಂದರೆ {{Nowrap|<math>N(M)=L(G)</math>.}} <ref name="Hopcroft.Ullman.1979"/> {{Rp|116}}

ಡಿಟರ್ಮಿನಿಸ್ಟಿಕ್ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ (ಡಿಪಿಡಿಎ) ಸ್ವೀಕರಿಸಿದ ಸ್ಟ್ರಿಂಗ್ ಗಳ ಭಾಷೆಯನ್ನು [[ನಿರ್ಣಾಯಕ ಸಂದರ್ಭ-ಮುಕ್ತ ಭಾಷೆ]] ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಎಲ್ಲಾ ಸಂದರ್ಭ-ಮುಕ್ತ ಭಾಷೆಗಳು ನಿರ್ಣಾಯಕವಲ್ಲ. [note 1] ಪರಿಣಾಮವಾಗಿ, DPDA  ಯು PDA ಯ ಕಟ್ಟುನಿಟ್ಟಾಗಿ ದುರ್ಬಲ ರೂಪಾಂತರವಾಗಿದೆ. [[ನಿಯಮಿತ ಭಾಷೆ|ಸಾಮಾನ್ಯ (ರೆಗ್ಯೂಲರ್) ಭಾಷೆಗಳಿಗೆ]] ಸಹ, ಗಾತ್ರದ ಸ್ಫೋಟದ ಸಮಸ್ಯೆ ಇದೆ: ಯಾವುದೇ [[ಸಾಮಾನ್ಯ ಪುನರಾವರ್ತಿತ ಕಾರ್ಯ|ಪುನರಾವರ್ತಿತ ಕಾರ್ಯ (ರಿಕರ್ಸೀವ್ ಫಂಕ್ಷನ್)   ಕ್ಕಾಗಿ]]  <math>f</math> ಗಾಗಿ ಮತ್ತು ನಿರಂಕುಶವಾಗಿ ದೊಡ್ಡ ಪೂರ್ಣಾಂಕಗಳಿಗೆ <math>n</math>, ಗಾತ್ರದ PDA ಇದೆ <math>n</math> ಕನಿಷ್ಠ  <math>f(n)</math> ಸ್ಟೇಟ್ ಗಳನ್ನು DPDA ಹೊಂದಿರುವ ಸಾಮಾನ್ಯ ಭಾಷೆಯನ್ನು ವಿವರಿಸುತ್ತದೆ.  ಅನೇಕ ನಿಯಮಿತವಲ್ಲದ PDA ಗಳಿಗೆ, ಯಾವುದೇ ಸಮಾನ DPDA ಗೆ ಅನಿಯಮಿತ ಸಂಖ್ಯೆಯ ಸ್ಟೇಟ್ ಗಳ ಅಗತ್ಯವಿರುತ್ತದೆ.

ಎರಡು ಸ್ಟ್ಯಾಕ್‌ಗಳಿಗೆ ಪ್ರವೇಶವನ್ನು ಹೊಂದಿರುವ ಫೈನೈಟ್ ಅಟೊಮೆಟಾ ಹೆಚ್ಚು ಶಕ್ತಿಯುತ ಸಾಧನವಾಗಿದೆ. ಇದು [[ಟ್ಯೂರಿಂಗ್ ಯಂತ್ರ|ಟ್ಯೂರಿಂಗ್ ಮೆಷೀನ್ ಗೆ]] ಸಮಾನವಾದ ಶಕ್ತಿಯಾಗಿದೆ.<ref name="Hopcroft.Ullman.1979"/> {{Rp|171}}[[ಲೀನಿಯರ್ ಬೌಂಡೆಡ್ ಆಟೊಮ್ಯಾಟನ್|ಲೀನಿಯರ್ ಬೌಂಡೆಡ್ ಆಟೊಮೆಟಾ]] ಎನ್ನುವುದು ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾಗಿಂತ ಹೆಚ್ಚು ಶಕ್ತಿಶಾಲಿ ಆದರೆ ಟ್ಯೂರಿಂಗ್ ಮೆಷೀನ್ ಗಿಂತ ಕಡಿಮೆ ಶಕ್ತಿ ಇರುವ ಸಾಧನವಾಗಿದೆ. [note 2]

== ಟ್ಯೂರಿಂಗ್ ಮಷೀನ್ ಗಳು ==
ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ ಗಣಕೀಯವಾಗಿ ಎರಡು ಟೇಪ್‌ಗಳನ್ನು ಹೊಂದಿರುವ 'ನಿರ್ಬಂಧಿತ' ಟ್ಯೂರಿಂಗ್ ಮೆಷೀನ್ ಗೆ (TM) ಸಮನಾಗಿರುತ್ತದೆ. ಇದನ್ನು ಈ ಕೆಳಗಿನ ರೀತಿಯಲ್ಲಿ ನಿರ್ಬಂಧಿಸಲಾಗಿದೆ- ಮೊದಲ ಟೇಪ್‌ನಲ್ಲಿ, TM ಕೇವಲ ಇನ್‌ಪುಟ್ ಅನ್ನು ಓದಬಹುದು ಮತ್ತು ಎಡದಿಂದ ಬಲಕ್ಕೆ ಚಲಿಸಬಹುದು (ಇದು ಬದಲಾವಣೆಗಳನ್ನು ಮಾಡಲು ಸಾಧ್ಯವಿಲ್ಲ ) ಎರಡನೇ ಟೇಪ್‌ನಲ್ಲಿ, ಇದು ಡೇಟಾವನ್ನು 'ಪುಶ್' ಮತ್ತು 'ಪಾಪ್' ಮಾತ್ರ ಮಾಡಬಹುದು. ಅಥವಾ ಸಮಾನವಾಗಿ, ಅದು ಪ್ರತಿ ಹಂತದಲ್ಲೂ ನಿರ್ವಹಿಸಬಹುದಾದ ಏಕೈಕ ಕ್ರಿಯೆಯೆಂದರೆ ಸ್ಟ್ರಿಂಗ್‌ನಲ್ಲಿ (ಪಾಪ್) ಎಡಭಾಗದಲ್ಲಿರುವ ಅಕ್ಷರವನ್ನು ಅಳಿಸುವುದು ಅಥವಾ ಎಡಕ್ಕೆ ಹೆಚ್ಚುವರಿ ಅಕ್ಷರವನ್ನು ಸೇರಿಸುವುದು ಎಂಬ ನಿರ್ಬಂಧದೊಂದಿಗೆ ಅದು ಓದಬಹುದು, ಬರೆಯಬಹುದು ಮತ್ತು ಸ್ಟ್ರಿಂಗ್‌ನಲ್ಲಿನ ಹೆಚ್ಚಿನ ಅಕ್ಷರ (ಪುಶ್) ಎಡಕ್ಕೆ ಮತ್ತು ಬಲಕ್ಕೆ ಚಲಿಸಬಹುದು..

ಒಂದು TM ಗಿಂತ PDA ದುರ್ಬಲವಾಗಿದೆ ಎಂದರೆ 'ಪಾಪ್' ಕಾರ್ಯವಿಧಾನವು ಕೆಲವು ಡೇಟಾವನ್ನು ಅಳಿಸುತ್ತದೆ ಎಂಬ ಅಂಶಕ್ಕೆ ತರಬಹುದು. PDA ಅನ್ನು TM ನಂತೆ ಬಲವಾಗಿ ಮಾಡಲು, ನಾವು 'ಪಾಪ್' ಮೂಲಕ ಕಳೆದುಹೋದ ಡೇಟಾವನ್ನು ಎಲ್ಲೋ ಉಳಿಸಬೇಕಾಗಿದೆ. ಎರಡನೇ ಸ್ಟಾಕ್ ಅನ್ನು ಪರಿಚಯಿಸುವ ಮೂಲಕ ನಾವು ಇದನ್ನು ಸಾಧಿಸಬಹುದು. ಕೊನೆಯ ಪ್ಯಾರಾಗ್ರಾಫ್‌ನ PDA ನ TM ಮಾದರಿಯಲ್ಲಿ, ಇದು 3 ಟೇಪ್‌ಗಳನ್ನು ಹೊಂದಿರುವ TM ಗೆ ಸಮನಾಗಿರುತ್ತದೆ. ಅಲ್ಲಿ ಮೊದಲ ಟೇಪ್ ಓದಲು-ಮಾತ್ರ ಇರುವ ಇನ್‌ಪುಟ್ ಟೇಪ್ ಆಗಿದೆ ಮತ್ತು 2 ನೇ ಮತ್ತು 3 ನೇ ಟೇಪ್ 'ಪುಶ್ ಮತ್ತು ಪಾಪ್' (ಸ್ಟಾಕ್) ಟೇಪ್‌ಗಳಾಗಿವೆ. ಅಂತಹ PDA ಯಾವುದೇ TM ಅನ್ನು ಅನುಕರಿಸಲು, ನಾವು PDA ಯ ಇನ್‌ಪುಟ್ ಅನ್ನು ಮೊದಲ ಟೇಪ್‌ಗೆ ನೀಡುತ್ತೇವೆ, ಆದರೆ ಎರಡೂ ಸ್ಟಾಕ್‌ಗಳನ್ನು ಖಾಲಿ ಇಡುತ್ತೇವೆ. ಇದು ನಂತರ ಇನ್‌ಪುಟ್ ಟೇಪ್‌ನಿಂದ ಎಲ್ಲಾ ಇನ್‌ಪುಟ್ ಅನ್ನು ಮೊದಲ ಸ್ಟಾಕ್‌ಗೆ ಪುಷ್ ಮಾಡಲು ಶುರು ಮಾಡುತ್ತದೆ. ಸಂಪೂರ್ಣ ಇನ್‌ಪುಟ್ ಅನ್ನು 1 ನೇ ಸ್ಟಾಕ್‌ಗೆ ವರ್ಗಾಯಿಸಿದಾಗ, ಈಗ ನಾವು ಸಾಮಾನ್ಯ TM ನಂತೆ ಮುಂದುವರಿಯುತ್ತೇವೆ, ಅಲ್ಲಿ ಟೇಪ್‌ನಲ್ಲಿ ಬಲಕ್ಕೆ ಚಲಿಸುವುದು 1 ನೇ ಸ್ಟಾಕ್‌ನಿಂದ ಚಿಹ್ನೆಯನ್ನು ಪಾಪ್ ಮಾಡುವುದು ಮತ್ತು ಎರಡನೇ ಸ್ಟಾಕ್‌ಗೆ (ಬಹುಶಃ ನವೀಕರಿಸಿದ) ಚಿಹ್ನೆಯನ್ನು ಪುಷ್ ಮಾಡುವುದು ಮತ್ತು ಎಡಕ್ಕೆ ಚಲಿಸುವುದು 2 ನೇ ಸ್ಟಾಕ್‌ನಿಂದ ಚಿಹ್ನೆಯನ್ನು ಪಾಪ್ ಮಾಡಲು ಮತ್ತು ಮೊದಲ ಸ್ಟಾಕ್‌ಗೆ (ಬಹುಶಃ ನವೀಕರಿಸಿದ) ಚಿಹ್ನೆಯನ್ನು ಪುಷ್ ಮಾಡಲು ಅನುರೂಪವಾಗಿದೆ. ಆದ್ದರಿಂದ ನಾವು ಯಾವುದೇ TM ಅನ್ನು ಅನುಕರಿಸುವ 2 ಸ್ಟ್ಯಾಕ್‌ಗಳೊಂದಿಗೆ PDA ಅನ್ನು ಹೊಂದಿದ್ದೇವೆ.

== ಸಾಮಾನ್ಯೀಕರಣ ==
ಸಾಮಾನ್ಯೀಕರಿಸಿದ (ಜನರಲೈಸ್ಡ್) ಪುಶ್‌ ಡೌನ್ ಆಟೊಮೆಟಾ (ಜಿಪಿಡಿಎ) ಎಂಬುದು ಪಿಡಿಎ ಆಗಿದ್ದು ಅದು ಕೆಲವು ತಿಳಿದಿರುವ ಉದ್ದದ ಸಂಪೂರ್ಣ ಸ್ಟ್ರಿಂಗ್ ಅನ್ನು ಸ್ಟಾಕ್‌ಗೆ ಬರೆಯುತ್ತದೆ ಅಥವಾ ಒಂದು ಹಂತದಲ್ಲಿ ಸ್ಟಾಕ್‌ನಿಂದ ಸಂಪೂರ್ಣ ಸ್ಟ್ರಿಂಗ್ ಅನ್ನು ತೆಗೆದುಹಾಕುತ್ತದೆ.

GPDA ಅನ್ನು ಔಪಚಾರಿಕವಾಗಿ 6-tuple ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ:

: <math>M=(Q,\ \Sigma,\ \Gamma,\ \delta, \ q_{0}, \ F)</math>

ಇದರಲ್ಲಿ <math>Q, \Sigma\,, \Gamma\,, q_0</math>, ಮತ್ತು F

{\displaystyle F}

PDA ಯ ರೀತಿಯಲ್ಲಿಯೇ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ.

: <math>\,\delta</math> : <math>Q \times \Sigma_{\epsilon} \times \Gamma^{*} \longrightarrow P( Q \times \Gamma^{*} )</math>

ಎಂಬುದು ಟ್ರ್ಯಾನ್ಸಿಷನ್ ಫಂಕ್ಷನ್ ಆಗಿದೆ.

GPDA ಗಾಗಿ ಗಣನೆಯ ನಿಯಮಗಳು PDA ಯಂತೆಯೇ ಇರುತ್ತವೆ. ಅದನ್ನು ಹೊರತುಪಡಿಸಿ <math>a_{i+1}</math> ' ಮತ್ತು <math>b_{i+1}</math> ಗಳು ಈಗ ಚಿಹ್ನೆಗಳ ಬದಲಿಗೆ ಸ್ಟ್ರಿಂಗ್ ಗಳಾಗಿವೆ.

GPDA ಗಳು ಮತ್ತು PDA ಗಳು ಸಮಾನವಾಗಿರುತ್ತದೆ. ಒಂದು ಭಾಷೆ PDA ಯಿಂದ ಗುರುತಿಸಲ್ಪಟ್ಟರೆ, ಅದನ್ನು GPDA ಯಿಂದ ಗುರುತಿಸಲಾಗುತ್ತದೆ. ಅಂತೆಯೇ  ಪ್ರತಿಯಾಗಿಯೂ ಈ ಮಾತು ಒಪ್ಪುತ್ತದೆ.

ಕೆಳಗಿನ ಸಿಮ್ಯುಲೇಶನ್ ಅನ್ನು ಬಳಸಿಕೊಂಡು GPDA ಮತ್ತು PDA ಗಳ ಸಮಾನತೆಗೆ ವಿಶ್ಲೇಷಣಾತ್ಮಕ ಪುರಾವೆಯನ್ನು ರೂಪಿಸಬಹುದಾಗಿದೆ. ಇದರಿಂದ ನಮಗೆ ಹೆಚ್ಚಿನ ಮಾಹಿತಿ ಸಿಗುತ್ತದೆ.

<math>\delta (q_{1}, w, x_{1} x_{2} \cdot x_{m}) \longrightarrow (q_{2}, y_{1} y_{2}...y_{n})</math> ಎಂಬುದು GPDA ಯ ಟ್ರ್ಯಾನ್ಸಿಷನ್ ಆಗಿರಲಿ.

ಅದರಲ್ಲಿ <math>q_1, q_2 \in Q, w \in\Sigma_{\epsilon}, x_1, x_2,\ldots,x_m\in\Gamma^{*}, m\geq 0, y_1, y_2,\ldots, y_n\in\Gamma^{*}, n\geq 0</math>.

PDA ಗಾಗಿ ಕೆಳಗಿನ ಟ್ರ್ಯಾನ್ಸಿಷನ್ ಗಳನ್ನು ರಚಿಸಿ:

: <math>\begin{array}{lcl}
\delta'(q_{1}, w, x_{1}) &\longrightarrow& (p_{1}, \epsilon)
\\
\delta'(p_{1}, \epsilon, x_{2}) &\longrightarrow& (p_{2}, \epsilon)
\\
&\vdots&
\\
\delta'(p_{m-1}, \epsilon, x_{m}) &\longrightarrow& (p_{m}, \epsilon)
\\
\delta'(p_{m}, \epsilon, \epsilon ) &\longrightarrow& (p_{m+1}, y_{n})
\\
\delta'(p_{m+1}, \epsilon, \epsilon ) &\longrightarrow& (p_{m+2}, y_{n-1})
\\
&\vdots&
\\
\delta'(p_{m+n-1}, \epsilon, \epsilon ) &\longrightarrow& (q_{2}, y_{1}).
\end{array}</math>

== ಸ್ಟಾಕ್ ಆಟೋಮೆಟಾ ==
ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾದ ಸಾಮಾನ್ಯೀಕರಣವಾಗಿ, ಗಿನ್ಸ್‌ಬರ್ಗ್, ಗ್ರೀಬಾಚ್ ಮತ್ತು ಹ್ಯಾರಿಸನ್ (1967) '''ಸ್ಟಾಕ್ ಆಟೋಮೆಟಾವನ್ನು''' ಮತ್ತಷ್ಟು ಸಂಶೋಧನೆಗೆ ಒಳ ಪಡಿಸಿದರು. ಇದು ಹೆಚ್ಚುವರಿಯಾಗಿ ಇನ್‌ಪುಟ್ ಸ್ಟ್ರಿಂಗ್‌ನಲ್ಲಿ ಎಡ ಅಥವಾ ಬಲಕ್ಕೆ ಹೆಜ್ಜೆ ಹಾಕಬಹುದು (ಜಾರುವುದನ್ನು ತಡೆಯಲು ವಿಶೇಷ ಎಂಡ್‌ಮಾರ್ಕರ್ ಚಿಹ್ನೆಗಳಿಂದ ಸುತ್ತುವರೆದಿದೆ), ಮತ್ತು ಸ್ಟೆಪ್ ಅಪ್ ಅಥವಾ ಡೌನ್ ಓದಲು-ಮಾತ್ರ ಕ್ರಮದಲ್ಲಿ ಸ್ಟ್ಯಾಕ್ ನಂತೆ ಮಾಡಿದ್ದಾರೆ.<ref>{{Cite journal|last=Seymour Ginsburg, Sheila A. Greibach and Michael A. Harrison|title=Stack Automata and Compiling|journal=J. ACM|year=1967|volume=14|pages=172–201|doi=10.1145/321371.321385}}</ref><ref>{{Cite journal|last=Seymour Ginsburg, Sheila A. Greibach and Michael A. Harrison|title=One-Way Stack Automata|journal=J. ACM|year=1967|volume=14|pages=389–418|doi=10.1145/321386.321403}}</ref> ಸ್ಟಾಕ್ ಆಟೊಮೆಟಾವನ್ನು ಎಂದಿಗೂ ಸ್ಟಾಕ್‌ನಿಂದ ಪಾಪ್ ಆಗದಿದ್ದರೆ ಅದನ್ನು ''ನಾನ್‌ರೇಸಿಂಗ್'' ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಅನಿರ್ದಿಷ್ಟ, ಅಳಿಸದ ಸ್ಟಾಕ್ ಆಟೋಮೆಟಾದಿಂದ ಸ್ವೀಕರಿಸಲ್ಪಟ್ಟ ಭಾಷೆಗಳ ವರ್ಗವು ''NSPACE'' ( ''n'' <sup>2</sup> ), ಇದು [[ಸಂದರ್ಭ-ಸೂಕ್ಷ್ಮ ಭಾಷೆಗಳು|ಸಂದರ್ಭ-ಸೂಕ್ಷ್ಮ ಭಾಷೆಗಳ]] ಸೂಪರ್‌ಸೆಟ್ ಆಗಿದೆ.<ref name="Hopcroft.Ullman.1967"/> ನಿರ್ಣಾಯಕ, ಅಳಿಸದ ಸ್ಟಾಕ್ ಆಟೋಮೆಟಾದಿಂದ ಸ್ವೀಕರಿಸಲ್ಪಟ್ಟ ಭಾಷೆಗಳ ವರ್ಗವು ''[[DSPACE]]'' ( ''n'' ⋅log( ''n'' )) ಆಗಿದೆ.<ref name="Hopcroft.Ullman.1967" />

== ಪರ್ಯಾಯ ಪುಶ್‌ಡೌನ್ ಆಟೋಮೆಟಾ ==
'''ಪರ್ಯಾಯ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ''' (ಎಪಿಡಿಎ) ಎನ್ನುವುದು ಸ್ಟೇಟ್ ಸೆಟ್‌ನೊಂದಿಗೆ ಪುಶ್‌ಡೌನ್ ಆಟೊಮೆಟಾ ಆಗಿದೆ.

* <math>Q=Q_\exists \cup Q_\forall</math> ಎಲ್ಲಿ <math>Q_\exists \cap Q_\forall=\emptyset</math>.

ಸ್ಟೇಟ್ ಗಳಲ್ಲಿ ಸಾರ್ವತ್ರಿಕವಾಗಿ <math>Q_\exists</math> ಮತ್ತು <math>Q_\forall</math> ''ಅಸ್ತಿತ್ವವಾದದ'' ರೆಸ್ಪ್ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ.  ಅಸ್ತಿತ್ವವಾದದ ಸ್ಟೇಟ್ ನಲ್ಲಿ ಎಪಿಡಿಎ ಅನಿರ್ದಿಷ್ಟವಾಗಿ ಮುಂದಿನ ಸ್ಟೇಟ್ ಅನ್ನು ಆಯ್ಕೆ ಮಾಡುತ್ತದೆ ಮತ್ತು ಫಲಿತಾಂಶದ ಲೆಕ್ಕಾಚಾರಗಳಲ್ಲಿ ''ಕನಿಷ್ಠ ಒಂದನ್ನು'' ಸ್ವೀಕರಿಸಿದರೆ ಸ್ವೀಕರಿಸುತ್ತದೆ. ಸಾರ್ವತ್ರಿಕ ಸ್ಟೇಟ್ ನಲ್ಲಿ APDA ಎಲ್ಲಾ ಮುಂದಿನ ಸ್ಟೇಟ್ ಗಳಿಗೆ ಚಲಿಸುತ್ತದೆ ಮತ್ತು ''ಎಲ್ಲಾ'' ಫಲಿತಾಂಶದ ಲೆಕ್ಕಾಚಾರಗಳು ಒಪ್ಪಿಕೊಂಡರೆ ಸ್ವೀಕರಿಸುತ್ತದೆ.

ಈ ಮಾದರಿಯನ್ನು ಚಂದ್ರ, ಕೊಜೆನ್ ಮತ್ತು [[ಲ್ಯಾರಿ ಸ್ಟಾಕ್‌ಮೇಯರ್|ಸ್ಟಾಕ್‌ಮೇಯರ್]] ಪರಿಚಯಿಸಿದರು.<ref name="ChandraKozen1981">{{Cite journal|last=Chandra|first=Ashok K.|last2=Kozen|first2=Dexter C.|last3=Stockmeyer|first3=Larry J.|title=Alternation|journal=Journal of the ACM|volume=28|issue=1|year=1981|pages=114–133|issn=0004-5411|doi=10.1145/322234.322243}}</ref> [[ರಿಚರ್ಡ್ ಇ. ಲಾಡ್ನರ್|ಲ್ಯಾಡ್ನರ್]], ಲಿಪ್ಟನ್ ಮತ್ತು [[ಲ್ಯಾರಿ ಸ್ಟಾಕ್‌ಮೇಯರ್|ಸ್ಟಾಕ್‌ಮೇಯರ್]] <ref name="LadnerLipton1984">{{Cite journal|last=Ladner|first=Richard E.|last2=Lipton|first2=Richard J.|last3=Stockmeyer|first3=Larry J.|title=Alternating Pushdown and Stack Automata|journal=SIAM Journal on Computing|volume=13|issue=1|year=1984|pages=135–155|issn=0097-5397|doi=10.1137/0213010}}</ref> ಈ ಮಾದರಿಯು ಎಕ್ಸ್‌ಪಿಟೈಮ್‌ಗೆ ಸಮನಾಗಿದೆ ಎಂದು ಸಾಬೀತುಪಡಿಸಿದರು. ಅಂದರೆ ಕೆಲವು ಎಪಿಡಿಎ ಒಂದು ಭಾಷೆಯನ್ನು ಸ್ವೀಕರಿಸಿದರೆ [[ವೇಳೆ, ಮತ್ತು ಮಾತ್ರ|, ಮತ್ತು ಎಕ್ಸ್ ಪೊನೆಂನ್ಶಿಯಲ್ -ಸಮಯದ ಅಲ್ಗಾರಿದಮ್‌ನಿಂದ ಮಾತ್ರ]] ಅದನ್ನು ನಿರ್ಧರಿಸಬಹುದು.

Aizikowitz ಮತ್ತು Kaminski <ref name="AizikowitzKaminski2011">{{Cite book|title=Computer Science – Theory and Applications|last=Aizikowitz|first=Tamar|last2=Kaminski|first2=Michael|year=2011|isbn=978-3-642-20711-2|series=Lecture Notes in Computer Science|volume=6651|pages=345–358|chapter=LR(0) Conjunctive Grammars and Deterministic Synchronized Alternating Pushdown Automata|doi=10.1007/978-3-642-20712-9_27|issn=0302-9743}}</ref> ಅವರು ''ಸಿಂಕ್ರೊನೈಸ್ಡ್ ಆಲ್ಟರ್ನೇಟಿಂಗ್ ಪುಶ್‌ಡೌನ್ ಆಟೋಮೆಟಾ'' (SAPDA)ವನ್ನು ಪರಿಚಯಿಸಿದರು. ಅದು [[ಸಂಯೋಜಕ ವ್ಯಾಕರಣ|ಸಂಯೋಜಕ ವ್ಯಾಕರಣಗಳಿಗೆ]] ಸಮನಾಗಿರುತ್ತದೆ. ಅದೇ ರೀತಿಯಲ್ಲಿ ಅನಿರ್ದಿಷ್ಟ PDA ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣಗಳಿಗೆ ಸಮನಾಗಿರುತ್ತದೆ.

== ಸಹ ನೋಡಿ ==

* [[ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣ]]
* [[ಕೌಂಟರ್ ಆಟೊಮ್ಯಾಟನ್|ಕೌಂಟರ್ ಆಟೊಮೆಟಾ]]
* [[ಫಿನೈಟ್-ಸ್ಟೇಟ್ ಯಂತ್ರ|ಫಿನೈಟ್-ಸ್ಟೇಟ್ ಮಷೀನ್]]
* [[ಕ್ಯೂ ಆಟೋಮ್ಯಾಟನ್|ಕ್ಯೂ ಆಟೋಮೆಟಾ]]
* [[ಸ್ಟಾಕ್ ಯಂತ್ರ]]

== ಟಿಪ್ಪಣಿಗಳು ==
.mw-parser-output.reflist{font-size:90%;margin-bottom:0.5em;list-style-type:decimal}.mw-parser-output.reflist.references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output.reflist-columns-2{column-width:30em}.mw-parser-output.reflist-columns-3{column-width:25em}.mw-parser-output.reflist-columns{margin-top:0.3em}.mw-parser-output.reflist-columns ol{margin-top:0}.mw-parser-output.reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output.reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output.reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output.reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output.reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output.reflist-lower-roman{list-style-type:lower-roman}

== ಉಲ್ಲೇಖಗಳು ==
<references />

* {{Cite book|url=https://archive.org/details/introductiontoth00sips|title=Introduction to the Theory of Computation|last=Michael Sipser|publisher=PWS Publishing|year=1997|isbn=0-534-94728-X|author-link=Michael Sipser|url-access=registration}} Section 2.2: Pushdown Automata, pp.&nbsp;101&#x2013;114.
* Jean-Michel Autebert, Jean Berstel, Luc Boasson, [http://www-igm.univ-mlv.fr/~berstel/Articles/1997CFLPDA.pdf Context-Free Languages and Push-Down Automata], in: G. Rozenberg, A. Salomaa (eds.), Handbook of Formal Languages, Vol. 1, Springer-Verlag, 1997, 111–174.

== ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ==

* [https://www.jflap.org JFLAP], ಅನಿರ್ದಿಷ್ಟ ಪುಶ್‌ಡೌನ್ ಆಟೋಮ್ಯಾಟಾ ಸೇರಿದಂತೆ ಹಲವಾರು ರೀತಿಯ ಆಟೋಮ್ಯಾಟಾಗಳಿಗೆ ಸಿಮ್ಯುಲೇಟರ್
* [https://www.elstel.org/coan CoAn] {{Webarchive|url=https://web.archive.org/web/20230411105228/https://www.elstel.org/coan/ |date=2023-04-11 }}, ಅನಿರ್ದಿಷ್ಟ ಪುಶ್‌ಡೌನ್ ಆಟೋಮ್ಯಾಟಾ (C++, ವಿಂಡೋಸ್, ಲಿನಕ್ಸ್, MacOS) ಸೇರಿದಂತೆ ಹಲವಾರು ಯಂತ್ರ ಪ್ರಕಾರಗಳಿಗೆ ಮತ್ತೊಂದು ಸಿಮ್ಯುಲೇಟರ್

[[ವರ್ಗ:Pages with unreviewed translations]]