@prefix dbpedia-owl: .
@prefix dbpedia-cs: .
dbpedia-cs:Büchiho_automat dbpedia-owl:wikiPageWikiLink dbpedia-cs:Teorie_automatů .
dbpedia-cs:Mullerův_automat dbpedia-owl:wikiPageWikiLink dbpedia-cs:Teorie_automatů .
@prefix rdfs: .
dbpedia-cs:Teorie_automatů rdfs:label "Teorie automat\u016F"@cs ;
rdfs:comment "Teorie automat\u016F (anglicky automata theory) je studium abstraktn\u00EDch stroj\u016F a automat\u016F, v\u010Detn\u011B v\u00FDpo\u010Detn\u00EDch probl\u00E9m\u016F, kter\u00E9 mohou b\u00FDt pomoc\u00ED nich \u0159e\u0161en\u00E9. Jedn\u00E1 se o obor teoretick\u00E9 informatiky, kter\u00E1 pat\u0159\u00ED do diskr\u00E9tn\u00ED matematiky (p\u0159edm\u011Bt studia matematiky i matematick\u00E9 informatiky). Slovo automaty poch\u00E1z\u00ED z \u0159eck\u00E9ho slova \u03B1\u1F50\u03C4\u03CC\u03BC\u03B1\u03C4\u03B1, kter\u00E9 znamen\u00E1 \u201Esamo\u010Dinn\u00FD\u201C.Obr\u00E1zek vpravo zn\u00E1zor\u0148uje kone\u010Dn\u00FD automat, kter\u00FD pat\u0159\u00ED k dob\u0159e zn\u00E1m\u00E9mu typu automat\u016F."@cs .
@prefix owl: .
dbpedia-cs:Teorie_automatů owl:sameAs dbpedia-cs:Teorie_automatů .
@prefix xsd: .
dbpedia-cs:Teorie_automatů dbpedia-owl:wikiPageLength "13083"^^xsd:nonNegativeInteger .
@prefix prop-cs: .
@prefix ns6: .
dbpedia-cs:Teorie_automatů prop-cs:wikiPageUsesTemplate ns6:Cizojazyčně ,
ns6:Formální_jazyky_a_gramatiky ,
ns6:Autoritní_data ,
ns6:Vjazyce ,
ns6:Překlad ;
dbpedia-owl:wikiPageWikiLinkText "Teorie automat\u016F"@cs ,
"teorie automat\u016F"@cs ,
"teorii automat\u016F"@cs ;
dbpedia-owl:wikiPageOutDegree "65"^^xsd:nonNegativeInteger ;
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Lineárně_ohraničený_Turingův_stroj ,
dbpedia-cs:Zásobníkový_automat ,
dbpedia-cs:Minimalizace ,
dbpedia-cs:Pravděpodobnost ,
dbpedia-cs:Rekurzivně_spočetný_jazyk ,
dbpedia-cs:Matematika ,
dbpedia-cs:Matematická_informatika ,
dbpedia-cs:N-tice ,
,
dbpedia-cs:Syntaktická_analýza ,
dbpedia-cs:Formální_jazyk ,
dbpedia-cs:Alternující_automat ,
,
dbpedia-cs:Deterministický_konečný_automat ,
dbpedia-cs:Efektivní_metoda ,
dbpedia-cs:Geometrický_automat ,
dbpedia-cs:Konstrukce_překladačů ,
dbpedia-cs:Kvantový_konečný_automat ,
dbpedia-cs:Regulární_jazyk ,
dbpedia-cs:Matematický_objekt ,
dbpedia-cs:Konečný_automat ,
dbpedia-cs:Abstraktní_stroj ,
dbpedia-cs:Regulární_gramatika ,
,
dbpedia-cs:Diskrétní_matematika ,
dbpedia-cs:Kontextový_jazyk ,
dbpedia-cs:Topologický_automat ,
,
dbpedia-cs:Turingův_stroj ,
dbpedia-cs:Teorie_algoritmů ,
,
dbpedia-cs:Nekonečný_stromový_automat ,
dbpedia-cs:Omega_automat ,
dbpedia-cs:Omega_jazyk ,
dbpedia-cs:Rozpoznávaný_jazyk ,
dbpedia-cs:Spočetný ,
,
dbpedia-cs:Bezkontextový_jazyk ,
,
dbpedia-cs:Symbol ,
dbpedia-cs:Lemma_o_vkládání ,
dbpedia-cs:Stromový_automat ,
dbpedia-cs:Formální_verifikace ,
dbpedia-cs:Bezkontextová_gramatika ,
dbpedia-cs:Kontextová_gramatika ,
dbpedia-cs:Umělá_inteligence ,
dbpedia-cs:Regulární_výraz ,
dbpedia-cs:Nespočetná_množina ,
dbpedia-cs:Faktoriál ,
dbpedia-cs:Chomského_hierarchie ,
dbpedia-cs:Přechodová_funkce .
@prefix category-cs: .
dbpedia-cs:Teorie_automatů dbpedia-owl:wikiPageWikiLink category-cs:Teoretická_informatika ,
dbpedia-cs:Teoretická_informatika ,
dbpedia-cs:Automat ,
dbpedia-cs:Řetězec .
@prefix prov: .
dbpedia-cs:Teorie_automatů prov:wasDerivedFrom .
@prefix dcterms: .
dbpedia-cs:Teorie_automatů dcterms:subject category-cs:Teoretická_informatika .
@prefix foaf: .
dbpedia-cs:Teorie_automatů foaf:depiction ;
dbpedia-owl:thumbnail ;
dbpedia-owl:abstract "Teorie automat\u016F (anglicky automata theory) je studium abstraktn\u00EDch stroj\u016F a automat\u016F, v\u010Detn\u011B v\u00FDpo\u010Detn\u00EDch probl\u00E9m\u016F, kter\u00E9 mohou b\u00FDt pomoc\u00ED nich \u0159e\u0161en\u00E9. Jedn\u00E1 se o obor teoretick\u00E9 informatiky, kter\u00E1 pat\u0159\u00ED do diskr\u00E9tn\u00ED matematiky (p\u0159edm\u011Bt studia matematiky i matematick\u00E9 informatiky). Slovo automaty poch\u00E1z\u00ED z \u0159eck\u00E9ho slova \u03B1\u1F50\u03C4\u03CC\u03BC\u03B1\u03C4\u03B1, kter\u00E9 znamen\u00E1 \u201Esamo\u010Dinn\u00FD\u201C.Obr\u00E1zek vpravo zn\u00E1zor\u0148uje kone\u010Dn\u00FD automat, kter\u00FD pat\u0159\u00ED k dob\u0159e zn\u00E1m\u00E9mu typu automat\u016F. Tento automat sest\u00E1v\u00E1 ze stav\u016F (reprezentovan\u00FDch na obr\u00E1zku kru\u017Enicemi) a p\u0159echod\u016F (reprezentovan\u00FDch \u0161ipkami). Kdy\u017E automat na\u010Dte symbol ze vstupu, provede p\u0159echod (nebo skok) do jin\u00E9ho stavu, podle sv\u00E9 p\u0159echodov\u00E9 funkce, kter\u00E1 m\u00E1 jako parametry aktu\u00E1ln\u00ED stav a na\u010Dten\u00FD symbol.Teorie automat\u016F m\u00E1 t\u011Bsnou souvislost s teori\u00ED form\u00E1ln\u00EDch jazyk\u016F. Automat je kone\u010Dnou reprezentac\u00ED form\u00E1ln\u00EDho jazyka, kter\u00FD m\u016F\u017Ee obsahovat nekone\u010Dn\u00FD po\u010Det slov. Automaty jsou \u010Dasto klasifikov\u00E1ny t\u0159\u00EDdou form\u00E1ln\u00EDch jazyk\u016F, kterou mohou rozpoznat.Automaty hraj\u00ED hlavn\u00ED roli v teorii algoritm\u016F, p\u0159i konstrukci p\u0159eklada\u010D\u016F, v um\u011Bl\u00E9 inteligenci, syntaktick\u00E9 anal\u00FDze a form\u00E1ln\u00ED verifikaci."@cs ;
dbpedia-owl:wikiPageID 599372 .
@prefix wiki-cs: .
dbpedia-cs:Teorie_automatů foaf:isPrimaryTopicOf wiki-cs:Teorie_automatů ;
dbpedia-owl:wikiPageRevisionID 15418403 .
dbpedia-cs:Teorie dbpedia-owl:wikiPageWikiLink dbpedia-cs:Teorie_automatů .
dbpedia-owl:wikiPageWikiLink dbpedia-cs:Teorie_automatů .
wiki-cs:Teorie_automatů foaf:primaryTopic dbpedia-cs:Teorie_automatů .
dbpedia-cs:Teoretická_informatika dbpedia-owl:wikiPageWikiLink dbpedia-cs:Teorie_automatů .
dbpedia-cs:Automat dbpedia-owl:wikiPageWikiLink dbpedia-cs:Teorie_automatů .
dbpedia-cs:Ω-automat dbpedia-owl:wikiPageWikiLink dbpedia-cs:Teorie_automatů .