Zásobníkový automat: Rozdiel medzi revíziami

 

Nedeterministický ZA možno determinizovať, neplatí však, že ku každému nedeterministickému ZA existuje deterministický ZA. Platí, že ku každej bezkontextovej gramatike G =(N, T, P, S) existuje nedeterministický ZA M taký, že L(M)=G(M).

 

{{Formálne jazyky a gramatiky}}