Rychlejší přístup než prohlížeči!
18 vztahy: Bezkontextová gramatika, Bezkontextový jazyk, Formální gramatika, Formální jazyk, Gramatika spojování stromů, Konečný automat, Kontextová gramatika, Kontextový jazyk, Lineárně ohraničený Turingův stroj, Noam Chomsky, Regulární gramatika, Regulární jazyk, Rekurzivní jazyk, Rekurzivně spočetný jazyk, Terminální a neterminální symbol, Turingův stroj, Zásobníkový automat, 1956.
Bezkontextová gramatika
V lingvistice a informatice označuje pojem bezkontextová gramatika formální gramatiku, ve které mají všechna přepisovací pravidla tvar kde A je neterminál a β je řetězec složený z terminálů a/nebo neterminálů.
Nový!!: Chomského hierarchie a Bezkontextová gramatika · Vidět víc »
Bezkontextový jazyk
Bezkontextový jazyk je formální jazyk, který je akceptovaný nějakým zásobníkovým automatem.
Nový!!: Chomského hierarchie a Bezkontextový jazyk · Vidět víc »
Formální gramatika
Formální gramatika v informatice označuje strukturu, která popisuje formální jazyk.
Nový!!: Chomského hierarchie a Formální gramatika · Vidět víc »
Formální jazyk
Formální jazyk je v matematice, logice a informatice libovolná množina konečných řetězců (tj. řetězců konečné délky) nad určitou abecedou.
Nový!!: Chomského hierarchie a Formální jazyk · Vidět víc »
Gramatika spojování stromů
Gramatika spojování stromů, anglicky Tree-adjoining grammar (TAG), je gramatický formalismus definovaný Aravindem Joshim.
Nový!!: Chomského hierarchie a Gramatika spojování stromů · Vidět víc »
Konečný automat
Konečný automat (KA, též FSM z anglického finite state machine, či DFA z anglického deterministic finite automaton) je teoretický výpočetní model používaný v informatice pro studium formálních jazyků.
Nový!!: Chomského hierarchie a Konečný automat · Vidět víc »
Kontextová gramatika
Kontextová gramatika je formální gramatika G.
Nový!!: Chomského hierarchie a Kontextová gramatika · Vidět víc »
Kontextový jazyk
Kontextový jazyk je formální jazyk, který je vygenerovatelný nějakou kontextovou gramatikou.
Nový!!: Chomského hierarchie a Kontextový jazyk · Vidět víc »
Lineárně ohraničený Turingův stroj
Pojem lineárně ohraničený Turingův stroj označuje v informatice Turingův stroj, který má omezení při zápisu na pásku.
Nový!!: Chomského hierarchie a Lineárně ohraničený Turingův stroj · Vidět víc »
Noam Chomsky
Avram Noam Chomsky (* 7. prosince 1928 Philadelphia) je americký filozof, kognitivní vědec, lingvista, logik, společenský kritik a aktivista židovského původu, tvůrce tzv.
Nový!!: Chomského hierarchie a Noam Chomsky · Vidět víc »
Regulární gramatika
Regulární gramatika je typ formální gramatiky.
Nový!!: Chomského hierarchie a Regulární gramatika · Vidět víc »
Regulární jazyk
Regulární jazyky jsou nejjednodušší formální jazyky v rámci Chomského hierarchie.
Nový!!: Chomského hierarchie a Regulární jazyk · Vidět víc »
Rekurzivní jazyk
Formální jazyk L je rekurzivní, pokud existuje Turingův stroj (dále TS), který akceptuje právě slova z tohoto jazyka, a jehož výpočet nad libovolným řetězcem skončí po konečném počtu kroků.
Nový!!: Chomského hierarchie a Rekurzivní jazyk · Vidět víc »
Rekurzivně spočetný jazyk
Formální jazyk L je rekurzivně spočetný, jestliže pro něj existuje Turingův stroj (dále TS), který všechna slova z tohoto jazyka přijímá (akceptuje).
Nový!!: Chomského hierarchie a Rekurzivně spočetný jazyk · Vidět víc »
Terminální a neterminální symbol
Terminální a neterminální symboly jsou prvky používané v teorii formální jazyků pro popis jazyka pomocí formální gramatiky.
Nový!!: Chomského hierarchie a Terminální a neterminální symbol · Vidět víc »
Turingův stroj
Umělecké znázornění Turingova stroje Turingův stroj (TS) je teoretický model počítače popsaný matematikem Alanem Turingem, který se používá pro modelování algoritmů v teorii vyčíslitelnosti.
Nový!!: Chomského hierarchie a Turingův stroj · Vidět víc »
Zásobníkový automat
Zásobníkový automat (PDA z anglického pushdown automaton) je teoretický výpočetní model používaný v informatice pro studium vyčíslitelnosti a obecně formálních jazyků.
Nový!!: Chomského hierarchie a Zásobníkový automat · Vidět víc »
1956
1956 (MCMLVI) byl rok, který dle gregoriánského kalendáře započal nedělí.
Nový!!: Chomského hierarchie a 1956 · Vidět víc »
