Szablon:Języki formalne i gramatyki

Informacje diagnostyczne

definicja szablonu

Szablon nawigacyjny

zadeklarowane kategorie

1

• informatyka

kategorie w kodzie

0

---

głębokość drzewa

1

liczba liści

4

prywatny CSS

jezyki_formalne_i_gramatyki

---

brak wikilinków

1

• spis1

puste pola

dół

Kanoniczne zestawienie parametrów

| nazwa = Języki formalne i gramatyki
| tytuł = [[Teoria automatów]]: [[Język formalny|języki formalne]] i [[Gramatyka formalna|gramatyki formalne]]
| opis1 = [[Hierarchia Chomsky’ego]]
| spis1 =
* Typ 0
* Typ 1
* Typ 2
* Typ 3

| opis2 = [[Gramatyka formalna]]
| spis2 =
* [[Gramatyka kombinatoryczna|kombinatoryczna]]
* [[Gramatyka kontekstowa|kontekstowa]]
* [[Gramatyka bezkontekstowa|bezkontekstowa]]
* [[Deterministyczna gramatyka bezkontekstowa|deterministyczna bezkontekstowa]]
* [[Gramatyka regularna|regularna]]

| opis3 = [[Język formalny]]
| spis3 =
* [[Język rekurencyjnie przeliczalny|rekurencyjnie przeliczalny]]
* [[Język rekurencyjny|rekurencyjny]]
* [[język kontekstowy]]
* [[Język bezkontekstowy|bezkontekstowy]]
* [[Deterministyczny język bezkontekstowy|deterministyczny bezkontekstowy]]
* [[Język regularny|regularny]]

| opis4 = Minimalny [[Automat skończony|automat]] akceptujący
| spis4 =
* [[maszyna Turinga]]
* rozstrzygająca [[maszyna Turinga]]
* [[Automat liniowo ograniczony|liniowo ograniczony]]
* [[Automat ze stosem|niedeterministyczny ze stosem]]
* [[Deterministyczny automat ze stosem|deterministyczny ze stosem]]
* [[Automat skończony|skończony]]

| dół =


| kategoria = informatyka