Šablona:Formální jazyky a gramatiky
Z Wikipedie, otevřené encyklopedie
Skočit na:
Navigace
,
Hledání
Tento článek
potřebuje úpravy.
Můžete Wikipedii pomoci tím, že ho
vylepšíte
.
Jak by měly články vypadat, popisují stránky
Vzhled a styl
,
Encyklopedický styl
a
Odkazy
.
κ
Teorie automatů
:
formální jazyky
a
formální gramatiky
Chomského hierarchie
typ 0
-
typ 1
-
-
typ 2
-
-
typ 3
-
gramatika
frázová
- bez zvláštního názvu -
kontextová
indexovaná
stromová
apod.
bezkontextová
deterministická bezkontextová
- bez zvláštního názvu -
regulární
(
výraz
)
-
jazyk
rekurzivně spočetný
rekurzivní
kontextový
indexovaný
(
částečně kontextový
)
bezkontextový
deterministický bezkontextový
viditelný zásobník
,
vkládané slovo
regulární
bezhvězdičkový
, neiterativní
nejjednodušší možný
automat
Turingův stroj
stroj, který vždy skončí
,
rozhodovač
lineárně ohraničený Turingův stroj
vnořený zásobník
vložený zásobník
zásobníkový automat
, nedeterministický
deterministický zásobníkový automat
viditelný zásobník
,
vkládané slovo
konečný automat
neperiodický konečný automat
Každá úroveň jazyků je
podmnožinou
své nadřazené úrovně.
-
Každý automat a každá gramatika má svůj ekvivalent v nadřazené úrovni.
[
editovat
]
Související šablony
(anglicky)
Template:Formal languages and grammars
, EN-WP, verze 354365103
Kategorie
:
Šablony Informatiky
Navigační šablony
Formální jazyky
Vědecké modelování
Osobní nástroje
Přihlášení / vytvoření účtu
Jmenné prostory
Šablona
Diskuse
Varianty
Zobrazení
Číst
Editovat
Zobrazit historii
Akce
Hledání
Navigace
Hlavní strana
Portál Wikipedie
Aktuality
Pod lípou
Poslední změny
Náhodný článek
Nápověda
Podpořte Wikipedii
Nástroje
Odkazuje sem
Související změny
Načíst soubor
Speciální stránky
Trvalý odkaz
V jiných jazycích
English
Suomi
Hrvatski
한국어
Македонски
Norsk (nynorsk)
Norsk (bokmål)
Polski
Português
Русский
Slovenčina
Српски / Srpski
中文