Teorie jazyků a automatů I

Rozměr: px
Začít zobrazení ze stránky:

Download "Teorie jazyků a automatů I"

Transkript

1 Šá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

2 Anotce: Tto skript jsou určen pro studenty předmětů Teorie jzyků utomtů I Zákldy teoretické informtiky I. Jedná se o sírku příkldů, která zhrnuje látku proírnou n cvičení dného předmětu. Zde uvedené definice jsou pouze orientční, jejich úkolem je připomenout znčení postupy používné v následných příkldech. Teorie jzyků utomtů I Sírk úloh pro cvičení RNDr. Šárk Vvrečková, Ph.D. Dostupné n: Ústv informtiky Filozoficko-přírodovědecká fkult v Opvě Slezská univerzit v Opvě Bezručovo nám. 3, Opv Sázeno v systému L A TEX Tto inovce předmětu Teorie jzyků utomtů I, cvičení je spolufinncován Evropským sociálním fondem Státním rozpočtem ČR, projekt č. Z..07/2.2.00/28.004, Interdisciplinární vzdělávání v IT s jzykovou kompetencí.

3 Osh Jzyky regulární výrzy. Řetězec, množin, jzyk Regulární výrzy Určení jzyk Operce nd jzyky Regulární operce Dlší potřené operce Prefixy postfixy slov K vlstnostem jzyků Konečné utomty 7 2. Vytváříme konečný utomt Nedeterministický konečný utomt Totální utomt Konečné jzyky Odstrnění nepotřených stvů (redukce) Uzávěrové vlstnosti regulární operce Sjednocení Zřetězení Iterce (Kleeneho uzávěr) Uzávěrové vlstnosti dlší operce Pozitivní iterce Zrcdlový orz (reverze) Průnik Homomorfismus Sestrojení konečného utomtu podle regulárního výrzu Regulární grmtiky Vytváříme regulární grmtiku Konečný utomt podle regulární grmtiky Regulární grmtik podle konečného utomtu iii

4 iv 4 Bezkontextové grmtiky Vytváříme ezkontextovou grmtiku Derivční strom Úprvy ezkontextových grmtik Převod n nezkrcující ezkontextovou grmtiku Redukce grmtiky Odstrnění jednoduchých prvidel Grmtik ez cyklu vlstní grmtik Levá prvá rekurze Zásoníkový utomt o je to zásoníkový utomt Definice Typy zásoníkových utomtů Vytváříme zásoníkový utomt Nedeterminismus Zásoníkový utomt podle ezkontextové grmtiky

