Chomsky-hirarhiju
Sa Wikipedije, slobodne enciklopedije
Definicija: Jedna gramatika G se sastoji od (Z,A,P,S) Z = konačni broj znakova, A = konačni broj znakova, P = je konačni broj pravila, S = znak iz Z, koji je startni zna.
[uredi] Tabela
Gramatika | Pravila | Automati |
---|---|---|
Tip 0 | Turing mašina | |
Tip 1 | linearna konačna nedeterministična Turing mašina (LKNM) | |
Tip 2 | nedeterministični podrumski automat | |
Tip 3 | Konačni automat |