Logo
Uniepedie
Sdělení
Nyní na Google Play
Nový! Ke stažení Uniepedie na vašem zařízení se systémem Android™!
Stažení
Rychlejší přístup než prohlížeči!
 

Formální jazyk

Index 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.

24 vztahy: Abeceda, Abeceda (formální jazyky), Automat, Řetězec symbolů, Chomského hierarchie, Formální gramatika, Informatika, Jazyk (lingvistika), Kleeneho hvězdička, Konečný automat, Konečný jazyk, Lexikální analýza, Logika, Matematika, Množina, Přirozené číslo, Podmnožina, Programovací jazyk, Redukovaná gramatika, Regulární výraz, Syntaktická analýza, Turingův stroj, Volný monoid, Zpracování přirozeného jazyka.

Abeceda

Vzorník písma Abeceda, řídce i „alfabeta“, je uspořádaná sada znaků – písmen, jimiž se při zápisu řeči, v písmu graficky vyjadřují fonémy, zpravidla hlásky (některé jen souhlásky) a případně slabiky.

Nový!!: Formální jazyk a Abeceda · Vidět víc »

Abeceda (formální jazyky)

Abeceda je v teorii formálních jazyků konečná množina znaků.

Nový!!: Formální jazyk a Abeceda (formální jazyky) · Vidět víc »

Automat

Píšící panenka(Jacques Droz, 18. století) Slovo automat (z řeckého automatos, samohybný) označuje technické zařízení, stroj nebo přístroj, který je zařízen tak, že na nějaký spouštěcí impulz samostatně a spolehlivě vykonává předem určené činnosti, a to bez přímého lidského zasahování.

Nový!!: Formální jazyk a Automat · Vidět víc »

Řetězec symbolů

Řetězec je v teorii formálních jazyků, jedné z oblastí teoretické informatiky, konečná posloupnost symbolů určité abecedy.

Nový!!: Formální jazyk a Řetězec symbolů · Vidět víc »

Chomského hierarchie

Chomského hierarchie tříd jazyků Chomského hierarchie je hierarchie tříd formálních gramatik generujících formální jazyky.

Nový!!: Formální jazyk a Chomského hierarchie · Vidět víc »

Formální gramatika

Formální gramatika v informatice označuje strukturu, která popisuje formální jazyk.

Nový!!: Formální jazyk a Formální gramatika · Vidět víc »

Informatika

Informatika je obor lidské činnosti, který se zabývá pojmem informace a přenosem a zpracováním informace.

Nový!!: Formální jazyk a Informatika · Vidět víc »

Jazyk (lingvistika)

Jazyk a písmo pojí velmi těsný vztah Jazyk je abstraktní struktura (řád mezi vhodnými primitivy) schopná nést informaci, a tak ji uchovávat a přenášet – sdělovat.

Nový!!: Formální jazyk a Jazyk (lingvistika) · Vidět víc »

Kleeneho hvězdička

Kleeneho hvězdička, Kleeneho operátor, Kleeneho uzávěr je unární operátor používaný v různých odvětvích matematické logiky a matematické informatiky, který lze aplikovat na symbol, část regulárního výrazu nebo na množinu symbolů či řetězců.

Nový!!: Formální jazyk a Kleeneho hvězdička · 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ý!!: Formální jazyk a Konečný automat · Vidět víc »

Konečný jazyk

Konečný jazyk je formální jazyk obsahující konečný počet slov.

Nový!!: Formální jazyk a Konečný jazyk · Vidět víc »

Lexikální analýza

Lexikální analýza je činnost, kterou provádí tzv.

Nový!!: Formální jazyk a Lexikální analýza · Vidět víc »

Logika

Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.

Nový!!: Formální jazyk a Logika · Vidět víc »

Matematika

Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).

Nový!!: Formální jazyk a Matematika · Vidět víc »

Množina

Množiny Množina je soubor objektů, chápaný jako celek.

Nový!!: Formální jazyk a Množina · Vidět víc »

Přirozené číslo

Přirozeným číslem se v matematice rozumí číslo, které je možné použít pro vyjádření počtu („na stole je šest mincí“) nebo pořadí („toto je třetí největší město“) prvků konečných množin.

Nový!!: Formální jazyk a Přirozené číslo · Vidět víc »

Podmnožina

B je podmnožina A, A je nadmnožina B V matematice se jako podmnožina množiny A označuje taková množina B, o jejíchž všech prvcích platí, že jsou zároveň i prvky množiny A. Obdobně se může množina A označit jako nadmnožina množiny B. Tato fakta značíme B \subseteq A, případně A \supseteq B. Relace „být podmnožinou“ se nazývá také inkluze.

Nový!!: Formální jazyk a Podmnožina · Vidět víc »

Programovací jazyk

Programovací jazyk je prostředek pro zápis algoritmů, jež mohou být provedeny na počítači.

Nový!!: Formální jazyk a Programovací jazyk · Vidět víc »

Redukovaná gramatika

Redukovaná gramatika je taková gramatika, která je bez nedosažitelných neterminálů a kde každý neterminál má konečný rozvoj, tj.

Nový!!: Formální jazyk a Redukovaná gramatika · Vidět víc »

Regulární výraz

Regulární výraz (zkratky regexp, regex či RE z anglického) je textový řetězec, který slouží jako vzor pro vyhledávání textu.

Nový!!: Formální jazyk a Regulární výraz · Vidět víc »

Syntaktická analýza

Syntaktická analýza použitá pro převod zápisu matematického výrazu na syntaktický strom. Syntaktická analýza (slangově podle angličtiny též parsování nebo parsing) se v informatice a v lingvistice nazývá proces analýzy posloupnosti formálních prvků s cílem určit jejich gramatickou strukturu vůči předem dané (byť ne nutně explicitně vyjádřené) formální gramatice.

Nový!!: Formální jazyk a Syntaktická analýza · 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ý!!: Formální jazyk a Turingův stroj · Vidět víc »

Volný monoid

Volný monoid na množině je v abstraktní algebře monoid, jehož prvky jsou všechny konečné posloupnosti (neboli řetězce) prvků této množiny, přičemž monoidovou operací je operace zřetězení a neutrální prvek tvořený posloupností nula prvků se nazývá prázdný řetězec, a označuje se obvykle ε nebo λ.

Nový!!: Formální jazyk a Volný monoid · Vidět víc »

Zpracování přirozeného jazyka

Počítačové zpracování přirozeného jazyka (anglicky Natural language processing, NLP) je soubor technik na pomezí (počítačové) lingvistiky, informatiky (umělé inteligence), popř.

Nový!!: Formální jazyk a Zpracování přirozeného jazyka · Vidět víc »

OdchozíPřicházející
Ahoj! Jsme na Facebooku teď! »