5 Kpitol Jzyky regulární výrzy. Řetězec, množin, jzyk U konečných utomtů je nejmenší (tomickou, dále nedělitelnou) jednotkou, se kterou prcujeme, signál (znk). nožinu signálů, se kterými dokáže konkrétní utomt prcovt, nzýváme eced znčíme symolem Σ (velké řecké písmeno sigm). Aeced je vždy konečná množin. Automty rozpoznávjí (tj. přijímjí n svém vstupu) posloupnosti signálů (přípdně znků; tyto posloupnosti nzýváme slov) utomty n vstupu postupně čtou signály zároveň mění svůj vnitřní stv. Jeden utomt ovykle dokáže rozpoznávt více tkových slov. nožin všech slov, která dokáže utomt rozpoznt, je jzyk rozpoznávný utomtem. Pokud je utomt oznčen A, pk jzyk jím rozpoznávný znčíme L(A). Oecně (nejen ve vzthu k utomtům) je jzyk množinou slov nd dnou ecedou. Protože jzyky mohou ýt i hodně rozsáhlé množiny, je tře si zápis jzyk tké jeho slov vhodně zkrátit. ůžeme použít toto znčení: ε tkto znčíme prázdné slovo, tedy řetězec o délce nul (řecké písmeno epsilon) 2, 3, 4,... počet opkování ojektu, který je tkto umocněn, npříkld 3 znmená slovo (symol zřetězení nemusíme psát), 0 předstvuje ε (počet signálů je nul) operátor (Kleeneho operátor, iterce) znmená, že ojekt, z kterým následuje (signál, prvky množiny, pod.) může ýt ve slově opkován, to jkýkoliv počet krát (může ýt i nul opkování), z hvězdičku můžeme dosdit jkoukoliv nezápornou celočíselnou mocninu, tedy předstvuje množinu slov {ε,,,,...} {,, c} = {ε,,, c,,, c,,, c, c, c, cc,,,...} (operce hvězdičk se provádí přes všechny prvky množiny, kterýkoliv z nich může ýt použit n kterémkoliv místě) (c) 4 = cccc (prvky v posloupnosti nrozdíl od prvků množiny nejsou odděleny čárkou, mezi nimi je vzth zřetězení () = {ε,, () 2, () 3,...} = {ε,,,,...} {, dfg, } = {ε,, dfg,,, dfg,, dfg, dfgdfg, dfg,,...} P

6 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 2 + je pozitivní iterce, uvedený ojekt může ýt v jkémkoliv počtu výskytů podoně jko u operce, le nejméně jednou, tkže + = {, 2, 3,...} operátor pozitivní iterce se z důvodů sndné změnitelnosti s jiným operátorem čsto přepisuje do tvru neo operátor + může ýt použit tké jko inární: + c npříkld určuje množinu dvou slov, c, tedy množinu {, c} tento operátor čsto upltňujeme n dv výrzy, npříkld () +() předstvuje množinu slov, ve kterých se střídjí znky s tím, že slovo může zčít kterýmkoliv z těchto znků, délk slov je vždy sudé číslo ( + ) = {, } o zápisy předstvují množinu všech slov nd ecedou {, } Protože jzyk je vlstně množin slov, můžeme použít klsický mtemtický množinový zápis: { i j ; i, j 0} je totéž jko. Příkld. Zápis výrzů je čsto možné minimlizovt (zjednodušit). Npříkld: 2 ε = 2 (protože ε je neutrálním prvkem vzhledem k operci zřetězení, podoně jko číslo 0 u sčítání čísel) + ε = (protože výrz už v soě zhrnuje slovo ε) ( + ε) = (zdůvodněte) ( + ) = (zdůvodněte) () + + ε = () (zdůvodněte) () + ( + ) = ( + ) ( 2 ) 3 = 6 Příkld.2 Jzyk může ýt specifikován tké pomocí mtemtických opercí. Npříkld: { 2n ; n 0 } je totéž jko (), tedy množin {ε, 2, 4, 6,...} poslední dvě množiny, získáme množinu {, } { 2n ; n } je totéž jko (), tedy množin { 2, 4, 6,...} { 2n ; n 0 } je něco jiného (!), jedná se o množinu { 20, 2, 22, 23,...} = {, 2, 4, 8,...} {w {, } ; w > 5} je množin všech slov nd ecedou {, }, jejichž délk je větší než 5 {w {, } ; w 5} je množin všech slov nd ecedou {, }, jejichž délk je menší neo rovn 5, tedy pokud sjednotíme tuto předchozí množinu, dostneme: {w {, } ; w > 5} {w {, } ; w 5} = {, } {w {, } ; w = w } je množin všech slov nd ecedou {, } tkových, že počet znků je stejný jko počet znků, tj. {ε,,,,,,,,,...} { n n ; n 0} oproti předchozímu přidává podmínku n pořdí (nejdřív znky, ž pk ), tedy: {ε,,,...}, do množiny neptří npříkld slovo ni slovo

7 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 3 { i j ; i, j 0 } pro změnu stnovuje pouze podmínku n pořdí: {ε,,,,,,,,...}, do této množiny neptří npříkld slovo { i j ; i 2, j } je definováno podoně jko předchozí, le máme odlišnou spodní hrnici pro hodnotu proměnných i j, nejkrtší slovo je Příkld.3 Npíšeme všechn slov následujících jzyků krtší než 5. Postup: nejdřív místo všech proměnných indexů + dosdíme nejnižší možnou hodnotu, tj. npříkld ve výrzu vytvoříme slovo 0 0 = ε, pk postupně doszujeme vyšší hodnoty v různých možných komincích. + = {,,,,,...} 2 {0, } = { 2, 20, 2, 200, 20, 20, 2, 2000, 200, 200, 20, 200, 20, 20, 2,...} { i j ; i, j } {() i ; i 0} = {,,,...} {ε,,,...} = = {,,, ε,,,...} Zde si všimněme odlišných spodních mezí pro proměnné i, j v oou sjednocovných jzycích pokud i, pk i znmená + neoli. (0) 0 = {0, 00,...} (0) (0) = {ε, 0, 0, 00, 00, 00,...} { i c j ; 0 i < j} = {c, c,...} (všimněte si, že kdyy ve slově ylo jedno, musel y následovt nejméně dvě, což y le znmenlo, že délk slov y neyl krtší než 5) {w {, } ; w < w } = {,,,,,,,,,,,...} (do jzyk všk neptří npříkld slovo, protože není splněn podmínk w < w ) {w {, } ; w = w + } = {,,,,...} (všimněte si, že vedlejším důsledkem podmínky je lichá délk slov jzyk) Úkoly Npište všechn slov následujících jzyků krtší než 5. (c) ( ) () c ( ) c {() i j ; i 0, j } 0 (0) { i j ; i, j 0, i j} {w {, } ; w = w + }

8 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 4 {w {, } ; w < w } { w i ; w {, }, i } {w {, } ; w < 3}.2 Regulární výrzy S regulárními výrzy jsme se již setkli, ted se n ně změříme formálněji. Oznčme pomocnou množinu Φ = {, ε, +,,, (, )}. nožin RV (Σ) všech regulárních výrzů nd ecedou Σ je nejmenší množin slov (řetězců) tková, že slov se skládjí ze symolů ecedy Σ Φ, Σ Φ jsou disjunktní, RV (Σ), ε RV (Σ), RV (Σ) pro kždé Σ, jestliže α, β RV (Σ), pk tky (α + β) RV (Σ), (α β) RV (Σ), (α) RV (Σ). Symol pro zřetězení se nemusí psát. Pro operce používné v regulárních výrzech pltí podoná prvidl jko pro operce v ritmetických výrzech. Npříkld operátory + jsou socitivní distriutivní, + tké komuttivní. Prvky ε plní v regulárních výrzech podonou roli jko v ritmetice nul jedničk. Těchto vlstností lze využít při úprvách složitějších regulárních výrzů. P Příkld.4 + = ε = ε = ε + c = c + ( + c) = + c + = ( + ) = + (c + d) = ( + c + d) ( ) = ( ) = {, } = ( + ) ( + ε) = ( + ε) = + ε = () = () = () + (c) = (ε + (c) ) = (c) + () = (() + () ) = () Úkoly Zjednodušte tyto regulární výrzy: + ( + ε) () + () + c(c) + ( + ε) + {, } () + () {, } + () 0(0) (0) 0(0) (0) {0, }

9 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 5.3 Určení jzyk Když máme sestvit předpis jzyk (tj. množiny řetězců) splňujícího určitou podmínku, musíme vždy zpst mximální množinu vyhovující dné podmínce. Jkýkoliv řetězec vyhovující zdné podmínce musí ptřit do tkového jzyk. Příkld.5 Sestvíme předpis jzyk L splňujícího následující podmínku: L oshuje všechn slov zčínjící řetězcem končící symolem, je nd ecedou {, }: L = ( + ) = {} {, } {} = { w ; w {, } } slov jzyk L oshují nejméně 2 symoly mximálně 0 symolů, nd ecedou {, }: L = {w {, } ; w 2, w 0} v první části slov jsou pouze symoly, v druhé části slov jsou pouze symoly : L = = { i j ; i, j 0} v kždém slově je stejný počet symolů, nd ecedou {, }: L = {w {, } ; w = w } ve slovech je symolů méně než symolů, nd ecedou {, }: L = {w {, } ; w < w } všechn slov mjí sudou délku, nd ecedou {, }: L = (( + ) 2 ) = {w {, } ; w = 2n, n N 0 } (N 0 povžujme z množinu všech přirozených čísel, včetně nuly) jzyk nd ecedou {}, počet symolů ve slově je druhou mocninou některého přirozeného čísl neo nuly: L = { n2 ; n 0} jzyk nd ecedou {, }, počet symolů ve slově je druhou mocninou některého přirozeného čísl neo nuly: L = {w {, } ; w = n 2, n 0} jzyk je nd ecedou {, }; slov zčínjí symolem oshují sudý počet symolů, neo zčínjí symolem oshují lichý počet symolů : L = { w ; w = 2n, n 0} { w ; w = 2n +, n 0}

10 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 6 slov mjí méně symolů než symolů, zároveň stejný počet symolů c jko symolů, jsou nd ecedou {,, c}: L = {w {,, c} ; w < w } {w {,, c} ; w c = w } = {w {,, c} ; w < w, w c = w } Úkoly Sestvte předpis jzyk, kde. všechn slov zčínjí písmenem počet symolů je větší než 5, 2. počet symolů je dvojnásokem počtu symolů, 3. délk slov je některou (přirozená čísl) mocninou čísl 3, jzyk je nd ecedou {, }, 4. počet symolů ve slovech je některou (přirozená čísl) mocninou čísl 3, jzyk je nd ecedou {, }, 5. počet symolů je větší neo roven počtu symolů ve slově, zároveň délk slov je nejméně 8, jzyk je nd ecedou {, }, 6. počet symolů je větší než počet symolů ve slově, neo délk slov je nejméně 8, jzyk je nd ecedou {, }, 7. jedná se o jzyk přirozených inárních čísel nd ecedou {0, }; symolem 0 může zčínt pouze jednociferné číslo (tj. jednoznkový řetězec 0 ), všechn osttní slov zčínjí symolem, jzyk neoshuje prázdné slovo, 8. jedná se o jzyk reálných inárních čísel s desetinnou tečkou nd ecedou {0,,.}; pro celou část slov (reálného čísl) pltí podmínk z předchozího odu, je nd ecedou {0, }, dále následuje desetinná tečk s reálnou částí, v reálné části z desetinnou tečkou (tké nd ecedou {0, } musí ýt lespoň jeden symol. R.4 Operce nd jzyky Protože jzyky jsou množiny řetězců (slov), lze n nich provádět množinové řetězcové operce. Jzyk reprezentujeme ud množinově neo výrzem (konkrétněji regulárním výrzem). Správně ychom měli používt znčení opercí odpovídjící reprezentci jzyk (tj. množinové operce, jko je npříkld sjednocení či průnik, provádět zásdně n množinových reprezentcích jzyků), le pokud y způso reprezentce yl příliš komplikovný, můžeme od tohoto předpisu upustit. Typicky operci průniku udeme používt i u reprezentce jzyk regulárním výrzem. V následujících definicích udeme vždy předpokládt, že jzyky jsou nd ecedou Σ. Nejdřív se udeme zývt regulárními opercemi sjednocení, zřetězení iterce, které mjí lízký vzth k regulárním výrzům.

11 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 7.4. Regulární operce Sjednocení: Slovo ptří do sjednocení dvou množin, jestliže je prvkem lespoň jedné z těchto P množin. Formální zápis: L L 2 = {w Σ ; w L neo w L 2 } (.) Jedná se o jednu z regulárních opercí, což znmená, že má svůj orz v reprezentci jzyk formou regulárního výrzu. Tm místo symolu používáme symol +. Příkld.6 Pokud L = {c, c, c} L 2 = {, c}, pk L L 2 = {c, c, c, } Pokud L = L 2 = c, pk L L 2 = + c = ( + c) Pokud L = L 2 = { 2n ; n 0 }, pk L L 2 = L (protože zde L 2 L ) L = L (prázdná množin zde plní roli neutrálního prvku) Zřetězení: Zřetězení dvou slov není tře definovt, zpisujeme je u v, kde u, v Σ. Zřetězením dvou jzyků je jzyk, jehož slov lze rozdělit n dvě části první ptří do prvního stnoveného jzyk, druhá část do druhého jzyk. P L L 2 = {u v ; u L, v L 2 } (.2) Zřetězení jzyků provedeme jednoduše tk, že po dvojicích zřetězujeme slov těchto jzyků (kždé slovo prvního jzyk postupně s kždým slovem druhého jzyk). Příkld.7 Pokud L = {c, c, c} L 2 = {, c}, pk L L 2 = {c, cc, c, cc, c, cc} Pokud L = {ε, } L 2 = {, c}, pk L L 2 = {ε, ε c,, c} = {, c,, c} Pokud L = {ε, } L 2 = {ε, c}, pk L L 2 = {ε ε, ε c, ε, c} = {ε, c,, c} Pokud L = L 2 =, pk L L 2 = Pokud L = L 2 = { 2n L L 2 = (proč?) ; n 0 }, pk

12 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 8 L {ε} = L (prázdné slovo zde plní úlohu neutrálního prvku) L = (podoně jko když násoíme nulou) Iterce: Iterce (Kleeneho uzávěr) je nám již známá operce hvězdičk. Definujme postupně: P L 0 = {ε} (neutrální prvek vzhledem k zřetězení) (.3) L = L (.4) L n = {w w 2... w n ; w i L, i n}, n (.5) L n+ = L L n, n 0 (.6) L = L 0 L L 2... (.7) = L n (.8) n=0 Příkld.8 L = {}, pk L = Pokud L = {c, c, c}, pk L = (c + c + c) Pokud L = { 2n ; n 0 }, pk L = (protože do L ptří i slovo, z něj lze poskládt všechn slov delší než ε) = {ε} (Je to správně? Proč no/ne? Nápověd: dosd te si do výše uvedeného vzorce pro iterci.) {ε} = {ε} Úkoly. Které z výše uvedených regulárních opercí jsou inární která z těchto inárních je komuttivní? Jsou socitivní? 2. Jsou dány tyto jzyky: L = {} L 2 = L 3 = () L 4 = { i i ; i 0} L 5 = {ε, }. Jk vypdjí následující jzyky?

13 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 9 L L 2 L L 5 L L 3 L L 4 L L 5 L L 2 L L 3 L 3 L 4 L, L 3 L 2 L 4 L 5 Jk víme z přednášek, regulární výrz je tkové vyjádření (zápis) množiny řetězců, ve kterém používáme operce +, zřetězení iterce. Zde jsme prorli tři operce nd množinmi řetězců sjednocení, zřetězení iterci, nzvli jsme je regulárními opercemi. Shrňme si nyní vzth regulárních opercí k regulárním výrzům: Regulární výrz Jzyk, tedy prázdný jzyk ε {ε} (jzyk oshující jen slovo s nulovou délkou), Σ {} (jzyk oshující jen slovo s délkou ) α + β α β (α) {α} {β} (sjednocení) {α} {β} (zřetězení) {α} (iterce) Tulk.: Vzth mezi zápisem regulárních výrzů jzyků.4.2 Dlší potřené operce Průnik: Do průniku dvou jzyků ptří všechn slov, která jsou jk v prvním, tk (zároveň) P i v druhém jzyce. L L 2 = {w Σ ; w L w L 2 } (.9) (všimněte si vzthu průniku konjunkce; v podoném vzthu pro sjednocení disjunkce) Příkld.9 Pokud L = {c, c, c} L 2 = {, c}, pk L L 2 = {c} Pokud L = {c, c} L 2 = {, c}, pk L L 2 = Pokud L = L 2 =, pk L L 2 = {ε} Pokud L = L 2 = { 2n ; n 0 }, pk L L 2 = L 2 (protože zde L 2 L ) L =

14 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 0 Rozdíl: Rozdíl dvou jzyků je množin všech slov, která ptří do prvního z těchto jzyků zároveň neptří do druhého jzyk. L L 2 = {w Σ ; w L w / L 2 } (.0) Příkld.0 Pokud L = {c, c, c} L 2 = {, c}, pk L L 2 = {c, c} P Pokud L = {c, c} L 2 = {, c,,, c}, pk L L 2 = Pokud L = L 2 =, pk L L 2 = L {ε} = L = L Doplněk: Doplněk (komplement) jzyk vzhledem k dné ecedě Σ je množin všech slov nd P dnou ecedou, která do původního jzyk neptří. Doplněk jzyk L zpisujeme L neo L. L = L = {w Σ ; w / L} (.) Příkld. Pokud L = {c, c, c}, pk L = Σ {c, c, c} Pokud L = {w Σ ; w > 0}, pk L = {w Σ ; w 0} Pokud L = Σ, pk L = ( nopk) Tké zde pltí Deorgnovy zákony: L L L 2 = L L 2 neo L L 2 = L L 2 L L 2 = L L 2 neo L L 2 = L L 2 (.2) nožinové operce sjednocení průniku jsou nvzájem duální nvzájem n see převeditelné (pokud použijeme operci negce) tk, jk vidíme v Deorgnových zákonech.. Zrcdlový orz: Zrcdlový orz (reverze) slov vznikne převrácením tohoto slov. V reverzi P jzyk provedeme totéž s kždým slovem tohoto jzyk. L R = L = {w R ; w L} (.3)

15 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY Příkld.2 L = {c, mnp, ε}, pk L R = {c, pnm, ε} Pokud L =, pk L R = (změn pořdí symolů není pozntelná, totéž pltí pro všechny jzyky nd jednoznkovou ecedou) L = { n n ; n 0}, pk L R = { n n ; n 0} L = {wcw R ; w {, } }, pk L R = {wcw R ; w {, } } Pozitivní iterce: Pozitivní iterce (operce plus je definován podoně jko iterce: P L + = L L 2... (.4) = L n (.5) n= Homomorfismus: orfismus (homomorfismus je to totéž) je zorzení h zchovávjící neutrální prvek (zde ε) operci n dné struktuře (u nás zřetězení) v dné ecedě Σ, tj. splňuje homomorfní podmínky:. h(ε) = ε 2. h( w) = h() h(w), Σ, w Σ Pokud zorzení splňuje homomorfní podmínky, lze je definovt jednodušeji pro jednotlivé symoly jzyk. Pltí vzorec: h(l) = h(w) (.6) Příkld.3 N jzyk L = { 2 i () i+ ; i } upltníme homomorfismy h h 2 definovné následovně: h () = cd h () = c 3 h 2 () = c h 2 () = c w L Potom pltí: h (L) = {(cd) 2 c 3i (cdc 3 ) i+ ; i } h 2 (L) = { c i+2 (cc) i+ ; i } = { c 3i+4 ; i } = c 4 c 3 ( c 3) P

16 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 2 Úkoly. Které z výše uvedených opercí jsou inární které z těchto inárních jsou komuttivní? Jsou socitivní? 2. Jsou dány tyto jzyky: L = {} L 2 = L 3 = () L 4 = { i i ; i 0} L 5 = {ε, }. Jk vypdjí následující jzyky? L L 3 L L 4 L 2 L 5 L 2 L L L 3 L 5 L 3 L L +, L+ 3 L + 5 L R, LR 3 L R 2 L R 4 3. Je dán homomorfismus h definovný následovně: h() = 0, h() = 0. Určete h(l ), pokud L = {ε,,, } Určete h(l 2 ), pokud L 2 = () Určete h(l 3 ), pokud L 3 =.4.3 Prefixy postfixy slov Následující operce nám umožňují prcovt s prefixy (predponmi) postfixy (příponmi) slov. Levý prvý derivát určují množinu slov dného jzyk, jejichž prefixem či postfixem je dné slovo, levý prvý kvocient používjí místo jednoho prefixu či postfixu celou množinu (tedy jiný jzyk). Levý prvý derivát: Levý derivát jzyk L podle slov x je množin všech slov tkových, že pokud je k nim zlev opercí zřetězení přidáno slovo x, ptří do jzyk L. δ l x(l) = {w Σ ; x w L} (.7) Prvý derivát jzyk L podle slov x je množin všech slov tkových, že pokud je k nim zprv opercí zřetězení přidáno slovo x, ptří do jzyk L. δ r x(l) = {w Σ ; w x L} (.8) Příkld.4 Pokud L = {() i () i ; i 2}, pk δ l (L) = {()i () i ; i 2} δ r (L) = {()i () i 2 ; i 2} = {() i+2 () i ; i 0} δ() r (L) = {() i+4 () i ; i 0} (všimněte si, že některá slov jzyk L do výsledného 4 jzyk neyl vůec zřzen)

17 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 3 Levý prvý kvocient: Jedná se o zoecnění levého prvého derivátu. Levý kvocient jzyk L vzhledem k jzyku L 2 je sjednocením levých derivátů jzyk L vzhledem ke všem slovům jzyk L 2. Podoně prvý kvocient jzyk L vzhledem k jzyku L 2 je sjednocením prvých derivátů jzyk L vzhledem ke všem slovům jzyk L 2. L 2 \L = {w Σ ; existuje x L 2 tk, že x w L } L \ = {w δ l x(l ) ; x L 2 } (.9) L 2 = {w Σ ; existuje x L 2 tk, že w x L } = {w δ r x(l ) ; x L 2 } (.20) nemotechnická pomůck: z toho jzyk, který je níže, ereme prefix (tj. slovo x z výše uvedených vzorců). Ten jzyk, který je výše, ude zlev neo zprv osekán. L Příkld.5 Jsou dány tyto jzyky: L = {,, c} L 2 = { i c i ; i 0} L 3 = L 4 = L 5 = () L 6 = () + L 7 = {ε, c, } Stnovíme tyto levé prvé kvocienty: L \L 2 = {c, cc} (všimněte si, že oprvdu jde o konečný jzyk, třeže L2 je nekonečný) L 2 \L = (protože žádné slovo z jzyk L2 není prefixem žádného slov jzyk L ; pozor, nejkrtší slovo z jzyk L 2 je, nikoliv ε) L 3 \L 2 = { m c i ; 0 m i} (postup: vezmeme slovo z L 2, npříkld 4 c 4, použijeme jko prefixy postupně slov ε,, 2, 3, 4 z jzyk L 3 všechn do délky počtu symolů ve slově z jzyk L 2, pk dlší slovo, td.) L 4 \L 2 = L2 { m c i ; 0 m i} {c i ; i 0} (první část: z L 4 zvolíme ε; druhá část: z L 4 zvolíme slov ; třetí část: z L 4 zvolíme ) protože L 2 { m c i ; 0 m i}, výsledek můžeme zjednodušit; jk? L 5 \L 2 = L2 {c} (pokud x = ε, pk získáme L 2 ; pokud x = {}, získáme {c}; dlší slov z L 4 nelze použít) L 6 \L 2 = {c} L 7 \L 2 = L2 {ε, c} L L \ L 5 = L {ε, } (pozor, ted už počítáme prvý kvocient) \ L 6 = {ε, }

18 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 4.5 K vlstnostem jzyků Příkld.6 Ještě si trochu procvičíme operce nd jzyky. L = { i j ; i, j 0} L 2 = {w {, } ; w = w } L L 2 = { n n ; n 0} L R = {j i ; i, j 0} L R 2 = L 2 (kždé slovo po reverzi opět ptří do původního jzyk nopk) L = () L 2 = () L L 2 = {ε} L L 2 = () + () L R = L 2, L R 2 = L L = L 2 = L L 2 = {ε} L L 2 = + (pozor, ne ( + ), ve slovech udou vždy ud jen symoly neo jen symoly ) {, } L = {w {, } ; w } (proč?) L R = L, L R 2 = L 2 L = { n c n n ; n 0} L 2 = {wcw R ; w {, } } L L 2 = {c} L L 2 = { n c n n ; n 2} {ε} = L {c} (všimněte si minim pro hodnotu n) L R = {n c n n ; n 0} L R 2 = L 2 L = L 2 = { 2n ; n 0} L L 2 = L (protože L 2 L ) L L 2 = L 2 (z téhož důvodu) L 2 L = (le nopk y to nepltilo, operce není komuttivní) Z příkldu.6 je zřejmé, že + ( + ) L Tké ychom si měli dávt pozor n to, že operce zřetězení není komuttivní (nicméně socitivní je). Nproti tomu operce + má stejné vlstnosti jko operce sjednocení množin, včetně vlstnosti komuttivity socitivity.

19 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 5 Příkld.7 Njdeme jzyk L, který splňuje dnou vlstnost: L = L L npříkld: L = {, }, protože pltí {, } {, } = {, } jiné možnosti: L =, L = (), L = {ε}, L = {w {, } ; w = w }, td. šptně y ylo npříkld L = {}, L = {, c}, L = { 2n }, L = {w {, } ; w = w +} L = L npříkld: L =, protože jk L, tk i L oshují právě všechny řetězce nd ecedou {} jiné možnosti: L = {, }, L = {w {, } ; w = w }, L = {ε}, td. šptně y ylo npříkld L = {, }, L = { n n ; n 0}, L = + L = L + npříkld: L = { n n ; n 0}, protože L i L + oshují ttáž slov včetně ε jiné možnosti: L =, L = {, }, L = {w {, } ; w = w }, td. (je tře, y ε L) šptně y ylo npříkld L = { n n ; n }, L = {w {, } ; w < w } L L R = npříkld: L = { n n ; n } (v reverzi je opčné pořdí, v jzycích není slovo ε) jiné možnosti: L = (), L = {c} šptně y ylo npříkld L = (), L = {, }, L = {w {, } ; w = w } L = L {ε} npříkld: L = {w {, } ; w < w }, zde nevdí, že v L není ε jiné možnosti: L =, L = {, }, L = { n n ; n }, td. šptně y ylo npříkld L = {c}, L = { n n ; n } Příkld.8 Njdeme jzyk L, který nesplňuje dnou vlstnost: L = L npříkld: L = {c, }, protože L = {ε, c,, cc, c,, c,...} šptně: L =, protože L = ( ) = (pozor, v zdání je nesplňuje ) L L R = npříkld: L = { n n ; n 0}, protože L i L oshují slovo ε šptně: L = { n n ; n }, zde oprvdu L R nemjí žádné společné slovo, jsou disjunktní

20 KAPITOLA JAZYKY A REGULÁRNÍ VÝRAZY 6 Úkoly. Ke kždému vzthu npište jzyk L, který dnou vlstnost splňuje, jzyk L n, který dnou vlstnost nesplňuje: L = L R L L = {ε} L = {, } L 2. Ke všem vlstnostem z příkldů.6.8 určete, zd je následující jzyky splňují: L = {,, c} L 2 = {wcw R ; w {, } } L 3 = {ww R ; w {, } } L 4 = { 2n ; n 0 } 3. Je dán jzyk L = () () následující homomorfismy: h () = 0 h () = 0 Zjistěte jzyky h (L) h 2 (L). h 2 () = 0 h 2 () = Připomeňte si, jk je u lgerických struktur definován vlstnost komuttivity, socitivity distriutivity. Zjistěte, zd je operce zřetězení distriutivní vzhledem k operci + nopk. 5. Je dán jzyk L = {vypst, vylít, vymzt}. Vytvořte: {vy}\l = δvy l = ( {pře} {vy}\l ) = R

21 Kpitol 2 Konečné utomty Konečný utomt je jednoduchý mtemtický model, který se skládá z řídicí jednotky (včetně stvu), vstupní pásky (vstupní souor či jiná dtová struktur) čtecí hlvy. V kždém kroku tento utomt nčte jeden symol ze vstupu činnost v tomto kroku je určen podle tohoto nčteného symolu momentálního stvu, spočívá ve změně stvu. 2. Vytváříme konečný utomt Konečný utomt lze zpst celkem třemi způsoy:. použitím plné specifikce s δ-funkcí 2. stvovým digrmem 3. tulkou přechodů Ukážeme si všechny tři způsoy. Exktní postup vytvoření konečného utomtu si ukážeme později (kpitol 2.8 n strně 44), le ychom mohli sestrojovt už ted lespoň menší konečné utomty, podíváme se n zjednodušený postup. Příkld 2. Vytvoříme konečný utomt pro jzyk L = ( ( + ) ) = ( ( + ) ) ve všech třech reprezentcích. U menších utomtů je nejjednodušší vytvořit stvový digrm: q 0 q q 3 q 4, q 2 P δ-funkce včetně plné specifikce: A = ({q 0, q, q 2, q 3, q 4 }, {, }, δ, q 0, {q 3 }) 7 δ(q 0, ) = q δ(q, ) = q 2 δ(q, ) = q 3 δ(q 2, ) = q 4 δ(q 2, ) = q 4 δ(q 4, ) = q δ(q 3, ) = q 3

22 KAPITOLA 2 KONEČNÉ AUTOATY 8 Tulk přechodů: q 0 q q q 2 q 3 q 2 q 4 q 4 q 3 q 3 q 4 q Ztímco u stvového digrmu tulky přechodů nemusíme uvádět plnou specifikci řetězec A = ({q 0, q, q 2, q 3 }, {, }, δ, q 0, {q 3 }), při použití δ-funkce je plná specifikce nutná. Bez ní ychom nepoznli, který stv je počáteční které stvy jsou koncové. Příkld 2.2 Sestrojíme konečný utomt rozpoznávjící celá čísl. Používáme číslice , číslo se musí skládt z lespoň jedné číslice. Víceciferná čísl nesmí zčínt nulou. Vytvoříme utomt se třemi stvy. Oddělíme zprcování jednociferného čísl 0 od osttních, která nulou nesmí zčínt. q,..., q 2 q 0,..., 9 Úkoly. Pro následujích šest jzyků sestrojte konečný utomt ve všech třech reprezentcích: () () {0, } (c) {0, } (d) () (e) { i ; i } { i ; i 0} (f) {, c} 2. Podle zdání vytvořte zylé dvě reprezentce dného konečného utomtu. () Podle δ-funkce vytvořte stvový digrm tulku přechodů: A = ({q 0, q, q 2 }, {,, c}, δ, q 0, {q, q 2 }) δ(q 0, ) = q δ(q 0, ) = q 2 δ(q, c) = q δ(q 2, c) = q () Podle kždé tulky přechodů vytvořte stvový digrm δ-funkci s plnou reprezentcí utomtu: 0 A B B B D D D q 0 q q 0 q q q 2 q 2 q 3 q 3

23 KAPITOLA 2 KONEČNÉ AUTOATY 9 Všimněte si, že podle druhé tulky je počáteční stv zároveň koncový (šipk vede oěm směry). (c) Podle kždého stvového digrmu vytvořte tulku přechodů δ-funkci s plnou reprezentcí utomtu: q c 0, q 0 0 q 0 q 2 q 0 c q 2 q 3 3. Sestrojte konečný utomt (stvový digrm) rozpoznávjící reálná čísl. elá část je podle zdání v předchozím příkldu, následuje desetinná čárk pk opět sekvence číslic (lespoň jedn, může to ýt i číslice 0). 4. Podle stvového digrmu pro reálná čísl vytvořte tulku přechodů. 2.2 Nedeterministický konečný utomt Nedeterministický konečný utomt je tkový utomt, kde v lespoň jednom stvu lze n některý signál regovt více různými způsoy. Protože se tento typ utomtu šptně progrmuje (je těžké vložit do instrukcí náhodnost zvolit jednu z nízených cest, to pokud možno tk, y vedl správným směrem, do koncového stvu), může se hodit postup, jk nedeterministický utomt převést n deterministický se zchováním rozpoznávného jzyk. Příkld 2.3 Zdný nedeterministický utomt převedeme n deterministický (je dán stvový digrm tulk přechodů). P 0 q 0 0, 0 q 0 q 2 q 0 q q q 0, q 2 q 0 q 2 Tento převod je nejjednodušší n tulce přechodů. V některých uňkách je více než jedn položk, proto osh uněk udeme chápt jko množiny. Vytváříme tedy nový konečný (deterministický) utomt tkový, že jeho stvy jsou množinmi stvů původního utomtu. Novou tulku přechodů tedy vytvoříme z původní tulky tk, že nejdřív jk osh uněk, tk i stvy v oznčení řádků uzvřeme do množinových závorek. Tím le v některých uňkách (zde v jedné) dostneme stv, který není v oznčení žádného řádku. To nprvíme jednoduše tk, že přidáme nový řádek tulky s tímto oznčením osh uněk zjistíme sjednocením řádků původní tulky oznčených prvky množiny, se kterou právě prcujeme:

24 KAPITOLA 2 KONEČNÉ AUTOATY {A}... {B, } {B} {D, E}... {G} {} {F }... {H, I} {A} {B} {D, E} {B, } {D, E, F }... {B, }... {} {F }... {H, I} {G, H} {G, H, I} ůže se stát, že sjednocením množin v uňkách opět vznikne množin, která se nenchází v oznčení žádného řádku. Pk opět vytvoříme nový řádek pro uňky použijeme operci sjednocení množin. Postup je tedy rekurzivní. Tkže k příkldu: 0 {q 0 } {q } {q } {q 0, q 2 } {q 0 } {q 2 } 0 {q 0 } {q } {q } {q 0, q 2 } {q 0 } {q 2 } {q 0, q 2 } {q } = {q } = Vlstnost ýt koncovým stvem se tké dědí v rámci sjednocení pokud lespoň jeden z prvků množiny stvů je v původním utomtu koncovým stvem, stává se koncovým stvem i celá tto množin. Uvedený postup je vlstně zkrácený. Ve skutečnosti ychom měli postupovt tk, že ychom jko stvy použili všechny možné komince stvů opět operci sjednocení množin: 0 {q 0 } {q } {q } {q 0, q 2 } {q 0 } {q 2 } {q 0, q } {q 0, q, q 2 } {q 0 } {q 0, q 2 } {q } {q, q 2 } {q 0, q 2 } {q 0 } {q 0, q, q 2 } {q 0, q, q 2 } {q 0 } 0 q 0 0 q 0, q 0 q, q 2 q q 0 q 0, q, q 2 0 q 0, q 2 Ve stvovém digrmu můžeme vidět, že stvy, které jsou oproti předchozímu postupu nvíc, jsou nedosžitelné z počátečního stvu tedy se nencházejí n žádné cestě při zprcování slov jzyk. Proto je vlstně můžeme ez újmy n oecnosti z utomtu odstrnit.

25 KAPITOLA 2 KONEČNÉ AUTOATY 2 Úkoly Uvedené nedeterministické konečné utomty reprezentovné tulkmi převed te n ekvivlentní deterministické. Ke kždému vytvořte stvový digrm původního nedeterministického utomtu i vytvořeného deterministického porovnejte. X Y Y Z Z X X, Z 0 q 0 q 0, q q 0, q q q, q 2 q 2 c q 0 q, q 2 q q q 2 q, q 2 q 2 q 0 q Totální utomt V totálním (úplném) utomtu lze v kždém stvu regovt n jkýkoliv symol. Při převodu (netotálního) utomtu n totální vytvoříme nový stv ( odpdkový koš, chyový stv), do kterého přesměrujeme všechny chyějící přechody. Nesmíme zpomenout, že poždvek možnosti rekce n kterýkoliv symol se vzthuje tké n tento nově přidný stv. Postup převodu n totální utomt lze použít pouze n deterministický konečný utomt, proto u nedeterministického utomtu je prvním krokem vždy převod n deterministický. Příkld 2.4 K zdnému deterministickému konečnému utomtu vytvoříme ekvivlentní totální utomt: c q 0 q q 0 q q 2 q q 2 q 2 q c q 2 P Tento utomt určitě není totální npříkld ve stvu q 0 nelze regovt hned n dv signály. Vytvoříme nový stv, oznčíme jej symolem přesměrujeme do tohoto stvu všechny chyějící přechody: c q 0 q q q 2 q q 2 q 2 q 0 q c, c,, c c q 2,

26 KAPITOLA 2 KONEČNÉ AUTOATY 22 Příkld 2.5 V příkldu 2.3 jsme k nedeterministickému utomtu vytvořili ekvivlentní deterministický. Tento deterministický utomt nyní zúplníme (převedeme n totální). Stv {q 2 } není dosžitelný z počátečního stvu, proto jej tké vypustíme. Aychom trochu zjednodušili znčení, udeme místo množin {...} používt velká písmen, provedeme přeznčení: Původní: Přeznčený: Totální: {q 0 } {q } {q } {q 0, q 2 } {q 0 } {q 0, q 2 } {q } A B B A B Stvové digrmy přeznčeného zúplněného utomtu: 0 A 0 B 0 0 A 0 B 0 0, A B B A B Úkoly. Všechny konečné utomty, které jste v úkolu č n strně 2 převedli n deterministické, zúplňte (převed te n totální). 2. Následující konečný utomt převed te n totální nkreslete jeho stvový digrm (signál v záhlví posledního sloupce je desetinná čárk): 0,..., 9, 0,..., 9 A B B B B D D D E E E E E A,..., 9 0, B, 0,..., 9 E 3. Následující (nedeterministický!) konečný utomt zúplňte. 0 A B B B, A A, 0 A 0 0 B

27 KAPITOLA 2 KONEČNÉ AUTOATY Konečné jzyky Všechny konečné jzyky jsou regulární, proto pro ně dokážeme sestrojit konečný utomt. U konečného utomtu pro konečný jzyk ývá ovyklý poždvek n rozlišitelnost nčítných slov podle koncového stvu, tedy pro kždé slovo jzyk y měl existovt smosttný koncový stv. Pk ez nutnosti porovnávání vstupu s jednotlivými slovy jzyk sndno zjistíme, které slovo ylo nčteno podle koncového stvu, ve kterém skončil výpočet. Postup je jednoduchý pro kždé slovo jzyk vytvoříme větev ve stvovém digrmu. Jestliže chceme utomt deterministický (opět jde o ovyklý poždvek, pokud tento postup používáme při progrmování), stčí sloučit počátky těch větví, které stejně zčínjí (konce větví nesmíme sloučit, neylo y možné rozpoznt slov jzyk podle koncových stvů!). Příkld 2.6 Podle zdného konečného jzyk vytvoříme konečný utomt. L = {hrd, hrom, polom, ohrd} q r q 2 q d 3 q 4 h h q r 5 q o 6 q m 7 q 8 q 0 p q o o 9 q l 0 q o q m 2 q 3 q h 4 q r 5 q 6 q d 7 q 8 q 9 Dále chceme, y utomt yl deterministický se zchováním možnosti rozlišit rozpoznávná slov podle koncového stvu. První dvě slov jzyk zčínjí stejným podřetězcem, tedy zčátky prvních dvou větví sloučíme: q r q 2 h o q d 3 q 4 q m 7 q 8 q 0 p q o o 9 q l 0 q o q m 2 q 3 q h 4 q r 5 q 6 q d 7 q 8 q 9 Kdyychom netrvli n podmínce odlišení slov koncovými stvy, ylo y možné sloučit všechny koncové stvy v jeden, tké stvy q 7 q 2. V konečném utomtu pro konečný jzyk nesmí ( ni nemůže) ýt žádná smyčk (cyklus) kdyy yl, pk y ylo možné tuto smyčku jkýkolivpočetkrát zopkovt rozpoznávný jzyk y yl nekonečný.

28 KAPITOLA 2 KONEČNÉ AUTOATY 24 Úkoly. Vytvořte konečný utomt pro následující jzyky (deterministický, to tk, y pro kždé slovo jzyk existovl jeden konečný stv): () L = {strom, stroj, výstroj} () L = {if, else, elif} (c) L c = {red, write, writell, mtrix} (d) L d = {delfín, ry, velry} Poznámk: V přípdě (c) ude koncový stv větve pro druhé slovo součástí větve pro třetí slovo (pokud vytvoříme deterministický utomt). To je v pořádku, vlstnost rozpoznávání podle koncového stvu zůstává zchován. 2. Vytvořte konečný utomt (stvový digrm), který ude rozpoznávt všechn slov nd ecedou Σ = {,, c}, jejichž délk je () právě 3 znky, () nejvýše 3 znky (tj. 0,, 2 neo 3 znky). Nápověd: Jde o konečné jzyky. Víme, že v utomtu pro konečný jzyk nesmí ýt cyklus, tké víme, že přechody ve stvovém digrmu mohou ýt oznčeny více než jedním znkem. 2.5 Odstrnění nepotřených stvů (redukce) Nepotřené stvy jsou stvy, které nejsou použity při žádném úspěšném výpočtu (tj. končícím v koncovém stvu). Jedná se o stvy nedosžitelné neexistuje k nim cest z počátečního stvu, ndytečné neexistuje cest z tohoto stvu do jkéhokoliv koncového stvu. S odstrňováním (lépe řečeno ignorováním, neuvedením či vypuštěním) prvního typu nepotřených stvů nedosžitelných jsme se setkli už u zkráceného postupu pro převod nedeterministického utomtu n deterministický. Pokud nové řádky tulky přechodů tvoříme jen pro tkové množiny původních stvů, které se již vyskytly v některé uňce, většinu nedosžitelných stvů (le ne vždy všechny) utomticky odstrňujeme. Když chceme odstrnit nepotřené stvy, vždy zčínáme nedosžitelnými stvy ž potom odstrníme ndytečné. V oou přípdech postupujeme rekurzívně, to ud podle stvového digrmu neo podle tulky přechodů. nedosžitelné stvy: jko ázi (zákldní množinu) zvolíme S 0 = {q 0 } (oshuje pouze počáteční stv), dlší prvky přidáváme ve směru šipek v stvovém digrmu, resp. v tulce přechodů ve směru oznčení řádku osh uněk n řádku, postupně vytváříme množinu všech stvů, do kterých vede cest z počátečního stvu o délce mx. 0,,..., n kroků (toto číslo je dolní index u oznčení vytvářené množiny S i );

29 KAPITOLA 2 KONEČNÉ AUTOATY 25 ndytečné stvy: jko ázi nopk zvolíme množinu koncových stvů E 0 = F, dlší prvky přidáváme proti směru šipek v stvovém digrmu, resp. ve směru osh některé uňky tulky přechodů oznčení řádku, vytváříme množinu všech stvů, ze kterých vede cest do některého koncového stvu o délce mx. 0,,..., n kroků. Příkld 2.7 V zdném konečném utomtu odstrníme nedosžitelné ndytečné stvy. c q 0 q q 3 q q q 2 q 5 q 2 q 3 q 0 q 3 q 3 q 4 q 5 q 2 q 3 q 5 q 5 q 0 c q 3 q c q 2 c q 5 q 4 Odstrníme nedosžitelné stvy (do kterých neexistuje cest z počátečního stvu): S 0 = {q 0 } S = {q 0 } {q, q 3 } = {q 0, q, q 3 } (ze stvu q 0 vede přechod do q q 3 ) S 2 = {q 0, q, q 3 } {q 5, q 2 } = {q 0, q, q 3, q 5, q 2 } S 3 = {q 0, q, q 3, q 5, q 2 } = S 2 (konec, v posledním kroku žádný stv do množiny nepřiyl) V množině S 3 není stv q 4, je tedy nedosžitelný z počátečního stvu můžeme ho z utomtu odstrnit. V kždé z množin S i, které jsme postupně vytvořili, njdeme všechny stvy, které jsou z počátečního stvu dosžitelné po nejvýše i krocích. Dále zjistíme, ze kterých stvů nevede cest do koncových stvů. Budeme prcovt již s utomtem po odstrnění stvu q 4. E 0 = F = {q, q 5 } E = {q, q 5 } {q 0 } = {q, q 5, q 0 } (do stvů z E 0 vede přechod pouze ze stvu q 0 ) E 2 = {q, q 5, q 0, q 2 } E 3 = {q, q 5, q 0, q 2 } = E 2 V množině E 3 není stv q 3, to znmená, že z tohoto stvu neexistuje žádná cest do koncového tedy když tento stv odstrníme, neovlivníme výpočet žádného slov, které utomt rozpoznává. Odstrníme tento stv tké všechny přechody s ním přímo související. Po odstrnění stvů neptřících do množin S i E i dostáváme tento konečný utomt: c q 0 q q q q 2 q 5 q 2 q 0 q 5 q 5 q 0 c q c q 2 q 5

30 KAPITOLA 2 KONEČNÉ AUTOATY 26 Úkoly. Podle zdání následujícího utomtu vytvořte tulku přechodů stvový digrm. Potom odstrňte nepotřené stvy. Tkto uprvený utomt pk zúplňte (převed te n totální utomt). A = ({A, B,, D, E, F }, {0,, 2}, δ, A, {A, }) s funkcí δ: δ(a, 0) = E δ(a, ) = B δ(a, 2) = E δ(b, 0) = δ(b, ) = D δ(b, 2) = E δ(, 0) = δ(, ) = δ(d, 2) = δ(e, ) = E δ(e, 2) = E δ(f, 0) = δ(f, ) = E δ(f, 2) = F 2. K následujícímu konečnému utomtu vytvořte zývjící dvě reprezentce δ-funkci tulku přechodů. Potom odstrňte všechny nepotřené stvy. A c D B F E G 3. Podle následujících konečných utomtů určených tulkmi přechodů sestrojte stvové digrmy pk odstrňte všechny nepotřené stvy. c A A A B B B D A E B E B c q 0 q 4 q q q 4 q 0 q 2 q 3 q q 2 q 3 q 4 q 3 q 4 q 3 4. Zmyslete se nd těmito přípdy: jk y vypdl jzyk uprveného utomtu (ez nepotřených stvů), kdyy do množin S i neyly zřzeny žádné koncové stvy? Jk y vypdl tento jzyk, kdyy do množin E i neyl zřzen počáteční stv? 2.6 Uzávěrové vlstnosti regulární operce Tříd jzyků je množin všech jzyků s dnou společnou vlstností. Tké regulární jzyky tvoří třídu tříd regulárních jzyků je množin všech jzyků, pro které lze sestrojit konečný utomt. P

31 KAPITOLA 2 KONEČNÉ AUTOATY 27 Víme, že n řetězce lze použít operci zřetězení. Jzyk je množin řetězců, tedy n jzyk můžeme použít různé množinové operce (sjednocení, průnik, doplněk zrcdlení, sustituci), tké operce odvozené z práce s řetězci znky (signály) zřetězení, dále iterci (operce hvězdičk ) dlší. Tříd jzyků je uzvřen vzhledem k nějké operci, pokud po upltnění operce n jzyky z této třídy vždy vznikne jzyk ptřící do stejné třídy. Postupně si ukážeme všechny zákldní operce, to n konečných utomtech. Pokud jde o inární operci (upltňuje se n dv jzyky), je ovykou podmínkou disjunktnost průniku množin stvů utomtů (žádný stv existuje v oou utomtech zároveň) Sjednocení V přípdě sjednocení využijeme celou definici původních utomtů. Přidáme nový stv z tohoto stvu povedeme přechody do všech stvů, do kterých vede přechod z počátečního stvu. Nový stv nám tedy simuluje použití počátečních stvů v původních utomtech. Postup si můžeme předstvit tře tk, že vezmeme všechny přechody, které vedou z původních počátečních stvů, zkopírujeme (ne přeneseme, ty původní musejí zůstt) jejich zčátky (tj. u stvů, ze kterých vycházejí) k novému stvu. Pokud některý z původních počátečních stvů ptří i do množiny koncových stvů, pk tké tuto vlstnost přidáme novému počátečnímu stvu. Oznčme A = (Q, Σ, δ, q, F ) je první utomt, A 2 = (Q 2, Σ 2, δ 2, q 2, F 2 ) je druhý utomt, pk utomt rozpoznávjící jzyk, který je sjednocením jzyků oou utomtů, je A = (Q Q 2 {s 0 }, Σ Σ 2, δ, s 0, F F 2 ), pltí, že s 0 / Q Q 2, přechodová funkce: δ(s 0, x) = { δ (q, x) δ 2 (q 2, x), x Σ Σ 2 δ (r, x) ; r Q, x Σ, δ(r, x) = δ 2 (r, x) ; r Q 2, x Σ 2 To znmená, že přechodovou funkci prkticky přejmeme z původních utomtů, změn ude jen n zčátku. Příkld 2.8 Ukážeme si operci sjednocení n následujících jzycích utomtech: L = {() i ( ) : i 0} L 2 = { i j ; i, j 0} Konečné utomty pro tyto jzyky jsou následující: P P q 0 q q 0 q q 2 q q q 2 q 0 q 2 A B A A B B

32 KAPITOLA 2 KONEČNÉ AUTOATY 28 A = ({q 0, q, q 2 }, {, }, δ, q 0, {q 0, q }) δ (q 0, ) = q δ (q 0, ) = q 2 δ (q 2, ) = q 0 δ (q 2, ) = q A 2 = ({A, B, }, {, }, δ 2, A, {}) δ 2 (A, ) = A δ 2 (A, ) = B δ 2 (B, ) = δ 2 (, ) = Přidáme nový stv s 0 všechny přechody z tohoto stvu nsměrujeme oznčíme stejně jko přechody z počátečních stvů původních utomtů. Postup je nejnázornější n stvovém digrmu, le je jednoduchý tké v tulce přechodů stčí oě tulky shrnout do jedné přidt nový řádek, jehož uňky udou sjednocením uněk n řádcích původních počátečních stvů n příslušných sloupcích. Protože jeden z původních počátečních stvů (q 0 ) ptří do množiny koncových stvů, tké nový počáteční stv s 0 ude zároveň koncovým. q 0 q s 0 A q 2 B s 0 q, A q 2, B q 0 q q 2 q q 2 q 0 q A A B B A = ({s 0, q 0, q, q 2, A, B, }, {, }, δ, s 0, {q 0, q, }) δ(s 0, ) = δ (q 0, ) δ 2 (A, ) = {q, A} δ(s 0, ) = δ (q 0, ) δ 2 (A, ) = {q 2, B} δ(q 0, ) = {q } δ(q 0, ) = {q 2 } δ(q 2, ) = {q 0 } Je zřejmé, že L(A) = L(A ) L(A 2 ). δ(q 2, ) = {q } δ(a, ) = {A} δ(a, ) = {B} δ(b, ) = {} δ(, ) = {} Pokud y žádný z původních počátečních stvů neptřil do množiny koncových stvů, pk ni stv s 0 nesmíme zřdit do množiny koncových stvů! Znmenlo y to, že do výsledného jzyk nemá ptřit prázdné slovo. L Úkoly. Použijte operci sjednocení n následující konečné utomty: A B D E

33 KAPITOLA 2 KONEČNÉ AUTOATY Použijte operci sjednocení n následující konečné utomty (q 3 zároveň koncový!): c q 0 q 0, q 2 q q q 2 q 2 q 2 q 3 q 4 q 6 q 4 q 5 q 5 q 3 q 6 3. Pro o konečné utomty ze zdání předchozího příkldu tké pro výsledný utomt vytvořte zylé dv typy reprezentcí stvový digrm δ-funkci včetně plné specifikce utomtu. 4. Zmyslete se nd tím, jk y vypdlo sjednocení více než dvou konečných utomtů Zřetězení Zřetězení dvou jzyků vytvoříme tk, že ve výsledném jzyce jsou všechny možné řetězce, jejichž první část je kterékoliv slovo z prvního jzyk druhá část zse kterékoliv slovo z druhého jzyk. Záleží n pořdí, části slov nemůžeme přehodit, řídí se pořdím zřetězovných jzyků. Příkld 2.9 Princip zřetězení jzyků si ukážeme n těchto konečných jzycích: L = {ε, c, } L 2 = {dd, dc} Zřetězením těchto dvou jzyků získáme jzyk L = L L 2 : L = {ε dd, ε dc, c dd, c dc, dd, dc} = {dd, dc, ccc, cdc, dd, dc} P Při zřetězení není tře ve výsledném utomtu vytvářet nový stv. Opět využijeme všechny stvy přechody z původních utomtů udeme přidávt nové přechody, které je propojí. Při ukončení výpočtu první části slov (tj. v prvním původním utomtu) je tře plynule nvázt n výpočet druhého původního utomtu. Proto nově přidávné přechody udou vést z koncových stvů prvního utomtu, jejich cílový stv (stv, do kterého ude směřovt šipk přechodu) oznčení přejmeme (zkopírujeme) od přechodů z počátečního stvu druhého původního utomtu. Počátečním stvem výsledného utomtu ude smozřejmě počáteční stv prvního původního utomtu. Do množiny koncových stvů zřdíme koncové stvy druhého původního utomtu, pokud počáteční stv druhého utomtu yl zároveň koncovým (to znmená, že do druhého jzyk ptřilo slovo ε), pk do množiny koncových stvů výsledného utomtu zřdíme tké koncové stvy prvního původního utomtu.

34 KAPITOLA 2 KONEČNÉ AUTOATY 30 Oznčme A = (Q, Σ, δ, q, F ) je první utomt, A 2 = (Q 2, Σ 2, δ 2, q 2, F 2 ) je druhý utomt, zde je již důležité jejich pořdí, pk utomt rozpoznávjící jzyk, který je zřetězením jzyků oou utomtů, je A = (Q Q 2, Σ Σ 2, δ, q, F ), koncové stvy: F = F 2, pokud ε / L(A 2 ) F = F F 2, pokud ε L(A 2 ) (tj. jestliže v jzyce druhého utomtu ylo prázdné slovo, tedy počáteční stv ptřil do množiny koncových stvů, znmená to, že do výsledného jzyk udou ptřit i všechn slov rozpoznávná prvním utomtem zřetězená s ε, lze skončit tké ve stvech z F ) Přechodová funkce: δ(r, x) = δ (r, x) ; r Q F, x Σ, δ (r, x) δ 2 (q 2, x) ; r F, x Σ Σ 2, δ 2 (r, x) ; r Q 2, x Σ 2 Znmená to, že v koncových stvech prvního původního utomtu udeme (kromě existujících původních rekcí) regovt stejně, jko v počátečním stvu druhého původního utomtu (což je podle nšeho znčení q 2 ). P Příkld 2.0 Zřetězíme jzyky těchto konečných utomtů: q 0 q A q 0 q q 2 q q q 2 q 0 q 2 A B A 2 A A B B A = ({q 0, q, q 2 }, {, }, δ, q 0, {q 0, q }) δ (q 0, ) = q δ (q 0, ) = q 2 δ (q 2, ) = q 0 δ (q 2, ) = q A 2 = ({A, B, }, {, }, δ 2, A, {}) δ 2 (A, ) = A δ 2 (A, ) = B δ 2 (B, ) = δ 2 (, ) = V utomtu A (prvním) jsou dv koncové stvy. Z nich udou vést nové přechody ke stvům utomtu A 2 ke všem stvům, do kterých vede přechod z počátečního stvu A. q 0 q q 2 A B q 0 q, A q 2, B q A B q 2 q 0 q A A B B

35 KAPITOLA 2 KONEČNÉ AUTOATY 3 A = ({q 0, q, q 2, A, B, }, {, }, δ, {}) δ(q 0, ) = {q, A} δ(q 0, ) = {q 2, B} δ(q, ) = {A} δ(q, ) = {B} δ(q 2, ) = {q 0 } δ(q 2, ) = {q } δ(a, ) = {A} δ(a, ) = {B} δ(b, ) = {} δ(, ) = {} Pltí L(A) = L(A ) L(A 2 ). Příkld 2. Nyní použijeme stejné zdání jko v předchozím příkldu, jen orátíme pořdí zřetězovných utomtů. usíme rát v úvhu to, že počáteční stv utomtu, který je ted druhý v pořdí, je zároveň koncovým stvem, což ude mít vliv tké n množinu koncových stvů: A B q 0 q q 2 A A B B, q q 2 q 0 q q 2 q q 2 q 0 q A = ({q 0, q, q 2, A, B, }, {, }, δ, {, q 0, q }) δ(a, ) = {A} δ(a, ) = {B} δ(b, ) = {} Pltí L(A ) = L(A 2 ) L(A ). δ(, ) = {, q } δ(, ) = {q 2 } δ(q 0, ) = {q } δ(q 0, ) = {q 2 } δ(q 2, ) = {q 0 } δ(q 2, ) = {q } Úkoly. Proved te operci zřetězení jzyků následujících konečných utomtů: 0 0 A B 0 D E 2. Proved te operci zřetězení jzyků následujících konečných utomtů nejdřív v pořdí podle zdání (L(A ) L(A 2 )) potom v opčném pořdí (L(A 2 ) L(A )). Sestrojte tké stvové digrmy.

36 KAPITOLA 2 KONEČNÉ AUTOATY 32 A q 0 q 0, q 2 q q q 2 q 2 q 2 A 2 c q 3 q 4 q 6 q 4 q 5 q 5 q 3 q Iterce (Kleeneho uzávěr) Při iterci zřetězujeme jzyk sám se seou, to 0,, 2,..., pk všechny výsledné jzyky po zřetězení sjednotíme. Formálně to můžeme zpst následovně: L = L i i=0 P kde L i je i-násoné zřetězení jzyk L sm se seou (npříkld pro i = 3 ylo L 3 = L L L). Zřetězení jsme již proírli. Příkld 2.2 Princip iterce jzyk si ukážeme n tomto konečném jzyce: L = {c,, cd} Itercí získáme jzyk L = L : L = { ε, c,, cd, cc, c, ccd, c,, cd, cdc, cd, cdcd, ccc, cc, cccd, cc, c, ccd,...} ,... Výsledkem iterce je vždy nekonečný jzyk oshující prázdné slovo ε, i kdyy původní jzyk L yl konečný i kdyy prázdné slovo neoshovl. Úprv konečného utomtu při iterci spočívá v těchto dvou krocích:. vytvoříme nový počáteční stv, přechody z něj vedoucí určíme stejné jko ty, které vedou z původního počátečního stvu, 2. vytvoříme nové přechody umožňující návrt z koncových stvů n počátek výpočtu (dlší slovo z jzyk), 3. nový počáteční stv zřdíme do množiny koncových stvů (tím zřdíme do jzyk slovo ε). První od je nevyhnutelný především tehdy, pokud v původním utomtu vede některý přechod do počátečního stvu zároveň tento stv neyl v množině koncových stvů; je tře zránit tomu, y zřzení počátečního stvu do množiny koncových stvů mělo z následek rozpoznávání tkových slov, která do jzyk správně ptřit nemjí. L P

37 KAPITOLA 2 KONEČNÉ AUTOATY 33 Oznčme A = (Q, Σ, δ, q 0, F ) původní utomt, pk utomt rozpoznávjící jzyk, který je itercí původního jzyk, je A = (Q {s 0 }, Σ, δ, s 0, F {s 0 }), přechodová funkce: δ (r, x) ; r Q F, x Σ, δ(r, x) = δ (r, x) δ (q 0, x) ; r F, x Σ, δ (q 0, x) ; r = s 0, x Σ Nové přechody povedou z původních koncových stvů, to do všech stvů, do kterých vede přechod z počátečního stvu. Princip je prkticky stejný jko u dříve proírných opercí, kopírujeme počátky přechodů od počátečního stvu se zchováním jejich cíle i oznčení (signálu). Příkld 2.3 Vytvoříme iterci jzyk následujícího utomtu: A = ({A, B,, D}, {0,, 2}, δ, A, {B, D}) P 0 A B D 0 2 A A B B D B D D δ (A, 0) = A δ (A, ) = B δ (A, 2) = δ (B, ) = D δ (B, 2) = B δ (, 0) = D Postup: Koncové stvy jsou dv. Z kždého přidáme přechody do všech stvů, do kterých směřují přechody z počátečního stvu. Vytvoříme nový počáteční stv přechody z něj vedoucí zkopírujeme z původního počátečního stvu (tj. v novém počátečním stvu se utomt ude chovt stejně jko v původním). Tento krok je sice u většiny utomtů zytečný, le u některých nutný zmezíme vzniku smyček přes počáteční stv generujících slov neptřící do jzyk (tkové smyčky jsme mohli vytvořit předchozím krokem). Potom (nový) počáteční stv oznčíme jko koncový, y utomt přijíml prázdné slovo ε. s A , 2 B D 0 2 s 0 A B A A B B A D, B B, D D A B 0

38 KAPITOLA 2 KONEČNÉ AUTOATY 34 A = ({s 0, A, B,, D}, {0,, 2}, δ, s 0, {s 0, B, D}) δ(s 0, 0) = A δ(s 0, ) = B δ(s 0, 2) = δ(a, 0) = A δ(a, ) = B δ(a, 2) = δ(b, ) = D δ(b, 2) = B δ(, 0) = D δ(b, 0) = A δ(b, ) = B δ(b, 2) = δ(d, 0) = A δ(d, ) = B δ(d, 2) = Kdyy stv A v původním utomtu ptřil do množiny koncových stvů, tk y smozřejmě koncovým stvem zůstl. Úkoly. Zkonstruujte konečný utomt jzyk, který je itercí jzyk následujícího utomtu: q 0 q q 2 A q 0 q q 2 q q 2 q 0 q 2. Zkonstruujte konečný utomt jzyk, který je itercí jzyk následujícího utomtu: 0 D 0 D D E E E E Pro výsledný utomt tké vytvořte třetí typ reprezentce δ-funkci s plnou specifikcí. 2.7 Uzávěrové vlstnosti dlší operce 2.7. Pozitivní iterce Pozitivní iterce je podoná operce jko předchozí, le ztímco iterce znmená řetězení 0,, 2,..., při pozitivní iterci zčínáme při řetězení ž, 2,.... temtický zápis oojího: L = L i L + = L i i=0 i= Postup je stejný jko u iterce, le pokud počáteční stv původního utomtu neptřil do množiny koncových stvů (tj. slovo ε neptřilo do jzyk), neude koncovým stvem ni po úprvě utomtu. Oznčme A = (Q, Σ, δ, q 0, F ) původní utomt, pk utomt rozpoznávjící jzyk, který je P P

Úvod do Teoretické Informatiky (456-511 UTI)

Ú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íce

Automaty a gramatiky. Roman Barták, KTIML. Důkaz věty o isomorfismu reduktů. Věta o isomorfismu reduktů. Pro připomenutí

Automaty 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íce

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

3. 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íce

Je regulární? Pokud ne, na regulární ji upravte. V původní a nové gramatice odvod te řetěz 1111.

Je regulární? Pokud ne, na regulární ji upravte. V původní a nové gramatice odvod te řetěz 1111. 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í

Více

Automaty a gramatiky(bi-aag)

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íce

Definice. Necht M = (Q, T, δ, q 0, F ) je konečný automat. Dvojici (q, w) Q T nazveme konfigurací konečného automatu M.

Definice. 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íce

AUTOMATY VE VYHLEDÁVÁNI cvičeni

AUTOMATY 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íce

Automaty a gramatiky

Automaty 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íce

2.9.16 Přirozená exponenciální funkce, přirozený logaritmus

2.9.16 Přirozená exponenciální funkce, přirozený logaritmus .9.6 Přirozná ponnciální funkc, přirozný ritmus Přdpokldy: 95 Pdgogická poznámk: V klsické gymnziální sdě j přirozná ponnciální funkc 0; j funkc y = +. Asi dvkrát vyrán jko funkc, jjíž tčnou v odě [ ]

Více

Prostorové nároky... 35. Zatížení... 37 Velikost zatížení... 37 Směr zatížení... 37. Nesouosost... 40. Přesnost... 40. Otáčky... 42. Tichý chod...

Prostorové nároky... 35. Zatížení... 37 Velikost zatížení... 37 Směr zatížení... 37. Nesouosost... 40. Přesnost... 40. Otáčky... 42. Tichý chod... Vol typu ložisk Prostorové nároky... 35 Ztížení... 37 Velikost ztížení... 37 Směr ztížení... 37 Nesouosost... 40 Přesnost... 40 Otáčky... 42 Tichý chod... 42 Tuhost... 42 Axiální posuvnost... 43 Montáž

Více

písemná a ústní část porozumění látce + schopnost formalizace

pí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íce

13. Soustava lineárních rovnic a matice

13. Soustava lineárních rovnic a matice @9. Soustv lineárních rovnic mtice Definice: Mtice je tbulk reálných čísel. U mtice rozlišujeme řádky (i=,..n), sloupce (j=,..m) říkáme, že mtice je typu (n x m). Oznčíme-li mtici písmenem A, její prvky

Více

Automaty a gramatiky

Automaty 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íce

Formální jazyky. Z. Sawa (VŠB-TUO) Úvod do teoretické informatiky 7. března / 46

Formá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íce

Automaty a gramatiky. Úvod do formáln. lních gramatik. Roman Barták, KTIML. Příklady gramatik

Automaty 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íce

Teorie jazyků a automatů

Teorie 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íce

Teorie jazyků a automatů

Teorie 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

2002 Katedra obecné elektrotechniky FEI VŠB-TU Ostrava Ing.Stanislav Kocman

2002 Katedra obecné elektrotechniky FEI VŠB-TU Ostrava Ing.Stanislav Kocman STEJNOSĚRNÉ STROJE 1. Princip činnosti stejnosměrného stroje 2. Rekce kotvy komutce stejnosměrných strojů 3. Rozdělení stejnosměrných strojů 4. Stejnosměrné generátory 5. Stejnosměrné motory 2002 Ktedr

Více

Půjdu do kina Bude pršet Zajímavý film. Jedině poslední řádek tabulky vyhovuje splnění podmínky úvodního tvrzení.

Pů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íce

6. 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ů.

6. 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íce

Minimalizace automatů. M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 28. března / 31

Minimalizace 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íce

2.3. DETERMINANTY MATIC

2.3. DETERMINANTY MATIC 2.3. DETERMINANTY MATIC V této kpitole se dozvíte: definici determinntu čtvercové mtice; co je to subdeterminnt nebo-li minor; zákldní vlstnosti determinntů, používné v mnoh prktických úlohách; výpočetní

Více

H - Řízení technologického procesu logickými obvody

H - Ří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íce

ZÁKLADNÍ POZNATKY. p, kde ČÍSELNÉ MNOŽINY (OBORY) N... množina všech přirozených čísel: 1, 2, 3,, n,

ZÁKLADNÍ POZNATKY. p, kde ČÍSELNÉ MNOŽINY (OBORY) N... množina všech přirozených čísel: 1, 2, 3,, n, ZÁKLADNÍ POZNATKY ČÍSELNÉ MNOŽINY (OBORY) N... množin všech přirozených čísel: 1, 2, 3,, n, N0... množin všech celých nezáporných čísel (přirozených čísel s nulou: 0,1, 2, 3,, n, Z... množin všech celých

Více

Goniometrické funkce obecného úhlu

Goniometrické funkce obecného úhlu 0 Goniometrické funkce oecného úhlu V prvoúhlém trojúhelníku ABC jsou definovány funkce,, tg, cotg liovolného úhlu tkto: α α tg α cotg α Význmné hodnoty gon. funkcí 0 0 60 90 α 0 α 0 tg α 0 nedef. cotg

Více

Petriho sítě PES 2007/2008. ceska@fit.vutbr.cz. Doc. Ing. Tomáš Vojnar, Ph.D. vojnar@fit.vutbr.cz

Petriho 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íce

ANALYTICKÁ GEOMETRIE V PROSTORU

ANALYTICKÁ GEOMETRIE V PROSTORU ANALYTICKÁ GEOMETRIE V PROSTORU 3. přednášk Vektorová lger Prvoúhlé souřdnice odu v prostoru Poloh odu v prostoru je vzhledem ke třem osám k soě kolmým určen třemi souřdnicemi, které tvoří uspořádnou trojici

Více

Konzultace z předmětu MATEMATIKA pro první ročník dálkového studia

Konzultace z předmětu MATEMATIKA pro první ročník dálkového studia - - Konzultce z předmětu MATEMATIKA pro první ročník dálkového studi ) Číselné obor ) Zákldní početní operce procentový počet ) Absolutní hodnot reálného čísl ) Intervl množinové operce ) Mocnin ) Odmocnin

