32 vztahy: Automat, Bezkontextová gramatika, Bezkontextový jazyk, Chomského hierarchie, Diskrétní matematika, Faktoriál, Formální jazyk, Formální verifikace, Konečný automat, Kontextová gramatika, Kontextový jazyk, Lemma o vkládání, Lineárně ohraničený Turingův stroj, Matematická informatika, Matematika, Množina, Nespočetná množina, Pí (číslo), Posloupnost, Pravděpodobnost, Regulární gramatika, Regulární jazyk, Regulární výraz, Rekurzivně spočetný jazyk, Symbol, Syntaktická analýza, Teoretická informatika, Terminální a neterminální symbol, Turingův stroj, Umělá inteligence, Uspořádaná n-tice, Zásobníkový automat.
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ý!!: Teorie automatů a Automat · Vidět víc »
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ý!!: Teorie automatů 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ý!!: Teorie automatů a Bezkontextový jazyk · 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ý!!: Teorie automatů a Chomského hierarchie · Vidět víc »
Diskrétní matematika
Diskrétní matematika je zastřešující pojem pro obory matematiky nakládající fundamentálně s množinami, nad nimiž není zavedeno uspořádání (jejich prvky nelze seřazovat), nebo množinami uspořádanými, avšak nikoli hustě (neplatí, že pro každé dva různé prvky je v množině přítomen také prvek, jenž dle daného konkrétního uspořádání patří mezi tyto dva prvky).
Nový!!: Teorie automatů a Diskrétní matematika · Vidět víc »
Faktoriál
V matematice je faktoriál čísla n (značeno pomocí vykřičníku: n!) číslo, rovné součinu všech kladných celých čísel menších nebo rovných n, pokud je n kladné, a rovno 1 pro n.
Nový!!: Teorie automatů a Faktoriál · 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ý!!: Teorie automatů a Formální jazyk · Vidět víc »
Formální verifikace
V oblasti počítačových systémů formální verifikace dokazuje nebo vyvrací správnost systému vzhledem k dané formální specifikaci nebo vlastnosti, použitím matematických formálních metod.
Nový!!: Teorie automatů a Formální verifikace · 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ý!!: Teorie automatů a Konečný automat · Vidět víc »
Kontextová gramatika
Kontextová gramatika je formální gramatika G.
Nový!!: Teorie automatů a Kontextová gramatika · Vidět víc »
Kontextový jazyk
Kontextový jazyk je formální jazyk, který je vygenerovatelný nějakou kontextovou gramatikou.
Nový!!: Teorie automatů a Kontextový jazyk · Vidět víc »
Lemma o vkládání
V teorii formálních jazyků je lemma o vkládání (pumping lemma) výrok, že každý jazyk z dané třídy jazyků může být „napumpován“: každé dostatečně dlouhé slovo v daném jazyce může být rozděleno na části, jejichž zopakováním lze získat opět nějaké slovo z jazyka.
Nový!!: Teorie automatů a Lemma o vkládání · 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ý!!: Teorie automatů a Lineárně ohraničený Turingův stroj · Vidět víc »
Matematická informatika
Matematická informatika (odtud též počítačová věda) je vědní obor, který se zabývá metodami zpracování informací a prostředky, které k tomu lze používat.
Nový!!: Teorie automatů a Matematická informatika · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Teorie automatů a Matematika · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Teorie automatů a Množina · Vidět víc »
Nespočetná množina
Nespočetná množina je množina, kterou nelze vzájemně jednoznačně zobrazit na žádnou podmnožinu množiny přirozených čísel.
Nový!!: Teorie automatů a Nespočetná množina · Vidět víc »
Pí (číslo)
π Ludolfovo číslo, značené π (čteme pí) je matematická konstanta, která udává poměr obvodu jakéhokoli kruhu v eukleidovské rovině k jeho průměru; také je to hodnota poměru obsahu kruhu ke čtverci jeho poloměru.
Nový!!: Teorie automatů a Pí (číslo) · Vidět víc »
Posloupnost
Posloupnost (sekvence) je v matematice konečná nebo nekonečná sada objektů, v níž záleží na pořadí a objekty se mohou opakovat.
Nový!!: Teorie automatů a Posloupnost · Vidět víc »
Pravděpodobnost
Hazardní hry jsou založené na pravděpodobnosti Pravděpodobnost náhodného jevu je číslo vyjadřující očekávatelnost určitého jevu, obvykle výsledku náhodného pokusu.
Nový!!: Teorie automatů a Pravděpodobnost · Vidět víc »
Regulární gramatika
Regulární gramatika je typ formální gramatiky.
Nový!!: Teorie automatů 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ý!!: Teorie automatů a Regulární jazyk · 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ý!!: Teorie automatů a Regulární výraz · 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ý!!: Teorie automatů a Rekurzivně spočetný jazyk · Vidět víc »
Symbol
Symbol (z řec. σύμβολον, lat. symbolum) je obvykle vizuální znak, znamení, emblém nebo značka, která odkazuje na určitý konvenční nebo tradiční význam.
Nový!!: Teorie automatů a Symbol · 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ý!!: Teorie automatů a Syntaktická analýza · Vidět víc »
Teoretická informatika
Teoretická informatika je oblast matematické informatiky a matematiky, která se zaměřuje na abstraktnější a matematické aspekty zpracování informací, které mají využití v počítačích a zpracování informací.
Nový!!: Teorie automatů a Teoretická informatika · 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ý!!: Teorie automatů 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ý!!: Teorie automatů a Turingův stroj · Vidět víc »
Umělá inteligence
Umělá inteligence (artificial intelligence, AI) je obor informatiky zabývající se tvorbou systémů řešících komplexní úlohy jako je rozpoznávání či klasifikace, např.
Nový!!: Teorie automatů a Umělá inteligence · Vidět víc »
Uspořádaná n-tice
Jako uspořádaná n-tice se v matematice označuje uspořádaný seznam konečného počtu n objektů (je proto možné se také setkat s pojmy jako uspořádaná k-tice apod., konkrétní varianty se pak nazývají uspořádané dvojice, uspořádané trojice atd.). Zapisuje se obvykle jako seznam těchto prvků, uzavřený do kulatých závorek.
Nový!!: Teorie automatů a Uspořádaná n-tice · 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ý!!: Teorie automatů a Zásobníkový automat · Vidět víc »