Potisni automat: razlika između inačica

Nema promjene veličine ,  prije 15 godina
m
*<math>F</math> je podskup skupa <math>Q</math> koji čini skup prihvatljivih stanja
 
Dva su moguća kriterija prihvaćanja niza znakova: prihvaćanje ''praznim stogom'' i prihvaćanje ''prihvatljivim stanjem''. Lako se može pokazati da su oba kriterija istovjetna: konačno stanje može u petlji uzimati znakove sa vrha stoga sve dok se sadržaj stoga ne isprazni, a i stroj može detektirati prazni stog i preći u prihvatljivo stanje detektiranjem jedinstvenog znaka kojeg na vrh stoga dodaje početno satnjestanje.
 
Ponegdje se u formalnoj definiciji potisnog automata koristi i uređena šestorka, izuzimajući <math>\Omega</math> kao početni znak stoga, i umjesto istaknutog znaka stogovne abecede dodaju prvi prijelaz koji dodaje početni znak na vrh stoga.
3.196

uređivanja