Více

c 2 b 2 a 2 2.8.20 Důkazy Pythagorovy věty Předpoklady: 020819

c 2 b 2 a 2 2.8.20 Důkazy Pythagorovy věty Předpoklady: 020819 .8.0 Důkzy Pythgorovy věty Předpokldy: 00819 Pedgogická poznámk: V řešení kždého příkldu jsou uvedeny rdy, které dávám postupně žákům, bych jim pomohl. Pedgogická poznámk: Diskuse o následujícím příkldu

Více

Převody Regulárních Výrazů. Minimalizace Konečných. Regulární jazyky 2 p.1/35

Př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íce

Konstrukce na základě výpočtu I

Konstrukce 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íce

Automaty 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?

Automaty 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íce

Větu o spojitosti a jejich užití

Vě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

Integrály definované za těchto předpokladů nazýváme vlastní integrály.

Integrály definované za těchto předpokladů nazýváme vlastní integrály. Mtemtik II.5. Nevlstní integrály.5. Nevlstní integrály Cíle V této kpitole poněkud rozšíříme definii Riemnnov určitého integrálu i n přípdy, kdy je integrční oor neohrničený (tj. (, >,

Více

2.7.7 Obsah rovnoběžníku

2.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íce

7.5.8 Středová rovnice elipsy

7.5.8 Středová rovnice elipsy 758 Středová rovnice elips Předpokld: 750, 7507 Př : Vrchol elips leží v odech A[ ;], B [ 3;], [ ;5], [ ; 3] elips souřdnice jejích ohnisek Urči prmetr Zdné souřdnice už n první pohled vpdjí podezřele,

Více

( 5 ) 6 ( ) 6 ( ) Přijímací řízení ak. r. 2010/11 Kompletní znění testových otázek - matematický přehled

( 5 ) 6 ( ) 6 ( ) Přijímací řízení ak. r. 2010/11 Kompletní znění testových otázek - matematický přehled řijímcí řízení k. r. / Kompletní znění testových otázek - mtemtický přehled Koš Znění otázky Odpověď ) Odpověď b) Odpověď c) Odpověď d) Správná odpověď. Které číslo doplníte místo otzníku? 8?. Které číslo

