白银、嘉峪关、武威3市市委主要负责同志职务调整
Utsj?nad
Automatteori: formelle spr?k og formell grammatikk | |||
---|---|---|---|
Chomsky- hierarkiet |
Grammatikkar | Spr?k | Minimal automat |
Type-0 | Uavgrensa | Rekursivt nummererbare | Turingmaskin |
(ikkje med) | (ikkje noko felles namn) | Rekursive | Decider |
Type-1 | Kontekst-sensitiv | Kontekst-sensitive | Line?rt bunde |
Type-2 | Kontekst-fri | Kontekst-fri | Pushdown |
Type-3 | Regul?r | Regul?r | Finitt |
Kvar kategori av spr?k eller grammatikkar er eit ordentleg subsett av kategorien rett over han. |