Generalizirani nedeterministički konačni automat
U teoriji računanja, generalizirani nedeterministički konačni automat (GNKA) je NKA u kojem svaki prijelaz može biti označen regularnim izrazom. GNKA čita blokove znakova (simbola) sa ulaza koji sačinjavaju niz znakova (string) kao što definiše regularni izraz nad prijelazom.