Více

UC485 UC 485 15 kv ESD IEC-1000-4-2 Protected 2 42 485/ S

UC485 UC 485 15 kv ESD IEC-1000-4-2 Protected 2 42 485/ S PPouch elektronik UC 85 PŘEVODNÍK LINKY n neo RS22 S GALVANICKÝM ODDĚLENÍM 15 kv ESD Protected IEC-1000--2 Převodník CANNON 9 CANNON 9 zásuvk vidlice K1 PPouch elektronik - 8-12V + /22 Z přepínče RS22

Více

MULTIDIMENSIONÁLNÍ JAZYKY A JEJICH AUTOMATY MULTI-DIMENSIONAL LANGUAGES AND THEIR AUTOMATA

MULTIDIMENSIONÁ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

2.5.4 Věta. Každý jazyk reprezentovaný regulárním výrazem je regulárním jazykem.

2.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íce

Elektromagnetick indukce

Elektromagnetick indukce 31 lektromgnetick indukce Kdyû v polovinï pdes t ch let zël rock, vymïnili z hy kytristè svè kustickè n stroje z elektrickè. Jimi Hendrix jko prvnì z nich pojl elektrickou kytru jko elektronick n stroj.

Více

7 Analytická geometrie

7 Analytická geometrie 7 Anlytiká geometrie 7. Poznámk: Když geometriké prolémy převedeme pomoí modelu M systému souřdni n lgeriké ritmetiké prolémy pk mluvíme o nlytiké geometrii neo též o metodě souřdni užité v geometrii.

