Pushdown automat

V informatika, pushdown automaty (PDA) jsou abstraktní zařízení definovaná v teorie automatů to rozpoznat kontext-uvolnit jazyky.

Oni jsou podobní k konečné automaty, kromě toho oni mají přístup k potenciálně neomezenému množství paměti ve formě jeden hromada. Non-deterministický pushdown automaty (NPDA) být silnější než deterministický pushdown automaty: tam existovat jazyky, které jsou rozpoznány některými non-deterministický pushdown automat ale to nemůže být rozpoznáno některým deterministický pushdown automat.

Jestliže my dovolíme konečný automat přístup ke dvěma hromadám instead spravedlivého, my dostaneme zařízení hodně silnější než pushdown automat - my dostaneme ekvivalent k Turing stroj.

NPDA W moci být definován jak 7-funkce n-tice:

kde

• Q je konečný soubor států
• & Sigmais konečný soubor abecedy vstupu
• & Phiis konečný soubor abecedy hromady
• & sigmais konečný přechodový vztah (Q × (& Sigma & {& epsilon }) × & Phi) × (Q × & Phi^* )
• s je element Q; stát začátku
• & Omegais inital kupit symbol
• F je podmnožina Q, sestávat z finále říká.