Детерминистички потисни аутомат — разлика између измена
Нема описа измене |
|||
Ред 1: | Ред 1: | ||
У [[теорија аутомата|теорији аутомата]], '''детерминистички потисни аутомат''' је [[коначни детерминистички аутомат]] |
У [[теорија аутомата|теорији аутомата]], '''детерминистички потисни аутомат''' је [[коначни детерминистички аутомат]] који у свом раду користи [[стек (структура података)|стек]]. |
||
Израз ''потисни'' се односи на операцију уношења података у стек, ({{Јез-ен|push}}, потиснути), која додаје податак на врх стека.Термин "детерминистички потисни аутомат" се у теорији рачунарства односи на |
Израз ''потисни'' се односи на операцију уношења података у стек, ({{Јез-ен|push}}, потиснути), која додаје податак на врх стека.Термин "детерминистички потисни аутомат" се у теорији рачунарства односи на |
||
апстрактни математички аутомат који препознаје детерминистичке контекстно-независне језике. |
апстрактни математички аутомат који препознаје детерминистичке контекстно-независне језике. |
||
Детерминистички потисни аутомат је одређена верзија потисног аутомата.Интересантно је да детерминистички потисни аутомати спадају у праву подгрупу потисних аутомата ѕа разлику од детерминистички коначних аутомата и недетерминистички коначних аутомата. |
Детерминистички потисни аутомат је одређена верзија потисног аутомата. Интересантно је да детерминистички потисни аутомати спадају у праву подгрупу потисних аутомата ѕа разлику од детерминистички коначних аутомата и недетерминистички коначних аутомата. |
||
Верзија на датум 7. јун 2008. у 10:20
У теорији аутомата, детерминистички потисни аутомат је коначни детерминистички аутомат који у свом раду користи стек.
Израз потисни се односи на операцију уношења података у стек, (енгл. push, потиснути), која додаје податак на врх стека.Термин "детерминистички потисни аутомат" се у теорији рачунарства односи на апстрактни математички аутомат који препознаје детерминистичке контекстно-независне језике. Детерминистички потисни аутомат је одређена верзија потисног аутомата. Интересантно је да детерминистички потисни аутомати спадају у праву подгрупу потисних аутомата ѕа разлику од детерминистички коначних аутомата и недетерминистички коначних аутомата.
Дефиниција
Детерминистички потисни аутомат 'M' се може дефинисати као уређена седморка:
где важи:
- је коначан скуп стања
- је коначан скуп улазних знакова(улазна азбука)
- је коначан скуп стековних симбола
- је почетно стаље
- је почетни симбол стека
- , где је скуп прихватних, завршних стања
- је функција прелаза где је
M је детерминистички ако задовољава оба следећа услова:
- За свако ,скуп садржи бар један елемент.
- За свако , ако је , тада је за свако
Постоје два могућа критеријума за прихватање знакова:прихватање празном потисном листом и прихватање завршним стањем. Ова два критеријума нису једнака за детерминистичке потисне аутомате иако јесу за недетерминистичке потисне аутомате.