Více

Úvod 1. 3 Regulární jazyky Konečné jazyky Pumping Lemma pro regulární jazyky a nekonečné jazyky Sjednocení...

Ú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íce

Pájený výměník tepla, XB

Pájený výměník tepla, XB Popis / plikce Deskové výměníky tepl pájené mědí řdy XB jsou určené pro použití v soustvách centrálního zásoování teplem (tzn. v klimtizčních soustvách, v soustvách určených pro vytápění neo ohřev teplé

Více

Hyperbola, jejíž střed S je totožný s počátkem soustavy souřadnic a jejíž hlavní osa je totožná

Hyperbola, jejíž střed S je totožný s počátkem soustavy souřadnic a jejíž hlavní osa je totožná Hyperol Hyperol je množin odů, které mjí tu vlstnost, že solutní hodnot rozdílu jejich vzdáleností od dvou dných různých odů E, F je rovn kldné konstntě. Zkráceně: Hyperol = {X ; EX FX = }; kde symolem

Více

56. ročník Matematické olympiády. b 1,2 = 27 ± c 2 25

56. 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íce

Syntaxí řízený překlad

Syntaxí řízený překlad Syntaxí řízený překlad Šárka Vavrečková Ústav informatiky, FPF SU Opava sarka.vavreckova@fpf.slu.cz Poslední aktualizace: 27. listopadu 2008 Definice Překlad z jazyka L 1 do jazyka L 2 je definován množinou

Více

Jsou to rovnice, které obsahují neznámou nebo výraz s neznámou jako argument logaritmické funkce.

Jsou 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íce

2.8.5 Lineární nerovnice s parametrem

2.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íce

P2 Číselné soustavy, jejich převody a operace v čís. soustavách

P2 Číselné soustavy, jejich převody a operace v čís. soustavách P Číselné soustvy, jejich převody operce v čís. soustvách. Zobrzení čísl v libovolné číselné soustvě Lidé využívjí ve svém životě pro zápis čísel desítkovou soustvu. V této soustvě máme pro zápis čísel

Více

4.2.7 Zavedení funkcí sinus a cosinus pro orientovaný úhel I

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

matematika vás má it naupravidl

matematika vás má it naupravidl VÝZNAM Algebrický výrz se zvádí intuitivn bez p esn ího vmezení v kolizi s názv dvoj len, troj len, mnoho len. Stále se udr uje fle ná p edstv, e ísl ozn ují mno ství, e jsou zobecn ním vnímné skute nosti.

Více

D 12 Knauf akustické podhledy

D 12 Knauf akustické podhledy D 12 09/2007 D 12 Knuf kustické podhledy NOVINKA! Stndrdně v provedení Cleneo se smočistící schopností vzduchu D 127 - Strop z děrovných desek D 128 - Strop z desek ze štěrinmi D 127 Konstrukce desek Děrování

Více

Komplexní čísla tedy násobíme jako dvojčleny s tím, že použijeme vztah i 2 = 1. = (a 1 + ia 2 )(b 1 ib 2 ) b 2 1 + b2 2.

Komplexní čísla tedy násobíme jako dvojčleny s tím, že použijeme vztah i 2 = 1. = (a 1 + ia 2 )(b 1 ib 2 ) b 2 1 + b2 2. 7 Komplexní čísl 71 Komplexní číslo je uspořádná dvojice reálných čísel Komplexní číslo = 1, ) zprvidl zpisujeme v tzv lgebrickém tvru = 1 + i, kde i je imginární jednotk, pro kterou pltí i = 1 Číslo 1

