Детерминистички потисни аутомат — разлика између измена
Садржај обрисан Садржај додат
мНема описа измене |
м Правопис и/или генералне преправке |
||
Ред 1:
У [[теорија аутомата|теорији аутомата]], '''детерминистички [[потисни аутомат]]''' је [[коначни детерминистички аутомат]] који у свом раду користи [[стек (структура података)|стек]].
Израз ''потисни'' се односи на операцију уношења података у стек, ({{Јез-ен|push}}, потиснути), која додаје податак на врх стека. Термин "детерминистички потисни аутомат" се у теорији рачунарства односи на
апстрактни математички аутомат који препознаје детерминистичке контекстно-независне језике.
Детерминистички потисни аутомат је одређена верзија потисног аутомата. Интересантно је да детерминистички потисни аутомати спадају у праву подгрупу потисних аутомата ѕа разлику од детерминистички коначних аутомата и недетерминистички коначних аутомата.
Ред 18:
*<math>Z_0\,\in\Gamma\,</math> је почетни симбол потисне листе
*<math>K\,\subseteq Q \times \Gamma ^{*}</math>, скуп завршних конфигурација
*<math>\Delta\,\subseteq Q\, \times (
Петорка <math>(q,a,Z,r,\gamma) \in \Delta</math> се назива правило, а ако је <math> a=\epsilon\ </math> онда <math>\epsilon </math>-правило.
Конфигурација потисног аутомата М је тројка <math>(q,\omega,\gamma) \in Q \times \Sigma ^{*} \times \Gamma ^{*}</math>
где је <math> \omega\ </math> реч коју ће аутомат прочитати, а <math>( q, \gamma
''M'' је '''''детерминистички''''' ако задовољава оба следећа услова:
| |||