Je regulární? Pokud ne, na regulární ji upravte. V původní a nové gramatice odvod te řetěz 1111.
|
|
- Květoslava Štěpánková
- před 7 lety
- Počet zobrazení:
Transkript
1 Grmtiky. Vytvořte grmtiku generující množinu řetězů { n m } pro n, m N {} tková, že n m. Pomocí této grmtiky derivujte řetezy,. 2. Grmtik je dán prvidly S ɛ S A A S B B A B. Je regulární? Pokud ne, n regulární ji uprvte. V původní nové grmtice odvod te řetěz. 3. Vytvořte grmtiku generující jzyk řetězů w {, } tkových, že počet symolů osžených v w je stejný. 4. Vytvořte grmtiku pro jzyk lgerických výrzů nd ecedou {x, y, z, +,,, /, (, )} (x, y, z jsou proměnné). Z grmtiky odvod te řetěz (x + y) + z x + y/(x z). 5. Vytvořte grmtiku generující formule predikátové logiky nd lgerickými výrzy z předchozího příkldu. Aecedu rozšiřte o množinu symolů {,,,,,,, =}. Z grmtiky odvod te řetěz ( x)( y)(x + x = y). Deterministické konečné utomty. Vyjádřete DKA A = Q, Σ, δ,, F tulkou (zvýrzněte počáteční koncové stvy, viz následující cvičení) stvovým digrmem. Definice jednotlivých složek utomtu: Q = {,, 2, 3 } Σ = {, } δ:,,, 3, 3, 3,,, 2, 2, 3, 3,, 2, 2, 2. F = {, 3 }. 2. Nkreslete přechodový digrm podle tulky. 3. Podle digrmu určete Q, Σ, δ,, F , strt Pro utomt z předchozího příkldu určete pro řetězy,, hodnoty rozšířené přechodové funkce zpište konfigurce, kterými utomt projde při zprcování těchto řetězů.
2 5. Nvrhněte DKA přijímjící právě následující jzyky. Nvrhněte utomt úplný, poté i zjednodušenou verzi využívjící dohody o mrtvém stvu (pokud jsou různé). () Slov nd ecedou {, } zčínjící končící mjící délku lespoň 2. () Slov nd ecedou {, } zčínjící končící. (c) Slov nd ecedou {,, c} oshující jko podřetěz c. 6. Nlezněte nedosžitelné stvy v následujících utomtech eliminujte je: () c d () (c) Nedeterministické konečné utomty, utomty s ɛ-přechody. Uvžme NKA n následujícím orázku. () Určete hodnoty přechodové funkce nmlujte strom konfigurcí pro řetězi,,. () Automt převed te n DKA. Jký je výsledek rozšířené přechodové funkce výsledného DKA pro řetězce z ()? strt Nvrhněte NKA pro rozpoznávání názvu souoru s třípísmenou koncovkou. Název souoru se skládá z písmen, číslic tečky (název může oshovt více symolů pro tečku, le poslední musí ýt před příponou). Tento utomt převed te n DKA. 2
3 3. Nvrhněte NKA přijímjící slov nd ecedou {, }, která neoshují jko podřetěz. Převed te jej n DKA. 4. K regulární grmtice vytvořte DKA, který přijímá jzyk jí generovný. () S +D D D D D 2D 3D.X 2 3 X X X 2X 3X 2 3 () S A ɛ A A B B B (c) S ch 3 ch 4 H 4 hi 4 I 4 4 H 3 I 3 I 3 3R R ch 2 ch 3 H 3 I 3 I 3 3 H 2 I 2 I 2 2R 5. K utomtu sestvte regulární grmtiku, která generuje jím přijímný jzyk (může ýt potře více převodů, npř. NKA n DKA n grmtiku). () strt 3, 2, ɛ 2 () strt, ɛ, ɛ 3 4 5, 3
4 2 5. e, E ɛ, +, ɛ, +, (c) strt Ekvivlence minimlizce KA. Nlezněte utomt s minimálním počtem stvů, který je ekvivlentní následujícímu utomtu. strt () 3 4 4
5 strt () Jsou grmtiky G G 2 ekvivlentní? G : S B A ɛ A C B C C cd B A D cd G 2 : S A B ɛ W A B A W B W Bezkontextové grmtiky zásoníkové utomty. Sestvte zásoníkový utomt, který přijímá jzyk generovný následující grmtikou () S S + S S S (S) x y z () S V S V S S (S) V V x y x y 5
6 Nápovědy neo řešení vyrných prolémů Grmtiky. S SB B; B B ɛ; 2. není regulární, grmtik oshuje prvidlo S ɛ S se vyskytuje n prvé strně jiného prvidl. Je nutno udělt úprvy podle posledního odstvce n sljdu 2 poznámek k přednáškám. 3. npř. S SS SS ɛ 4. podoné jko příkld z přednášky 5. použijte formální definici formule predikátové logiky Deterministické konečné utomty Příkldy ž 4 jsou sndno vidět přímo z definic n sljdech 5. () zjednodušená verze (podle úmluvy o mrtvém stvu), strt 2 6. () Nedosžitelné stvy jsou 2 4. Nedeterministické konečné utomty. () podle definic z přednášky, () podle postupu n sljdu 6 2. stčí si uvědomit, že jméno souoru musí končit řetězem.xyz, x,y,z jsou znky ecedy mimo tečky. 4. podle postupu n sljdu 9 5. podle postupu n sljdu 2 25 Ekvivlence minimlizce KA. postup podle sljdů 36 (nlezení ekvivlentních stvů) 39 (minimlizce utomtu) 2. Ke grmtikám je potře sestvit NKA, převézt je n DKA poté tle-filling lgoritmem ověřit, jestli jsou počáteční stvy získných lgoritmů ekvivlentní. 6
Automaty a gramatiky(bi-aag)
BI-AAG (2011/2012) J. Holu: 3. Operce s konečnými utomty p. 2/33 Převod NKA ndka BI-AAG (2011/2012) J. Holu: 3. Operce s konečnými utomty p. 4/33 Automty grmtiky(bi-aag) 3. Operce s konečnými utomty Jn
VíceDefinice. Necht M = (Q, T, δ, q 0, F ) je konečný automat. Dvojici (q, w) Q T nazveme konfigurací konečného automatu M.
BI-AAG (20/202) J. Holu: 2. Deterministické nedeterministické konečné utomty p. 2/3 Konfigurce konečného utomtu BI-AAG (20/202) J. Holu: 2. Deterministické nedeterministické konečné utomty p. 4/3 Automty
VíceMinimalizace automatů. M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 28. března / 31
Minimlizce utomtů M. Kot, Z. Sw (VŠB-TU Ostrv) Úvod do teoretické informtiky 28. řezn 2007 1/ 31 Ekvivlence utomtů 1 2 3 1 2 3 1 2 Všechny 3 utomty přijímjí jzyk všech slov se sudým počtem -ček Nejvýhodnějšíjepronásposledníznich-mánejméněstvů
VícePřevody Regulárních Výrazů. Minimalizace Konečných. Regulární jazyky 2 p.1/35
Převody Regulárních Výrzů Minimlizce Konečných Automtů Regulární jzyky 2 p.1/35 Kleeneho lger Definice 2.1 Kleeneho lger sestává z neprázdné množiny se dvěm význčnými konstntmi 0 1, dvěm inárními opercemi
VíceFormální jazyky. Z. Sawa (VŠB-TUO) Úvod do teoretické informatiky 7. března / 46
Formální jzyky Z. Sw (VŠB-TUO) Úvod do teoretické informtiky 7. řezn 2012 1/ 46 Teorie formálních jzyků motivce Příkldy typů prolémů, při jejichž řešení se využívá pozntků z teorie formálních jzyků: Tvor
Více6. Zobrazení δ: (a) δ(q 0, x) obsahuje x i, x i Z. (b) δ(x i, y) obsahuje y j, x i y j P 7. Množina F je množinou koncových stavů.
Vzth mezi reg. výrzy kon. utomty Automty grmtiky(bi-aag) 7. Převody mezi reg. grm., reg. výrzy kon. utomty Jn Holu Algoritmus (okrčování): 6. Zorzení δ: () δ(, x) oshuje x i, x i Z. () δ(x i, y) oshuje
VíceAutomaty a gramatiky
Automty grmtiky Romn Brták, KTIML rtk@ktiml.mff.cuni.cz http://ktiml.mff.cuni.cz/~rtk Úvod do formálních grmtik Grmtiky, všichni je známe, le co to je? Popis jzyk pomocí prvidel, podle kterých se vytvářejí
VíceAutomaty a gramatiky. Úvod do formáln. lních gramatik. Roman Barták, KTIML. Příklady gramatik
Úvod do formáln lních grmtik Automty grmtiky Romn Brták, KTIML rtk@ktiml.mff.cuni.cz http://ktiml.mff.cuni.cz/~rtk Grmtiky, všichni je známe, le co to je? Popis jzyk pomocí prvidel, podle kterých se vytvářejí
VíceAutomaty a gramatiky
5 Automty grmtiky Romn Brták, KTIML rtk@ktiml.mff.cuni.cz http://ktiml.mff.cuni.cz/~rtk Co ylo minule Množinové operce s jzyky sjednocení, pr nik, rozdíl, dopln k uzv enost opercí (lgoritmus p evodu) et
VíceAutomaty a gramatiky. Organizační záležitosti. Přednáška: na webu (http://ktiml.mff.cuni.cz/~bartak/automaty) Proč chodit na přednášku?
Orgnizční záležitosti Atomty grmtiky Romn Brták, KTIML rtk@ktiml.mff.cni.cz http://ktiml.mff.cni.cz/~rtk Přednášk: n we (http://ktiml.mff.cni.cz/~rtk/tomty) Proč chodit n přednášk? dozvíte se více než
VíceDeterministický konečný automat
Deterministický konečný utomt Formálně je deterministický konečný utomt definován jko pětice (Q,Σ,δ,q 0,F) kde: Q je konečná množin stvů Σ je konečná eced δ:q Σ Qjepřechodováfunkce q 0 Qjepočátečnístv
Více2.5.4 Věta. Každý jazyk reprezentovaný regulárním výrazem je regulárním jazykem.
2.5. Regulární výrzy [181012-1111 ] 21 2.5 Regulární výrzy 2.5.1 Regulární jzyky jsme definovli jko ty jzyky, které jsou přijímány konečnými utomty; ukázli, že je jedno, zd jsou deterministické neo nedeterministické.
VíceAutomaty a gramatiky. Roman Barták, KTIML. Důkaz věty o isomorfismu reduktů. Věta o isomorfismu reduktů. Pro připomenutí
3 Automty grmtiky Romn Brták, KTIML rtk@ktimlmffcunicz http://ktimlmffcunicz/~rtk Pro připomenutí 2 Njít ekvivlentní stvy w X* δ*(p,w) F δ*(q,w) F Vyřdit nedosžitelné stvy 3 Sestrojit podílový utomt Automty
VíceTeorie jazyků a automatů I
Šárk Vvrečková Teorie jzyků utomtů I Sírk úloh pro cvičení Ústv informtiky Filozoficko-přírodovědecká fkult v Opvě Slezská univerzit v Opvě Opv, poslední ktulizce 5. květn 205 Anotce: Tto skript jsou určen
VíceMULTIDIMENSIONÁLNÍ JAZYKY A JEJICH AUTOMATY MULTI-DIMENSIONAL LANGUAGES AND THEIR AUTOMATA
VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ BRNO UNIVERSITY OF TECHNOLOGY FAKULTA INFORMAČNÍCH TECHNOLOGIÍ ÚSTAV INFORMAČNÍCH SYSTÉMŮ FACULTY OF INFORMATION TECHNOLOGY DEPARTMENT OF INFORMATION SYSTEMS MULTIDIMENSIONÁLNÍ
VíceÚvod 1. 3 Regulární jazyky Konečné jazyky Pumping Lemma pro regulární jazyky a nekonečné jazyky Sjednocení...
Osh Úvod 1 1 Teoretická informtik 2 1.1 Vznik vývoj teoretické informtiky................... 2 1.1.1 Mtemtik............................. 2 1.1.2 Jzykověd............................. 5 1.1.3 Biologie...............................
VíceLogické obvody. Logický obvod. Rozdělení logických obvodů - Kombinační logické obvody. - Sekvenční logické obvody
Logické ovody Cílem této kpitoly je sezn{mit se s logickými ovody, se z{kldním rozdělením logických ovodů, s jejich některými typy. Tké se nučíme nvrhovt logické ovody. Klíčové pojmy: Logický ovod,kominční
VícePůjdu do kina Bude pršet Zajímavý film. Jedině poslední řádek tabulky vyhovuje splnění podmínky úvodního tvrzení.
4. Booleov lger Booleov lger yl nvržen v polovině 9. století mtemtikem Georgem Boolem, tehdy nikoliv k návrhu digitálníh ovodů, nýrž jko mtemtikou disiplínu k formuli logikého myšlení. Jko příkld použijeme
VíceAutomaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů
BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 2/29 Hodnocení předmětu BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 4/29 Automaty a gramatiky(bi-aag) 1. Základní pojmy Jan Holub Katedra teoretické
VíceTeorie jazyků a automatů
Šárk Vvrečková Teorie jzyků utomtů Sírk příkldů pro cvičení II Zákldy teoretické informtiky Ústv informtiky Filozoficko-přírodovědecká fkult v Opvě Slezská univerzit v Opvě Opv 24. listopdu 2016 Anotce:
VíceÚvod do Teoretické Informatiky (456-511 UTI)
Úvod do Teoretické Informtiky (456-511 UTI) Doc. RNDr. Petr Hliněný, Ph.D. petr.hlineny@vs.cz 25. ledn 2006 Verze 1.02. Copyright c 2004 2006 Petr Hliněný. (S využitím části mteriálů c Petr Jnčr.) Osh
VíceAutomaty a gramatiky. Pro připomenutí. Roman Barták, KTIML. Důkaz věty o dvousměrných automatech (1)
4 Automty gmtiky omn Bták, KTIML tk@ktiml.mff.cuni.cz htt://ktiml.mff.cuni.cz/~tk Po řiomenutí Automt může tké ovládt čtecí hlvu dvousměný (dvoucestný) utomt řechodová funkce: Q X Q {-,,+} Slovo w je řijto
VícePetriho sítě PES 2007/2008. ceska@fit.vutbr.cz. Doc. Ing. Tomáš Vojnar, Ph.D. vojnar@fit.vutbr.cz
PES Petriho sítě p. 1/34 Petriho sítě PES 2007/2008 Prof. RNDr. Miln Češk, CS. esk@fit.vutr.z Do. Ing. Tomáš Vojnr, Ph.D. vojnr@fit.vutr.z Sz: Ing. Petr Novosd, Do. Ing. Tomáš Vojnr, Ph.D. (verze 06.04.2010)
VíceH - Řízení technologického procesu logickými obvody
H - Řízní tchnologického procsu logickými ovody (Logické řízní) Tortický úvod Součástí řízní tchnologických procsů j i zjištění správné posloupnosti úkonů tchnologických oprcí rozhodování o dlším postupu
VíceIB005 Formální jazyky a automaty a IB102 Automaty, gramatiky a složitost
}w!"#$%&'()+,-./012345
VíceJsou to rovnice, které obsahují neznámou nebo výraz s neznámou jako argument logaritmické funkce.
Logritmické rovnice Jsou to rovnice, které oshují neznámou neo výrz s neznámou jko rgument ritmické funkce. Zákldní rovnice, 0 řešíme pomocí vzthu. Složitější uprvit n f g potom f g (protože ritmická funkce
VíceTeorie jazyků a automatů
Slezská univerzit v Opvě Filozoficko-přírodovědecká fkult v Opvě Šárk Vvrečková Teorie jzyků utomtů Skript do předmětů II Zákldy teoretické informtiky Ústv informtiky Filozoficko-přírodovědecká fkult v
VíceZÁKLADY. y 1 + y 2 dx a. kde y je hledanou funkcí proměnné x.
VARIAČNÍ POČET ZÁKLADY V prxi se čsto hledjí křivky nebo plochy, které minimlizují nebo mximlizují jisté hodnoty. Npř. se hledá nejkrtší spojnice dvou bodů n dné ploše, nebo tvr zvěšeného ln (má minimální
VíceTeoretická informatika - Úkol č.1
Teoretická informatika - Úkol č.1 Lukáš Sztefek, xsztef01 18. října 2012 Příklad 1 (a) Gramatika G 1 je čtveřice G 1 = (N, Σ, P, S) kde, N je konečná množina nonterminálních symbolů N = {A, B, C} Σ je
VíceLineární nerovnice a jejich soustavy
teorie řešené úlohy cvičení tipy k mturitě výsledky Lineární nerovnice jejich soustvy Víš, že pojem nerovnice není opkem pojmu rovnice? lineární rovnice má většinou jediné řešení, kdežto lineární nerovnice
VíceAutomaty a gramatiky. Trochu motivace. Roman Barták, KTIML. rní jazyky. Regulárn. Kleeneova věta. L = { w w=babau w=uabbv w=ubaa, u,v {a,b}* }
ochu motivce L = { w w=u w=uv w=u, u,v {,}* } Automty gmtiky Romn Bták, KIML tk@ktiml.mff.cuni.cz htt://ktiml.mff.cuni.cz/~tk L = L L L, kde L = { w w=u, u {,}* }, L = { w w=uv, u,v {,}* } L = { w w=u,
Více3. Kvadratické rovnice
CZ..07/..08/0.0009. Kvdrtické rovnice se v tetice oznčuje lgebrická rovnice druhého stupně, tzn. rovnice o jedné neznáé, ve které neznáá vystupuje ve druhé ocnině (²). V zákldní tvru vypdá následovně:
VíceAUTOMATY VE VYHLEDÁVÁNI cvičeni
Czech Technicl University in Prgue Fculty of Informtion Technology Deprtment of Theoreticl Computer Science AUTOMATY VE VYHLEDÁVÁNI cvičeni Bořivoj Melichr Evropský sociální fond. Prh & EU: Investujeme
VíceLogické obvody - kombinační Booleova algebra, formy popisu Příklady návrhu
MIKROPROCESORY PRO VÝKONOVÉ SYSTÉMY MIKROPROCESORY PRO VÝKONOVÉ SYSTÉMY Logické ovody - kominční Booleov lger, ormy popisu Příkldy návrhu České vysoké učení technické Fkult elektrotechnická ABMIS Mikroprocesory
VícePodobnosti trojúhelníků, goniometrické funkce
1116 Podonosti trojúhelníků, goniometriké funke Předpokldy: 010104, úhel Pedgogiká poznámk: Zčátek zryhlit α γ β K α' l M γ' m k β' L Trojúhelníky KLM n nšem orázku mjí stejný tvr (vypdjí stejně), le liší
VíceFormální jazyky. M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 6. března / 48
Formální jzyky M. Kot, Z. Sw (VŠB-TU Ostrv) Úvod do teoretické informtiky 6. březn 2007 1/ 48 Motivce 1: Vyhledávání v textu Potřebujeme řešit následující problém: Máme řdu různých textů(npř. soubory n
VíceNávrh základních kombinačních obvodů: dekodér, enkodér, multiplexor, demultiplexor
Předmět Ústv Úloh č. 2 BDIO - Digitální obvody Ústv mikroelektroniky Návrh zákldních kombinčních obvodů: dekodér, enkodér, multiplexor, demultiplexor Student Cíle Porozumění logickým obvodům typu dekodér,
Více( ) ( ) Sinová věta II. β je úhel z intervalu ( 0;π ). Jak je vidět z jednotkové kružnice, úhly, pro které platí. Předpoklady:
4.4. Sinová vět II Předpokldy 44 Kde se stl hy? Námi nlezené řešení je správné, le nenšli jsme druhé hy ve hvíli, kdy jsme z hodnoty sin β určovli úhel β. β je úhel z intervlu ( ;π ). Jk je vidět z jednotkové
VíceMETODICKÝ NÁVOD MODULU
Centrum celoživotního vzdělávání METODICKÝ NÁVOD MODULU Název modulu: Zákldy mtemtiky Zkrtk: ZM Počet kreditů: Semestr: Z/L Mentor: Petr Dolnský Tutor: Petr Dolnský I OBSAH BALÍČKU STUDIJNÍCH OPOR: ) Skriptum:
Více4. přednáška 22. října Úplné metrické prostory. Metrický prostor (M, d) je úplný, když každá cauchyovská posloupnost bodů v M konverguje.
4. přednášk 22. říjn 2007 Úplné metrické prostory. Metrický prostor (M, d) je úplný, když kždá cuchyovská posloupnost bodů v M konverguje. Příkldy. 1. Euklidovský prostor R je úplný, kždá cuchyovská posloupnost
Vícepísemná a ústní část porozumění látce + schopnost formalizace
Automty grmtiky Romn Brták, KTIML rtk@ktiml.mff.cuni.cz http://ktiml.mff.cuni.cz/~rtk Orgnizční záležitosti Přednášk: n weu (http://ktiml.mff.cuni.cz/~rtk/utomty) Proč chodit n přednášku? Cvičení: dozvíte
Více2.8.5 Lineární nerovnice s parametrem
2.8.5 Lineární nerovnice s prmetrem Předpokldy: 2208, 2802 Pedgogická poznámk: Pokud v tom necháte studenty vykoupt (což je, zdá se, jediné rozumné řešení) zere tto látk tk jednu půl vyučovcí hodiny (první
VíceZáklady teoretické informatiky Formální jazyky a automaty
Základy teoretické informatiky Formální jazyky a automaty Petr Osička KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO V OLOMOUCI Outline Literatura Obsah J.E. Hopcroft, R. Motwani, J.D. Ullman Introduction to
VíceSbírka příkladů do IFJ. Petr Zemek
Sírk příkldů do IFJ Petr Zemek 11. ledn 2012 Osh Předmluv 1 1 Aeedy, řetěze jzyky 3 2 Úvod do překldčů 5 3 Modely regulárníh jzyků 6 4 Speiální konečné utomty 8 5 Lexikální nlýz 10 6 Modely ezkontextovýh
VíceReprezentovatelnost částek ve dvoumincových systémech
Reprezentovtelnost částek ve dvoumincových systémech Jn Hmáček, Prh Astrkt Máme-li neomezené množství mincí o předepsných hodnotách, může se stát, že pomocí nich nelze složit některé částky Pro jednoduchost
VíceTechnická dokumentace Ing. Lukáš Procházka
Tehniká dokumente ng Lukáš Proházk Tém: hlvní část dokumentu, orázky, tulky grfy 1) Osh hlvní části dokumentu ) Orázky, tulky grfy ) Vzore rovnie Hlvní část dokumentu Hlvní část dokumentu je řzen v následujíím
VíceVztah jazyků Chomskeho hierarchie a jazyků TS
Vztah jazyků Chomskeho hierarchie a jazyků TS Jan Konečný; (přednáší Lukáš Havrlant) 15. října 2013 Jan Konečný; (přednáší Lukáš Havrlant) Chomskeho hierarchie a jazyky TS 15. října 2013 1 / 23 Rychlé
VíceOBECNÝ URČITÝ INTEGRÁL
OBECNÝ URČITÝ INTEGRÁL Zobecnění Newtonov nebo Riemnnov integrálu se definují různým způsobem dostnou se někdy různé, někdy stejné pojmy. V tomto textu bude postup volen jko zobecnění Newtonov integrálu,
VíceDefinice. Nechť k 0 celé, a < b R. Definujeme. x < 1. ϕ(x) 0 v R. Lemma [Slabá formulace diferenciální rovnice.] x 2 1
9. Vriční počet. Definice. Nechť k 0 celé, < b R. Definujeme C k ([, b]) = { ỹ [,b] : ỹ C k (R) } ; C 0 ([, b]) = { y C ([, b]) : y() = y(b) = 0 }. Důležitá konstrukce. Shlzovcí funkce (molifiér, bump
Více4.2.7 Zavedení funkcí sinus a cosinus pro orientovaný úhel I
4..7 Zvedení funkcí sinus cosinus pro orientovný úhel I Předpokldy: 40, 40, 404, 406 Prolém s definicí funkcí sin ( ) cos( ) : Definice pomocí prvoúhlého trojúhelníku je π možné použít pouze pro ( 0 ;90
VíceČísla značí použité pravidlo, šipka směr postupu Analýza shora. Analýza zdola A 2 B 3 B * C 2 C ( A ) 1 a A + B. A Derivace zleva:
1) Syntaktická analýza shora a zdola, derivační strom, kanonická derivace ezkontextová gramatika gramatika typu 2 Nechť G = je gramatika typu 1. Řekneme, že je gramatikou typu 2, platí-li: y
Více7.5.8 Středová rovnice elipsy
758 Středová rovnice elips Předpokld: 7501, 7507 Př 1: Vrchol elips leží v odech A[ 1;1], [ 3;1], [ 1;5], [ 1; 3] elips souřdnice jejích ohnisek Urči prmetr Zdné souřdnice už n první pohled vpdjí podezřele,
Více1. Pokyny pro vypracování
1. Pokyny pro vyprcování Zvolený příkld z druhé kpitoly vyprcujte písemně (nejlépe vysázejte pomocí LATEXu) dodejte osobně po předchozí domluvě milem n krbek@physics.muni.cz. Dále si vyberte tři z jednodušších
VíceVětu o spojitosti a jejich užití
0..7 Větu o spojitosti jejich užití Předpokldy: 706, 78, 006 Pedgogická poznámk: Při proírání této hodiny je tře mít n pměti, že všechny věty, které studentům sdělujete z jejich pohledu neuvěřitelně složitě
Více( ) ( ) ( ) Exponenciální rovnice. 17.3. Řeš v R rovnici: 3 + 9 + 27 = ŘEŠENÍ: Postup z předešlého výpočtu doplníme využitím dalšího vztahu: ( ) t s t
7. EXPONENCIÁLNÍ ROVNICE 7.. Řeš v R rovnice: ) 5 b) + c) 7 0 d) ( ) 0,5 ) 5 7 5 7 K { } c) 7 0 K d) ( ) b) + 0 + 0 K ( ) 5 0 5, 7 K { 5;7} Strtegie: potřebujeme zíkt tkový tvr rovnice, kd je n obou trnách
VíceKVADRATICKÁ FUNKCE (vlastnosti, grafy)
KVADRATICKÁ FUNKCE (vlstnosti, gr) Teorie Kvdrtikou unkí se nzývá kždá unke dná předpisem ; R,, R; D( ) je proměnná z příslušného deiničního ooru unke (nejčstěji množin R),, jsou koeiient kvdrtiké unke,
VíceDoc. Ing. Vlastimil Jáneš, CSc., K620
Hrdwre počítčů Doc. Ing. Vlstimil Jáneš, CSc., K620 e-mil: jnes@fd.cvut.cz K508, 5. ptro, lbortoř, 2 2435 9555 Ing. Vít Fáber, K614 e-mil: fber@fd.cvut.cz K508, 5. ptro, lbortoř, 2 2435 9555 Informce mteriály
VíceKonstrukce na základě výpočtu I
..11 Konstrukce n zákldě výpočtu I Předpokldy: Pedgogická poznámk: Původně yl látk rozepsnou do dvou hodin, v první ylo kromě dělení úseček zřzen i čtvrtá geometrická úměrná. Právě její prorání se nestíhlo,
Více3 Algebraické výrazy. 3.1 Mnohočleny Mnohočleny jsou zvláštním případem výrazů. Mnohočlen (polynom) proměnné je výraz tvaru
Algerické výrz V knize přírod může číst jen ten, kdo zná jzk, ve kterém je npsán. Jejím jzkem je mtemtik jejím písmem jsou mtemtické vzorce. (Glileo Glilei) Algerickým výrzem rozumíme zápis, ve kterém
VíceSpojitost funkce v bodě, spojitost funkce v intervalu
10.1.6 Spojitost funkce v bodě, spojitost funkce v intervlu Předpokldy: 10104, 10105 Př. 1: Nkresli, jk funkce f ( x ) dná grfem zobrzí vyznčené okolí bodu n ose x n osu y. Poté nkresli n osu x vzor okolí
VíceTangens a kotangens
4.3.12 Tngens kotngens Předpokldy: 040311 Př. 1: Úhel, pod kterým je možné ze pozorovt vrhol věže ze vzdálenosti 19 m od její pty, yl změřen n 53 od vodorovné roviny. Jk je věž vysoká? h 53 19 m Z orázku
Více3. ROVNICE A NEROVNICE 85. 3.1. Lineární rovnice 85. 3.2. Kvadratické rovnice 86. 3.3. Rovnice s absolutní hodnotou 88. 3.4. Iracionální rovnice 90
ROVNICE A NEROVNICE 8 Lineární rovnice 8 Kvdrtické rovnice 8 Rovnice s bsolutní hodnotou 88 Ircionální rovnice 90 Eponenciální rovnice 9 Logritmické rovnice 9 7 Goniometrické rovnice 98 8 Nerovnice 0 Úlohy
VíceVektorový editor automatů. Bc. Milan Kříž
České vysoké učení technické v Prze Fkult elektrotechnická Ktedr počítčů Diplomová práce Vektorový editor utomtů Bc. Miln Kříž Vedoucí práce: Ing. Jn Žďárek Studijní progrm: Elektrotechnik informtik, strukturovný,
Více2.1 - ( ) ( ) (020201) [ ] [ ]
- FUNKCE A ROVNICE Následující zákldní znlosti je nezbytně nutné umět od okmžiku probrání ž do konce studi mtemtiky n gymnáziu. Vyždováno bude porozumění schopnost plikovt ne pouze mechnicky zopkovt. Některé
VícePlánováníá a rozvrhování
Plánováníá rozvrhování Romn Brták, KTIML romn.rtk@mff.uni.z z http://ktiml.mff.uni.z/~rtk N úvod Plánoví prolém P je trojie (Σ,s 0,g) Σ je plánoví domén popisujíí stvy ke (přehody ř mezi stvy) s 0 je počáteční
Více( t) ( t) ( t) Nerovnice pro polorovinu. Předpoklady: 7306
7.3.8 Nerovnice pro polorovinu Předpokldy: 736 Pedgogická poznámk: Příkld 1 není pro dlší průěh hodiny důležitý, má smysl pouze jko opkování zplnění čsu při zpisování do třídnice. Nemá smysl kvůli němu
Více56. ročník Matematické olympiády. b 1,2 = 27 ± c 2 25
56. ročník Mtemtické olympiády Úlohy domácí části I. kol ktegorie 1. Njděte všechny dvojice (, ) celých čísel, jež vyhovují rovnici + 7 + 6 + 5 + 4 + = 0. Řešení. Rovnici řešíme jko kvdrtickou s neznámou
VíceOpakovací test. Klíčová slova: výraz, interval, množina, kvadratický trojčlen, mocnina, exponent, výrok, negace
VY_32_INOVACE_MAT_190 Opkovcí test lgebrické výrzy, logik, množiny A, B Mgr. Rdk Mlázovská Období vytvoření: září 2012 Ročník: čtvrtý Temtická oblst: mtemtické vzdělávání Klíčová slov: výrz, intervl, množin,
Více14. cvičení z Matematické analýzy 2
4. cvičení z temtické nlýzy 2 22. - 26. květn 27 4. Greenov vět) Použijte Greenovu větu k nlezení práce síly F x, y) 2xy, 4x 2 y 2 ) vykonné n částici podél křivky, která je hrnicí oblsti ohrničené křivkmi
Vícedoplněk, zřetězení, Kleeneho operaci a reverzi. Ukážeme ještě další operace s jazyky, na které je
28 [181105-1236 ] 2.7 Další uzávěrové vlastnosti třídy regulárních jazyků Z předchozích přednášek víme, že třída regulárních jazyků je uzavřena na sjednocení, průnik, doplněk, zřetězení, Kleeneho operaci
VíceIntegrální počet - IV. část (aplikace na určitý vlastní integrál, nevlastní integrál)
Integrální počet - IV. část (plikce n určitý vlstní integrál, nevlstní integrál) Michl Fusek Ústv mtemtiky FEKT VUT, fusekmi@feec.vutbr.cz 9. přednášk z AMA Michl Fusek (fusekmi@feec.vutbr.cz) / 4 Obsh
Více10. Suffixové stromy 1 2014-01-23
10. Suffixové stromy V této kpitole popíšeme jednu pozoruhodnou dtovou strukturu, pomocí níž dokážeme prolémy týkjící se řetězců převádět n grfové prolémy řešit je tk v lineárním čse. Řetězce, trie suffixové
VíceDERIVACE A INTEGRÁLY VE FYZICE
DOPLŇKOVÉ TEXTY BB0 PAVEL SCHAUER INTERNÍ MATERIÁL FAST VUT V BRNĚ DERIVACE A INTEGRÁLY VE FYZICE Obsh Derivce... Definice derivce... Prciální derivce... Derivce vektorů... Výpočt derivcí... 3 Algebrická
VíceMATA Př 2. Složené výroky: Jsou dány výroky: a: Číslo 5 je prvočíslo. b: Číslo 5 je sudé. c: Číslo 5 je liché. d: Číslo 5 je záporné.
MATA Př 2 Složené výroky: Jsou dány výroky: : Číslo 5 je prvočíslo. : Číslo 5 je sudé. c: Číslo 5 je liché. d: Číslo 5 je záporné. Konjunkce disjunkce Konjunkce liovolných výroků, je výrok, který vznikne
VíceObsah rovinného obrazce
Osh rovinného orzce Nejjednodušší plikcí určitého integrálu je výpočet oshu rovinného orzce. Zčneme větou. Vět : Je-li funkce f spojitá nezáporná n n orázku níže roven f ( ) d. ;, je osh rovinného orzce
Více( a, { } Intervaly. Předpoklady: , , , Problém zapíšeme snadno i výčtem: { 2;3; 4;5}?
1.3.8 Intervly Předpokldy: 010210, 010301, 010302, 010303 Problém Množinu A = { x Z;2 x 5} zpíšeme sndno i výčtem: { 2;3; 4;5} Jk zpst množinu B = { x R;2 x 5}? A =. Jde o nekonečně mnoho čísel (2, 5 všechno
Vícex + F F x F (x, f(x)).
I. Funkce dvou více reálných proměnných 8. Implicitně dné funkce. Budeme se zbývt úlohou, kdy funkce není zdná přímo předpisem, který vyjdřuje závislost její hodnoty n hodnotách proměnných. Jeden z možných
VíceDefinice limit I
08 Definice limit I Předpokld: 006 Pedgogická poznámk: N úvod je třeb upozornit, že tto hodin je ze strn studentů snd nejvíce sbotovnou látkou z celé studium (podle rekcí 4B009) Jejich ochot brát n vědomí
Více( ) 2 2 2 ( ) 3 3 2 2 3. Výrazy Výraz je druh matematického zápisu, který obsahuje konstanty, proměnné, symboly matematických operací, závorky.
Výrzy Výrz je druh mtemtického zápisu, který obshuje konstnty, proměnné, symboly mtemtických opercí, závorky. Příkldy výrzů: + výrz obshuje pouze konstnty číselný výrz x výrz obshuje konstntu ( proměnnou
VíceFormální jazyky a automaty Petr Šimeček
Formální jazyky a automaty Petr Šimeček Úvod Formální jazyky a automaty jsou základním kamenem teoretické informatiky. Na počátku se zmíníme o Chomského klasifikaci gramatik, nástroje, který lze aplikovat
Více/1: Teoretická informatika(ti) přednáška 4
456-330/1: Teoretická informatika(ti) přednáška 4 prof. RNDr Petr Jančar, CSc. katedra informatiky FI VŠB-TUO www.cs.vsb.cz/jancar LS 2009/2010 Petr Jančar (FI VŠB-TU) Teoretická informatika(ti) LS 2009/2010
Více3.2.1 Shodnost trojúhelníků I
3.2.1 hodnost trojúhelníků I Předpokldy: 3108 v útvry jsou shodné, pokud je možné je přemístěním ztotožnit. v prxi těžko proveditelné hledáme jinou možnost ověření shodnosti v útvry jsou shodné, pokud
VíceSMR Strukturální metody rozpoznávání KKY/SMR KATEDRA KYBERNETIKY Doc. Ing. Mloš Železný, Ph.D. UK59 (377 63 548) E-ml: zelezny@kky.zcu.cz ZÁKLADNÍ POJMY A METODY ROZPOZNÁVÁNÍ.... PŘÍZNAKOVÉ METODY....
VíceNeurčité výrazy
.. Neurčité výrzy Předpokldy: Př. : Vypočti ity: ) d) ) d) neeistuje,, Zjímvé. Získli jsme čtyři nprosto rozdílné výsledky, přestože přímým doszením do všech výrzů získáme to smé: výrz může při výpočtu
VíceLogaritmické rovnice I
.9.9 Logritmické rovnice I Předpokldy: 95 Pedgogická poznámk: Stejně jko u eponenciálních rovnic rozkldů n součin bereme ritmické rovnice jko nácvik výběru metody. Sestvujeme si rzenál metod n konci máme
VíceV = gap E zdz. ( 4.1A.1 ) f (z, ξ)dξ = g(z),
4.1 Drátový dipól Zákldní teorie V této kpitole se seznámíme s výpočtem prmetrů drátového dipólu pomocí momentové metody. Veškeré informce se snžíme co nejsrozumitelněji vysvětlit ve vrstvě A. Vrstvu B
VíceRegulární výrazy. M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 14. března / 20
Regulární výrazy M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 14. března 2007 1/ 20 Regulární výrazy Jako například v aritmetice můžeme pomocí operátorů + a vytvářet výrazy jako (5+3)
VíceMatice. a B =...,...,...,...,..., prvků z tělesa T (tímto. Definice: Soubor A = ( a. ...,..., ra
Definice: Soubor A ( i j ) Mtice 11 12 1n 21 22 2n m 1 m2 prvků z těles T (tímto tělesem T bude v nší prxi nejčstěji těleso reálných čísel R resp těleso rcionálních čísel Q či těleso komplexních čísel
VíceHledání hyperbol
759 Hledání hyperol Předpokldy: 756, 757, 758 Pedgogická poznámk: Některé příkldy jsou zdlouhvější, pokud mám dosttek čsu proírám tuto následující hodinu ěhem tří vyučovcích hodin Př : Npiš rovnici hyperoly,
VíceVýpočetní modely pro rozpoznávání bezkontextových jazyků zásobníkové automaty LL(k) a LR(k) analyzátory
Plán přednášky Výpočetní modely pro rozpoznávání bezkontextových jazyků zásobníkové automaty LL(k) a LR(k) analyzátory Obecný algoritmus pro parsování bezkontextových jazyků dynamické programování 1 Zásobníkový
Více2.7.7 Obsah rovnoběžníku
77 Osh rovnoěžníku Předpokldy: 00707 Osh (znčk S): kolik míst útvr zujímá, počet čtverečků 1 x 1, které se do něj vejdou, kolik koerce udeme muset koupit, ychom pokryli podlhu, Př 1: Urči osh čtverce o
VíceKonstrukce na základě výpočtu I
.4.11 Konstruke n zákldě výpočtu I Předpokldy: Pedgogiká poznámk: Je důležité si uvědomit, že následujíí sled příkldů neslouží k tomu, y si žái upevnili mehniký postup n dělení úseček. Jediné, o y si měli
Více7.3.7 Přímková smršť. Předpoklady: 7306
737 Přímkoá smršť Předpokldy 7306 Pedgogiká poznámk Hodin znikl jko reke n prní průhod učenií Třeoni se třídou 42011 Ukázlo se, že studenti mjí prolémy s přiřzením spráného ektoru k různým druhům roni
VíceSouhrn základních výpočetních postupů v Excelu probíraných v AVT 04-05 listopad 2004. r r. . b = A
Souhrn zákldních výpočetních postupů v Ecelu probírných v AVT 04-05 listopd 2004. Řešení soustv lineárních rovnic Soustv lineárních rovnic ve tvru r r A. = b tj. npř. pro 3 rovnice o 3 neznámých 2 3 Hodnoty
Více5.2.4 Kolmost přímek a rovin II
5..4 Kolmost přímek rovin II Předpokldy: 503 Př. 1: Zformuluj stereometrické věty nlogické k plnimetrické větě: ným bodem lze v rovině k dné přímce vést jedinou kolmici. Vět: ným bodem lze v prostoru k
Více3.1.3 Vzájemná poloha přímek
3.1.3 Vzájemná poloh přímek Předpokldy: 3102 Dvě různé přímky v rovině mximálně jeden společný od Jeden společný od průsečík různoěžné přímky (různoěžky) P Píšeme: P neo = { P} Žádný společný od rovnoěžné
VíceZákladní pojmy: Číselné obory a vztahy mezi nimi Zákony pro počítání s číselnými množinami
/ Zákldní pojmy: Číselné obory vzthy mezi nimi ČÍSELNÉ MNOŽINY Zákony pro počítání s číselnými množinmi. Přirozená čísl vyjdřují počet prvků množiny N. Celá čísl změn počtu prvků dné množiny, přírůstky
Více{ } ( ) ( ) 2.5.8 Vztahy mezi kořeny a koeficienty kvadratické rovnice. Předpoklady: 2301, 2508, 2507
58 Vzth mezi kořen koefiient kvdrtiké rovnie Předpokld:, 58, 57 Pedgogiká poznámk: Náplň zřejmě přeshuje možnost jedné vučoví hodin, příkld 8 9 zůstvjí n vičení neo polovinu hodin při píseme + + - zákldní
Více