Více

Studium termoelektronové emise:

Studium termoelektronové emise: Truhlář Michl 2. 9. 26 Lbortorní práce č.11 Úloh č. II Studium termoelektronové emise: Úkol: 1) Změřte výstupní práci w wolfrmu pomocí Richrdsonovy-Dushmnovy přímky. 2) Vypočítejte pro použitou diodu intenzitu

Více

10. Suffixové stromy 1 2014-01-23

10. 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íce

8) Jaké jsou důvody pro použití víceprůchodového překladače Dříve hlavně kvůli úspoře paměti, dnes spíše z důvodu optimalizace

8) Jaké jsou důvody pro použití víceprůchodového překladače Dříve hlavně kvůli úspoře paměti, dnes spíše z důvodu optimalizace 1) Charakterizujte křížový překladač Překlad programu probíhá na jiném procesoru, než exekuce. Hlavním důvodem je náročnost překladače na cílovém stroji by ho nemuselo být možné rozběhnout. 2. Objasněte

Více

Zvyšování kvality výuky technických oborů

Zvyšování kvality výuky technických oborů Zvyšování kvlity výuky technických oorů Klíčová ktivit IV. Inovce zkvlitnění výuky směřující k rozvoji mtemtické grmotnosti žáků středních škol Tém IV.. Algerické výrzy, výrzy s mocninmi odmocninmi Kpitol

