Nedeterministički konačni automat
U teoriji računanja, nedeterministički konačni automat (NKA) je konačni automat u kojem za svaki par stanja i ulaznog znaka (simbola) može postojati nekoliko mogućih sljedećih stanja.