Více

( a, { } Intervaly. Předpoklady: , , , Problém zapíšeme snadno i výčtem: { 2;3; 4;5}?

( 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íce

Teorie informace a kódování (KMI/TIK)

Teorie informace a kódování (KMI/TIK) Teorie informace a kódování (KMI/TIK) Bezpečnostní kódy Lukáš Havrlant Univerzita Palackého 13. listopadu 2012 Konzultace V pracovně 5.076. Každý čtvrtek 9.00 11.00. Emaily: lukas@havrlant.cz lukas.havrlant@upol.cz

Více

LOGOMANUÁL. informace a doporučení k užití logotypu Singing Rock. Verze 1.5 Česky. Lukáš Matěja +420 775 282 064 lukas.mateja@singingrock.

LOGOMANUÁL. informace a doporučení k užití logotypu Singing Rock. Verze 1.5 Česky. Lukáš Matěja +420 775 282 064 lukas.mateja@singingrock. LOGOMANUÁL informce doporučení k užití logotypu Singing Rock V přípdě dotzů kontktujte nšeho grfického designer. Lukáš Mtěj +420 775 282 064 luks.mtej@singingrock.cz Verze 1.5 Česky ZAKLADNÍ LOGOTYP Zákldní

Více

Mgr. Karel Pazourek. online prostředí, Operační program Praha Adaptabilita, registrační číslo CZ.2.17/3.1.00/31165.

Mgr. Karel Pazourek. online prostředí, Operační program Praha Adaptabilita, registrační číslo CZ.2.17/3.1.00/31165. Mnohočleny z různých stran Mgr. Karel Pazourek Kurz vznikl v rámci projektu Rozvoj systému vzdělávacích příležitostí pro nadané žáky a studenty v přírodních vědách a matematice s využitím online prostředí,

Více

D 12 Knauf Cleaneo akustické podhledy

D 12 Knauf Cleaneo akustické podhledy D 12 07/2009 D 12 Knuf Cleneo kustické podhledy NOVINKA! Stndrdně v provedení Cleneo se smočistící schopností vzduchu D 127 - Strop z děrovných desek D 128 - Strop z desek ze štěrinmi D 127 Konstrukce

Více

KVADRATICKÁ FUNKCE (vlastnosti, grafy)

KVADRATICKÁ 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íce

MATA 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: 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íce

ELEKTŘINA A MAGNETIZMUS Řešené úlohy a postupy: Kapacita a uložená energie

ELEKTŘINA A MAGNETIZMUS Řešené úlohy a postupy: Kapacita a uložená energie ELEKTŘINA A MAGNETIZMUS Řešené úlohy postupy: Kpcit uložená energie Peter Dourmshkin MIT 6, překld: Jn Pcák (7) Osh 4. KAPACITA A ULOŽENÁ ENERGIE 4.1 ÚKOLY 4. ALGORITMUS PRO ŘEŠENÍ PROBLÉMŮ ÚLOHA 1: VÁLCOVÝ

Více

PRAVIDELNÉ MNOHOSTĚNY

PRAVIDELNÉ MNOHOSTĚNY PRVIDELNÉ MNOHOĚNY Vlst Chmelíková, Luboš Morvec MFF UK 007 1 Úvod ento text byl vytvořen s cílem inspirovt učitele středních škol k zčlenění témtu prvidelné mnohostěny do hodin mtemtiky, neboť při výuce

Více

Podobnosti trojúhelníků, goniometrické funkce

Podobnosti 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íce

Svazy. Def Svaz je algebra S ( M ;, ) = se dvěma binárními operacemi taková, že pro libovolné prvky c M platí následující podmínky axiomy svazu:

Svazy. Def Svaz je algebra S ( M ;, ) = se dvěma binárními operacemi taková, že pro libovolné prvky c M platí následující podmínky axiomy svazu: vz je lgebr ( M ; ) vzy = se dvěm binárními opercemi tková že pro libovolné prvky b c M pltí následující podmínky xiomy svzu: ( b) c = ( b c) ( b) c = ( b c) b = b b = b ( ) ( ) b = b =. Operce se nzývá

Více

UC485. PŘEVODNÍK LINKY RS232 na RS485 nebo RS422 S GALVANICKÝM ODDĚLENÍM. Rozlož ení důležitých prvků modulu UC485.

UC485. PŘEVODNÍK LINKY RS232 na RS485 nebo RS422 S GALVANICKÝM ODDĚLENÍM. Rozlož ení důležitých prvků modulu UC485. PPouch elektronik PŘEVODNÍK LINKY RS232 n neo RS422 S GALVANICKÝM ODDĚLENÍM 15 kv ESD Protected IEC-1000-4-2 Rozlož ení důležitých prvků modulu pojistk 220V S1-6 S7,8 GND TXD RXD DSR LED průmyslové provedení

Více

Přehled učiva matematiky 7. ročník ZŠ

Přehled učiva matematiky 7. ročník ZŠ Přehled učiva matematiky 7. ročník ZŠ I. ARITMETIKA 1. Zlomky a racionální čísla Jestliže rozdělíme něco (= celek) na několik stejných dílů, nazývá se každá část celku zlomkem. Zlomek tři čtvrtiny = tři

Více

{ } ( ) ( ) 2.5.8 Vztahy mezi kořeny a koeficienty kvadratické rovnice. Předpoklady: 2301, 2508, 2507

{ } ( ) ( ) 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

4. 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áš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íce

m n. Matice typu m n má

m n. Matice typu m n má MATE ZS KONZ B Mtice, hodnost mtice, Gussův tvr Mtice uspořádné schém reálných čísel: m m n n mn Toto schém se nzývá mtice typu m řádků n sloupců. m n. Mtice typu m n má Oznčujeme ji A, B,někdy používáme

Více

Obr. 1: Optická lavice s příslušenstvím při měření přímou metodou. 2. Určení ohniskové vzdálenosti spojky Besselovou metodou

Obr. 1: Optická lavice s příslušenstvím při měření přímou metodou. 2. Určení ohniskové vzdálenosti spojky Besselovou metodou MĚŘENÍ PARAMETRŮ OPTICKÝCH SOUSTAV Zákldním prmetrem kždé zobrzovcí soustvy je především její ohnisková vzdálenost. Existuje několik metod k jejímu určení le téměř všechny jsou ztíženy určitou nepřesností

Více

Složitost a NP-úplnost

Složitost a NP-úplnost Složitost a NP-úplnost RNDr. Ondřej Čepek, Ph.D. Do formátu TEX převedl Ladislav Strojil Připomínky, dotazy, opravy na emailu: Ladislav@Strojil.cz Verze 1.1.1 Nejnovější verze k nalezení vždy na http://ladislav.strojil.cz/np.php

Více

3 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

3 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íce

2.cvičení. 1. Polopřímka: bod O dělí přímku na dvě navzájem opačné polopřímky.

2.cvičení. 1. Polopřímka: bod O dělí přímku na dvě navzájem opačné polopřímky. 2.cvičení 1. Polopřímk: od O dělí přímku n dvě nvzájem opčné polopřímky. Úsečk: průnik dvou polopřímek,. Polorovin: přímk dělí rovinu n dvě nvzájem opčné poloroviny. Úhel: průnik polorovin (pozor n speciální

Více

5. Konstrukce trojúhelníků Konstrukce trojúhelníků podle vět sss, sus, usu, Ssu (ssu):

5. Konstrukce trojúhelníků Konstrukce trojúhelníků podle vět sss, sus, usu, Ssu (ssu): 5. Konstruke trojúhelníků Konstruke trojúhelníků podle vět sss, sus, usu, Ssu (ssu): 1. Nrýsuj trojúhelník ABC, je-li dáno: AB = 7,6 m, BC = 4,2 m, AC = 5,6 m Řešení: Pro strny trojúhelníku musí pltit

Více

Dílčí kvalifikace Strážný Soubor otázek pro písemnou část zkoušky

Dílčí kvalifikace Strážný Soubor otázek pro písemnou část zkoušky Dílčí kvlifike Strážný Souor otázek pro písemnou část zkoušky J.2.1.99 Právní zákldy ezpečnostní činnosti Ústvní právo zákon č. 1/1993 S., Ústv České repuliky, č. 2/1999 S., Listin zákldníh práv svood

Více

13 Analytická geometrie v prostoru

13 Analytická geometrie v prostoru Anlytická geometrie v rostoru Nyní se změříme n tříimenzionální rostor využijeme vlstností, které ze ltí ozor v rovině neltí.. Poznámk: Okování u = (u,u,u ), v = (v,v,v ) - vektory sklární součin vektorů

Více

Napájecí kabel. Podkladový list/ podkladový list pro plastické karty

Napájecí kabel. Podkladový list/ podkladový list pro plastické karty Stručný návod k osluze ADS-2100e / ADS-2600We Zčněte zde ADS-2100e ADS-2600We Brother Industries, Ltd. 15-1, Neshiro-cho, Mizuho-ku, Ngoy 467-8561, Jpn Děkujeme vám, že jste si vyrli produkt společnosti

Více

Zavedení a vlastnosti reálných čísel PŘIROZENÁ, CELÁ A RACIONÁLNÍ ČÍSLA

Zavedení a vlastnosti reálných čísel PŘIROZENÁ, CELÁ A RACIONÁLNÍ ČÍSLA Zvedení vlstnosti reálných čísel Reálná čísl jsou zákldním kmenem mtemtické nlýzy. Konstrukce reálných čísel sice není náplní mtemtické nlýzy, le množin reálných čísel R je pro mtemtickou nlýzu zákldním

Více

celek jsme rozdělili na 8 dílů, ale žádný jsme si nevzali celek na nulka dílů rozdělit nelze!!!

celek jsme rozdělili na 8 dílů, ale žádný jsme si nevzali celek na nulka dílů rozdělit nelze!!! . Dělení celku zlomek 0 zlomek zlomková čár čittel udává z kolik stejných částí se zlomek skládá ( z ) jmenovtel udává n kolik stejných částí je celek rozdělen () Vlstnosti: Je-li v čitteli zlomku nul

Více

Tangens a kotangens

Tangens 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íce

( ) ( ) Sinová věta II. β je úhel z intervalu ( 0;π ). Jak je vidět z jednotkové kružnice, úhly, pro které platí. Předpoklady:

( ) ( ) 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íce

Přípoje ocelových konstrukcí teoretické základy

Přípoje ocelových konstrukcí teoretické základy SCIA CZ, s. r. o. Slvíčkov 638 00 Brno tel. 545 93 56 545 93 535 x 545 93 533 E-mil ino.rno@sci.cz www.sci.cz Systém progrmů pro projektování prutových stěnodeskových konstrukcí NEXIS 3 rel. 3.70 Přípoje

Více

( t) ( t) ( t) Nerovnice pro polorovinu. Předpoklady: 7306

( 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íce

Konstrukce na základě výpočtu II

Konstrukce na základě výpočtu II 3.3.1 Konstruke n zákldě výpočtu II Předpokldy: 030311 Př. 1: Jsou dány úsečky o délkáh,,. Sestroj úsečku o déle =. Njdi oený postup, jk sestrojit ez měřítk poždovnou úsečku pro liovolné konkrétní délky

Více

1. ÚPRAVY ALGEBRAICKÝCH VÝRAZŮ V REÁLNÉM OBORU 1.1. ZLOMKY A ABSOLUTNÍ HODNOTA

1. ÚPRAVY ALGEBRAICKÝCH VÝRAZŮ V REÁLNÉM OBORU 1.1. ZLOMKY A ABSOLUTNÍ HODNOTA 1. ÚPRAVY ALGEBRAICKÝCH VÝRAZŮ V REÁLNÉM OBORU 1.1. ZLOMKY A ABSOLUTNÍ HODNOTA V této kpitole se ozvíte: co rozumíme lgebrickým výrzem; jk jsou efinovány zlomky jké záklní operce s nimi prováíme; jk je

Více

Deterministický konečný automat

Deterministický 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íce

Kam jezdí formani AGENTURA OCHRANY PŘÍRODY A KRAJINY

Kam jezdí formani AGENTURA OCHRANY PŘÍRODY A KRAJINY Km jezdí formni S otv jsme vyšli, už potkáváme formn Šknderu. Jede s povozem plně nloženým dlouhými kmeny, který táhnou dv silní koně, o grošái. Zstvil u nás, prý jestli neheme svézt. Dnes jedu jenom do

Více

TROJÚHELNÍK. JAN MALÝ UK v Praze a UJEP v Ústí n. L. sin α = b a.

TROJÚHELNÍK. JAN MALÝ UK v Praze a UJEP v Ústí n. L. sin α = b a. TROJÚHELNÍK JAN MALÝ UK v Prze UJEP v Ústí n. L. 1. Zn ení. Uvºujme trojúhelník ABC, jeho strny i jejih délky jsou,,, úhly α, β, γ. Osh trojúhelník zn íme P. Vý²k spu²t ná z odu C n strnu se zn í v její

Více

11. Projektivní prostor

11. Projektivní prostor 11. Projektivní prostor Definice 11.1. Nechť V je vektorový prostor dimenze n. Projektivním prostorem P(V) dimenze n 1rozumímemnožinusměrůve V,neoli P(V)={ v v V, v o}, dim(p(v))=dim(v) 1. Říkáme,žeprojektivníprostor

Více

3.2.1 Shodnost trojúhelníků I

3.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íce

Kvantový paralelismus a kvantové počítače

Kvantový paralelismus a kvantové počítače Kvntový prlelismus kvntové počítče Limity v konstrukci počítčů Mooreův zákon říká, že přiližně kždých 8 měsíců se zdvojnásouje počet trnzistorů, které tvoří jeden čip dnes se jich n ěžném čipu tísní ž

Více

ZÁKLADNÍ ŠKOLA PŘI DĚTSKÉ LÉČEBNĚ Ostrov u Macochy, Školní 363 INOVACE VÝUKY CZ.1.07/1.4.00/

ZÁKLADNÍ ŠKOLA PŘI DĚTSKÉ LÉČEBNĚ Ostrov u Macochy, Školní 363 INOVACE VÝUKY CZ.1.07/1.4.00/ ZÁKLADNÍ ŠKOLA PŘI DĚTSKÉ LÉČEBNĚ Ostrov u Mcochy, Školní 363 INOVACE VÝUKY CZ.1.07/1.4.00/21.0647 Název vzdělávcího mteriálu: Anotce: Vzdělávcí olst: VY_32_INOVACE_ARITMETIKA+ALGEBRA20 Nerovnosti, intervly,

Více

Konstrukce na základě výpočtu I

Konstrukce 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íce

Výfučtení: Geometrické útvary a zobrazení

Výfučtení: Geometrické útvary a zobrazení Výfučtení: Geometrické útvry zorzení V geometrii očs nrzíme n to, že některé geometrické orzce vykzují jistou symetrii. Popřípdě můžeme slyšet, že nějké dv útvry jsou si podoné. V tomto Výfučtení udeme

Více

SBÍRKA PŘÍKLADŮ Z MATEMATIKY

SBÍRKA PŘÍKLADŮ Z MATEMATIKY SBÍRKA PŘÍKLADŮ Z MATEMATIKY . Proměnná, výroky, množiny Dlší dovednosti znlosti: - hypotéz - tutologie - kvntifikátory kvntifikovné výroky - výrokový form - druhy mtemtických vět - oměn, negce, orácení

Více