Teorie jazyků a automatů

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

Download "Teorie jazyků a automatů"

Transkript

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

2 Anotce: Tento dokument oshuje příkldy ke cvičením z předmětů Teorie jzyků utomtů II Zákldy teoretické informtiky II. Studenti zde njdou řešené příkldy s podroně popsným postupem neřešené příkldy, n kterých si mohou smi postupy procvičit. Teorie jzyků utomtů II sírk příkldů 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. 13, Opv Sázeno v systému LATEX Tto inovce předmětu Prktikum z operčních systémů je spolufinncován Evropským sociálním fondem Státním rozpočtem ČR, projekt č. Z.1.07/2.3.00/ , Posílení konkurenceschopnosti výzkumu vývoje informčních technologií v orvskoslezském krji.

3 Předmluv o njdeme v těchto skriptech Tto skript jsou určen pro studenty informtických oorů n Ústvu informtiky Slezské univerzity v Opvě, do cvičení předmětů Teorie jzyků utomtů II Zákldy teoretické informtiky II, jde vlstně o jkousi cvičenici sírku příkldů. Nvzujeme n odoná skript pro cvičení z předmětu z předchozího semestru, tedy předpokládjí se již zákldní znlosti v olsti teoretické informtiky, le ve skutečnosti se ooje skript temticky poněkud překrývjí. Je to z toho důvodu, že ěhem několik let procházejí o předměty rozsáhlými změnmi, snhou je při přeskupování témt nepotrht souvislosti. V tomto předmětu pokrčujeme pokročilejšími témty týkjícími se regulárních ezkontextových jzyků přecházíme k jzykům typu 0 1, kterými jsme se v předchozím semestru téměř nezývli. ílem předmětu je ncvičit si způso myšlení používný kromě jiného při provádění důkzů využívání logické dedukce. Znčení Ve skriptech se používjí následující revné ikony: Nové pojmy, znčení pod. jsou oznčeny modrým symolem, který vidíme zde vlevo. Tuto ikonu (stejně jko následující) njdeme n zčátku odstvce, ve kterém je nový pojem zváděn. Konkrétní postupy jsou znčeny tké modrou ikonou. Jsou sice proírány n přednáškách, le máme je i zde, ychom si je při procvičování připomněli. Některé části textu jsou oznčeny filovou ikonou, což znmená, že jde o nepovinné úseky, které nejsou proírány (většinou; studenti si je mohou podle zájmu vyžádt neo smi prostudovt). Jejich účelem je dorovolné rozšíření znlostí studentů o pokročilá témt, n která ovykle při výuce nezývá moc čsu. Žlutou ikonou jsou oznčeny odkzy, n kterých lze získt dlší informce o témtu. Nejčstěji u této ikony njdeme weové odkzy n stránky, kde se dné témtice jejich utoři věnují podroněji. Červená je ikon pro upozornění poznámky. iii

4 iv Pokud je množství textu ptřícího k určité ikoně větší, je celý lok ohrničen prostředím s ikonmi n zčátku i konci: Příkld Tkto vypdá prostředí s řešeným příkldem. Příkldy jsou ovykle komentovány, y yl jsný postup jejich řešení. Úkol Otázky úkoly, náměty n vyzkoušení, které se doporučuje při procvičování učiv provádět, jsou uzvřeny v tomto prostředí. Pokud je v prostředí více úkolů, jsou číslovány. Definice V tkovém prostředí definujeme pojem či vysvětlujeme sice reltivně známý, le komplexní pojem s více význmy či vlstnostmi.

5 Osh Předmluv iii 1 Regulární jzyky Opkování Konečné jzyky Uzávěrové vlstnosti operce nd regulárními jzyky Pozitivní iterce Zrcdlový orz (reverze) Průnik Pumping lemm pro regulární jzyky inimlizce konečného utomtu Vytvoření regulárního výrzu podle konečného utomtu Bezkontextové grmtiky Úprvy ezkontextových grmtik Převod n nezkrcující ezkontextovou grmtiku Redukce grmtiky Odstrnění jednoduchých prvidel Levá prvá rekurze Normální formy ezkontextových grmtik homského normální form Greichové normální form Uzávěrové vlstnosti ezkontextových jzyků Pumping lemm pro ezkontextové jzyky Zásoníkový utomt Připomenutí jk prcuje zásoníkový utomt Zásoníkový utomt podle ezkontextové grmtiky v

6 vi 4 Jzyky typu Turingův stroj o je to Turingův stroj pojmy znčení Nvrhujeme Turingův stroj pro dný jzyk Grmtiky typu Návrh grmtiky typu Kurodov normální form

7 vii

8 Kpitol 1 Regulární jzyky 1.1 Opkování Nejdřív si zopkujeme něco z toho, co jsme se nučili v minulém semestru. Zákldy musíme znát dokonle, protože n nich udeme stvět po celý semestr. Příkld Jzyky zdné regulárním výrzem zpíšeme v množinovém zápisu. Ke kždému jzyku npíšeme množinu všech jeho slov, která jsou krtší než 5. L 1 = () nožinový zápis: L 1 = {() n : n 0} Slov krtší než 5: {w L 1 : w < 5} = {ε,, } nemotechnická pomůck: z index v množinovém zápisu doszujeme postupně čísl od nejnižší hodnoty zdného rozshu, tj. od 0. Všimněte si symolického zápisu nelze npst rovnítko mezi jzyk L 1 množinu slov tohoto jzyk krtších než 5, je tře to zpst jink. L 2 = nožinový zápis: L 2 = { m n : m, n 0} Všimněte si: je tře použít dv nvzájem nezávislé indexy! Slov krtší než 5: {w L 2 : w < 5} = {,,,,,, 4, 2, 2, 3 } nemotechnická pomůck: z indexy m n v množinovém zápisu doszujeme čísl nvzájem nezávisle (m = n = 0, m = 1 n = 0, m = 0 n = 1, td.). Pozor, prázdné slovo do jzyk neptří! Příkld Určíme typ zdného jzyk v homského hierrchii. Pokud se jedná o regulární jzyk, vytvoříme ekvivlentní regulární výrz. Vypíšeme všechn slov jzyk krtší než 5. L 1 = { () i () j : i, j 0 } Jde o regulární jzyk. Ekvivlentní regulární výrz: L 1 = () () 1

9 Kpitol 1 Regulární jzyky 2 Slov krtší než 5: {w L 1 : w < 5} = { ε, 2, 2, 2 2, 4, 4} L 2 = { () i () i : i 0 } Tento jzyk je sice podoný předchozímu, le není to regulární jzyk (je ezkontextový). Proto nelze vytvořit ekvivlentní regulární výrz. Jk poznáme, že není regulární? Pokud je tře (při zprcování slov jzyk utomtem) synchronizovt dvě neo dokonce více částí slov (npříkld proto, že totéž písmeno indexu se vyskytuje n více místech v množinové reprezentci), nejde o regulární jzyk. To lze dokázt npříkld pomocí Pumping lemmtu (udeme rát později). Slov krtší než 5: {w L 2 : w < 5} = { ε, 2 2} Srovnejte s odonou množinou pro jzyk L 1 z tohoto příkldu. L 3 = { 0 i 1 i 0 i : i 1 } Jde o jzyk typu 1 v homského hierrchii, není to regulární ni ezkontextový jzyk. Slov krtší než 5: {w L 3 : w < 5} = {010} Příkld Vypíšeme všechn slov jzyk krtší než 5. L 1 = { i j : 1 i j } { c k : k 3 } Slov krtší než 5: {w L 1 : w < 5} = {, 2, 2 2, ε, c, c 2, c 3} Poměrně čstou chyou ývá otočení relčního znménk. V předpisu druhé množiny sjednocení máme symol menší neo rovno, ne nopk, musíme tedy vypst slov o délce 0 ž 3. L 2 = { i j : 1 i j } { i j : 1 j i } Když se pozorně podíváme n množiny, jejichž průnikem je jzyk L 2, zjistíme, že tento jzyk můžeme zpst jednodušeji, protože první množin nám dává podmínku symolů má ýt stejně neo více než symolů, druhá množin předepisuje symolů má ýt stejně neo méně než symolů : L 2 = { i i : i 1 } Slov krtší než 5: {w L 2 : w < 5} = {, 2 2} Pozor n rozdíl mezi sjednocením průnikem, záměn těchto dvou množinových opercí je poměrně čstou chyou. Příkld Pro zdné jzyky sestrojíme konečný utomt ve všech třech reprezentcích. L 1 = δ-funkce: A 1 = ({q 0, q 1 }, {, }, δ, q 0, {q 1 }) δ(q 0, ) = q 1 δ(q 1, ) = q 1 Tulk přechodů: Stvový digrm: q 0 q 1 q 0 q 1 q 1 q 1 Všimněte si, že u δ-funkce je nutné uvádět plnou specifikci, y ylo zřejmé, který stv je počáteční které stvy jsou koncové, u jiných reprezentcí jsou tyto informce zznmenány jink.

10 Kpitol 1 Regulární jzyky 3 L 2 = + ε δ-funkce: A 2 = ({q 0, q 1 }, {, }, δ, q 0, {q 0, q 1 }) δ(q 0, ) = q 1 δ(q 1, ) = q 1 Tulk přechodů: q 0 q 1 q 1 q 1 Stvový digrm: q 0 q 1 Úkol Srovnejte utomty pro jzyky L 1 L 2 z předchozího příkldu všimněte si, jké důsledky mělo přidání prázdného slov k jzyku u jednotlivých reprezentcí utomtu. Příkld Pro zdný jzyk sestrojíme konečný utomt ve všech třech reprezentcích. L = + δ-funkce: A = ({q 0, q 1, q 2 }, {, }, δ, q 0, {q 1, q 2 }) δ(q 0, ) = q 1 δ(q 0, ) = q 2 δ(q 1, ) = q 1 δ(q 2, ) = q 2 Tulk přechodů: Stvový digrm: q 0 q 1 q 2 q 1 q 1 q 2 q 2 q 0 q 1 q 2 Všimněte si, jkým způsoem se v reprezentcích utomtu projevil operce sčítání regulárních (pod)výrzů. Jzyk lze zpst tké následovně v množinovém zápisu s využitím operce sjednocení množin: L = { i : i 0 } { i : i 0 } 1.2 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ů!).

11 Kpitol 1 Regulární jzyky 4 Příkld Podle zdného konečného jzyk vytvoříme konečný utomt. L = {hrd, hrom, polom, ohrd} q r 1 q 2 q d 3 h h q r 5 q o 6 q m 7 q 0 p q o o 9 q l 10 q o 11 q h 14 q r 15 q 16 q 4 q 8 q m 12 q 13 q d 17 q 18 q 19 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: h q 0 p o q r 1 q 2 o q o 9 q l 10 q h 14 q r 15 q d 3 q m 7 q o 11 q 16 q 4 q 8 q m 12 q 13 q d 17 q 18 q 19 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ý. Úkoly 1. 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, 1, 2 neo 3 znky).

12 Kpitol 1 Regulární jzyky Uzávěrové vlstnosti operce nd regulárními jzyky V předchozím semestru jsme se zývli zákldními uzávěrovými vlstnostmi regulárních jzyků, to uzvřeností vzhledem k regulárním opercím (sjednocení, zřetězení, iterce). V tomto semestru se podíváme n některé zývjící operce Pozitivní iterce Pozitivní iterce se používá podoně jko (ěžná) iterce, le ztímco iterce znmená řetězení 0, 1, 2,..., při pozitivní iterci zčínáme při řetězení ž 1, 2,.... temticky můžeme zpst iterci pozitivní iterci následovně: L = L i L + = i=0 i=1 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. Není nutné vytvářet nový počáteční stv. Oznčme A 1 = (Q, Σ, δ 1, q 0, F ) původní utomt, pk utomt rozpoznávjící jzyk, který je pozitivní itercí původního jzyk, je A = (Q, Σ, δ, q 0, F ). Přechodová { funkce: δ 1 (r, x) : r Q F, x Σ (přechody z jiných než koncových stvů zkopírujeme), δ(r, x) = δ 1 (r, x) δ 1 (q 0, x) : r F, x Σ Přechody vedoucí z koncových stvů tké přejmeme, přidáme kopie přechodů vedoucích z q 0. Příkld Vytvoříme pozitivní iterci jzyk následujícího utomtu: A 1 = ({A, B,, D}, {0, 1, 2}, δ 1, A, {B, D}) L i 0 1 A B 1 D A A B B D B D D δ 1 (A, 0) = A δ 1 (A, 1) = B δ 1 (A, 2) = δ 1 (B, 1) = D δ 1 (B, 2) = B δ 1 (, 0) = D Přidáváme pouze nové přechody, počáteční stv neudeme zřzovt do množiny koncových stvů, protože v původním utomtu tké neylo rozpoznáváno slovo ε: A , 2 B 1 1 D 0 A A B B A D, B B, D D A B

13 Kpitol 1 Regulární jzyky 6 A = ({A, B,, D}, {0, 1, 2}, δ, A, {B, D}) δ(a, 0) = A δ(a, 1) = B δ(a, 2) = δ(b, 1) = D δ(b, 2) = B δ(, 0) = D δ(b, 0) = A δ(b, 1) = B δ(b, 2) = δ(d, 0) = A δ(d, 1) = B δ(d, 2) = Poznámk: Pokud původní jzyk L oshuje slovo ε, pk pltí L nerovnjí pltí L = L + {ε}. = L +, v opčném přípdě se tyto jzyky Úkoly 1. Zkonstruujte konečný utomt jzyk, který je pozitivní itercí jzyk následujícího utomtu: q 0 q 1 q 2 A 1 q 0 q 1 q 2 q 1 q 2 q 0 q 1 2. Zkonstruujte konečný utomt jzyk, který je pozitivní itercí jzyk následujícího utomtu: 0 1 D D D E E E E Zrcdlový orz (reverze) Reverze je převrácení. Zrcdlový orz slov sestrojíme tk, že je zrcdlově převrátíme, tj. npříkld ze slov cd získáme slovo (cd) R = dc. Zrcdlový orz jzyk je jzyk oshující všechn slov původního jzyk, le převrácená. Operce zrcdlení je sm k soě inverzní když slovo (neo jzyk) revertujeme dvkrát, dostáváme původní slovo (jzyk). Zrcdlení můžeme zpst tkto: L R = { w : w R L } Pokud udeme při reverzi prcovt s konečným utomtem, především převrátíme všechny cesty, které v utomtu existují (tj. převrátíme všechny přechody) změníme počáteční koncové stvy. Dále musíme vyřešit jeden prolém počáteční stv musí ýt vždy jen jeden, le koncových stvů může ýt oecně jkýkoliv počet. Proto rozlišíme dv přípdy pokud původní utomt má jen jediný koncový stv, stčí postup nznčený v předchozím odstvci. Jestliže všk má více koncových stvů,

14 Kpitol 1 Regulární jzyky 7 musíme zjistit, y po reverzi existovl jen jediný počáteční stv. Proto vytvoříme nový stv, který v soě ude shrnovt vlstnosti původních koncových stvů (resp. nových počátečních stvů) týkjící se přechodů související s ukončením výpočtu. Pokud počáteční stv původního utomtu ptřil do množiny koncových stvů, ude koncovým stvem tké počáteční stv po reverzi. Oznčme A 1 = (Q 1, Σ, δ 1, q 0, F 1 ) původní utomt, pk utomt rozpoznávjící jzyk, který je reverzí původního jzyk, je A = (Q 1 {s 0 }, Σ, δ, s 0, F ), množin koncových stvů je F = {q 0, s 0 }, pokud q 0 F 1, jink F = {q 0 } (záleží n tom, zd do původního jzyk ptřilo ε). Přechodová funkce: { p : δ 1 (p, x) = r, x Σ, δ(r, x) = t : δ 1 (t, x) F 1, pokud r = s 0, x Σ. N přechodové funkci vidíme, že podle prvního řádku předpisu se všechny přechody orátí (tj. změní se zdroj cíl přechodu), podle druhého řádku vytvoříme přechody vedoucí z přidného stvu s 0 (zstupujícího původní koncové stvy). Příkld Provedeme operci zrcdlení jzyk tohoto konečného utomtu: A 1 = ({q 0, q 1, q 2, q 3 }, {,, c}, δ 1, q 0, {q 1 }) q 0 q 1 c c q 2 q 3 c q 0 q 1 q 2 q 1 q 1 q 2 q 3 q 1 q 3 q 2 δ 1 (q 0, ) = q 1 δ 1 (q 0, ) = q 2 δ 1 (q 1, c) = q 1 δ 1 (q 2, ) = q 3 δ 1 (q 2, c) = q 1 δ 1 (q 3, ) = q 2 Orátíme všechny přechody. Protože máme jen jediný koncový stv, stčí pk jen změnit počáteční koncový stv (neudeme vytvářet nový stv s 0 ). U tulky se změňují oznčení řádků s oshem uněk n tomto řádku. A R = ({q 0, q 1, q 2, q 3 }, {,, c}, δ, q 1, {q 0 }) q 0 q 1 c c q 2 q 3 c q 0 q 1 q 0 q 1, q 2 q 2 q 0, q 3 q 3 q 2 δ 1 (q 1, ) = q 0 δ 1 (q 2, ) = q 0 δ 1 (q 1, c) = q 1 δ 1 (q 3, ) = q 2 δ 1 (q 1, c) = q 2 δ 1 (q 2, ) = q 3 Ukázk odvození slov v utomtu A 1 jeho reverze v utomtu A R : A 1 : (q 0, c) (q 2, c) (q 3, c) (q 2, c) (q 1, ε) A R : (q 1, c) (q 2, ) (q 3, ) (q 2, ) (q 0, ε)

15 Kpitol 1 Regulární jzyky 8 Příkld Podíváme se n složitější přípd konečný utomt s více koncovými stvy. Postup ude podoný, le nvíc řešíme nutnost existence jediného počátečního stvu. Je dán tento konečný utomt: c A B A B c B D A, D D D D Jsou zde dv koncové stvy. Nejdřív přesměrujeme všechny přechody oznčíme nový koncový stv, ž v druhém kroku (utomt vprvo) vytvoříme nový počáteční stv podoným postupem, jký jsme použili npříkld u sjednocení (tm šlo tké o simulci nhrzení dvou počátečních stvů jediným). c c A B A B s 0 s 0 D A, B A c c B A D D A D D B Ukázk odvození slov v utomtu A 1 jeho reverze v utomtu A R : A 1 : (q 0, ) (q 2, ) (q 0, ) (q 2, ) (q 1, ε) A R : (s 0, ) (q 2, ) (q 0, ) (q 2, ) (q 0, ε) Poslední přípd, n který se podíváme, je konečný utomt s více koncovými stvy, kde tké počáteční stv ptří do množiny koncových stvů. Příkld Pro operci zrcdlení je dán tento konečný utomt: A 1 = ({q 0, q 1, q 2 }, {, }, δ 1, q 0, {q 0, q 1 }) q 0 q 1 q 2 q 0 q 1 q 2 q 1 q 2 q 0 q 1 δ 1 (q 0, ) = q 1 δ 1 (q 0, ) = q 2 δ 1 (q 2, ) = q 0 δ 1 (q 2, ) = q 1 N rozdíl od předchozích příkldů udou ve výsledném utomtu dv koncové stvy. Stv q 0 ude koncový, protože v původním utomtu je počátečním stvem, stv s 0 ude koncový, protože do jzyk původního utomtu ptří slovo ε, jehož převrácením je opět slovo ε pro jeho rozpoznání musí ýt počáteční stv (tj. s 0 ) v množině koncových stvů.

16 q 2 q 2 q 0 Kpitol 1 Regulární jzyky 9 A R = ({s 0, q 0, q 1, q 2 }, {, }, δ, s 0, {q 0, s 0 }) q 0 s 0, q 1 q 2 s 0 q 0, q 2 q 2 q 0 q 2 q 1 q 0 q 2 q 2 q 0 δ(s 0, ) = {q 0, q 2 } δ(s 0, ) = {q 2 } δ(q 1, ) = {q 0 } δ(q 2, ) = {q 0 } δ(q 0, ) = {q 2 } δ(q 1, ) = {q 2 } Úkoly 1. Zkonstruujte konečný utomt jzyk, který je reverzí (zrcdlovým orzem) jzyk následujícího utomtu: 0 1 D D D E E E E 2. Vytvořte konečný utomt jzyk, který je reverzí jzyk následujícího utomtu. Pro o utomty (uvedený i ten, který vytvoříte) sestrojte tulku přechodů. q 0 q 1 3. Vytvořte konečný utomt rozpoznávjící jzyk L = {ε, tisk, tis, síto} tk, y jednotlivá slov jzyk yl rozpoznávná koncovým stvem (tj. pro kždé slovo vlstní koncový stv). Potom proveďte reverzi tohoto utomtu. 4. Vytvořte zrcdlový orz jzyk tohoto konečného utomtu (má jediný koncový stv, který je zároveň počátečním stvem): q 0 q 1 q 2 q 1 q Průnik Když vytváříme konečný utomt pro průnik dvou jzyků pomocí utomtů, které je rozpoznávjí, tk vlstně simulujeme (prlelně) činnost oou těchto utomtů. Po přečtení kždého signálu ze vstupu provedeme jeden krok v oou utomtech zároveň. Ve výsledném utomtu jsou proto stvy uspořádnými dvojicemi stvů z prvního druhého původního utomtu (pozor, záleží n pořdí).

17 Kpitol 1 Regulární jzyky 10 Oznčme A 1 = (Q 1, Σ 1, δ 1, q 1, F 1 ) je první utomt, A 2 = (Q 2, Σ 2, δ 2, q 2, F 2 ) je druhý utomt, pk utomt rozpoznávjící jzyk, který je průnikem jzyků oou utomtů, je A P = (Q 1 Q 2, Σ 1 Σ 2, δ, [q 1, q 2 ], F 1 F 2 ), kde operce je krtézským součinem uvedených množin. Přechodová funkce: ( ) [ ] δ [p, r], x = δ 1 (p, x), δ 2 (r, x), kde p Q 1, r Q 2, x Σ 2, x Σ 1 Σ 2 Poznámk: Všimněte si, že v definici výsledného utomtu máme krtézský součin původních množin stvů ( totéž pro koncové stvy). Ve skutečnosti mnoho z těchto stvů je nedostupných neo ndytečných, což můžeme vyřešit redukcí. Příkld Sestrojíme konečný utomt rozpoznávjící průnik jzyků následujících dvou utomtů: q 0 q 1 q 2 q 3 p 0 p 1 p 3 p 2 p 4 A 1 = ({q 0,..., q 3 }, {, }, δ 1, q 0, {q 2 }) A 2 = ({p 0,..., p 4 }, {, }, δ 2, p 0, {p 4 }) δ 1 (q 0, ) = {q 0 } δ 1 (q 0, ) = {q 1 } δ 1 (q 1, ) = {q 1, q 2 } δ 1 (q 2, ) = {q 3 } δ 1 (q 3, ) = {q 2 } δ 2 (p 0, ) = {p 1, p 3 } δ 2 (p 1, ) = {p 2 } δ 2 (p 1, ) = {p 1 } δ 2 (p 2, ) = {p 0 } δ 2 (p 3, ) = {p 4 } Nejdřív si vyznčíme průěh simulce. Není to nutné ( u složitějšího utomtu je to prkticky neproveditelné), le n digrmu lépe pochopíme prlelnost oou zprcování téhož slov (červeně jsou spojeny stvy, ve kterých jsou utomty ve stejném kroku zprcování slov) orázek vprvo. Npříkld pro slovo prlelně procházíme dvojicemi stvů [q 0, p 0 ], pk [q 0, p 1 ], [q 1, p 1 ], [q 2, p 1 ], [q 3, p 2 ], [q 2, p 0 ], dále [q 3, p 3 ] [q 2, p 4 ]. Protože y ylo hodně náročné ( tké nedeterministické q 0 q 1 p 0 p 1 p 3 q 2 p 2 p 4 těžko nprogrmovtelné) tkto vyhledávt všechny dvojice stvů, ve kterých se nchází výpočet v oou utomtech ve stejném kroku, použijeme jinou (trochu otrockou ) metodu: jko množinu stvů použijeme množinu všech uspořádných dvojic, kde první prvek je stv prvního utomtu druhý prvek je stv druhého utomtu, q 3

18 Kpitol 1 Regulární jzyky 11 vytvoříme δ-funkci neo tulku přechodů, ve které zchytíme společné přechody n stejný signál v oou utomtech, odstrníme nepotřené stvy. Počátečním stvem ude uspořádná dvojice oshující počáteční stvy oou původních utomtů, koncové stvy udou všechny uspořádné dvojice, ve kterých jsou o původní stvy koncovými. Jednodušší je využití tulky přechodů. Podle tulek původních utomtů vytvoříme tulku pro výsledný utomt (komince řádků ve stejném sloupci). q 0 q 0 q 1 q 1 q 1, q 2 q 2 q 3 q 3 q 2 p 0 p 1, p 3 p 1 p 2 p 1 p 2 p 0 p 3 p 4 p 4 Tulk přechodů výsledného konečného utomtu má 4 5 = 20 řádků: (pokrčování) [q 0, p 0 ] [q 0, p 1 ], [q 0, p 3 ] [q 0, p 1 ] [q 0, p 2 ] [q 1, p 1 ] [q 0, p 2 ] [q 1, p 0 ] [q 0, p 3 ] [q 1, p 4 ] [q 0, p 4 ] [q 1, p 0 ] [q 1, p 1 ] [q 1, p 1 ], [q 2, p 1 ] [q 1, p 2 ] [q 1, p 0 ], [q 2, p 0 ] [q 1, p 3 ] [q 1, p 4 ], [q 2, p 4 ] [q 1, p 4 ] [q 2, p 0 ] [q 3, p 1 ], [q 3, p 3 ] [q 2, p 1 ] [q 3, p 2 ] [q 2, p 2 ] [q 2, p 3 ] [q 2, p 4 ] [q 3, p 0 ] [q 3, p 1 ] [q 2, p 1 ] [q 3, p 2 ] [q 2, p 0 ] [q 3, p 3 ] [q 2, p 4 ] [q 3, p 4 ] Nyní odstrníme nepotřené (tj. nedosžitelné ndytečné) stvy tk, jk jsme se učili v předchozím semestru, osh množin je průěžně tříděn pro usndnění porovnávání. S 0 = {[q 0, p 0 ]} S 1 = {[q 0, p 0 ], [q 0, p 1 ], [q 0, p 3 ]} S 2 = {[q 0, p 0 ], [q 0, p 1 ], [q 0, p 3 ], [q 0, p 2 ], [q 1, p 1 ], [q 1, p 4 ]} S 3 = {[q 0, p 0 ], [q 0, p 1 ], [q 0, p 2 ], [q 0, p 3 ], [q 1, p 1 ], [q 1, p 4 ], [q 1, p 0 ], [q 2, p 1 ]} S 4 = {[q 0, p 0 ], [q 0, p 1 ], [q 0, p 2 ], [q 0, p 3 ], [q 1, p 0 ], [q 1, p 1 ], [q 1, p 4 ], [q 2, p 1 ], [q 3, p 2 ]} S 5 = {[q 0, p 0 ], [q 0, p 1 ], [q 0, p 2 ], [q 0, p 3 ], [q 1, p 0 ], [q 1, p 1 ], [q 1, p 4 ], [q 2, p 1 ], [q 3, p 2 ], [q 2, p 0 ]} S 6 = {[q 0, p 0 ], [q 0, p 1 ], [q 0, p 2 ], [q 0, p 3 ], [q 1, p 0 ], [q 1, p 1 ], [q 1, p 4 ], [q 2, p 0 ], [q 2, p 1 ], [q 3, p 2 ], [q 3, p 1 ], [q 3, p 3 ]} S 7 = {[q 0, p 0 ], [q 0, p 1 ], [q 0, p 2 ], [q 0, p 3 ], [q 1, p 0 ], [q 1, p 1 ], [q 1, p 4 ], [q 2, p 0 ], [q 2, p 1 ], [q 3, p 1 ], [q 3, p 2 ], [q 3, p 3 ], [q 2, p 4 ]} S 8 = {[q 0, p 0 ], [q 0, p 1 ], [q 0, p 2 ], [q 0, p 3 ], [q 1, p 0 ], [q 1, p 1 ], [q 1, p 4 ], [q 2, p 0 ], [q 2, p 1 ], [q 2, p 4 ], [q 3, p 1 ], [q 3, p 2 ], [q 3, p 3 ]} = S 7 Odstrnili jsme stvy [q 0, p 4 ], [q 1, p 2 ], [q 1, p 3 ], [q 2, p 2 ], [q 2, p 3 ], [q 3, p 0 ], [q 3, p 4 ], které jsou nedosžitelné z počátečního stvu. Zývá odstrnit ndytečné stvy.

19 Kpitol 1 Regulární jzyky 12 Dále prcujeme s touto tulkou přechodů: [q 0, p 0 ] [q 0, p 1 ], [q 0, p 3 ] [q 0, p 1 ] [q 0, p 2 ] [q 1, p 1 ] [q 0, p 2 ] [q 1, p 0 ] [q 0, p 3 ] [q 1, p 4 ] [q 1, p 0 ] [q 1, p 1 ] [q 1, p 1 ], [q 2, p 1 ] [q 1, p 4 ] [q 2, p 0 ] [q 3, p 1 ], [q 3, p 3 ] [q 2, p 1 ] [q 3, p 2 ] [q 2, p 4 ] [q 3, p 1 ] [q 2, p 1 ] [q 3, p 2 ] [q 2, p 0 ] [q 3, p 3 ] [q 2, p 4 ] Odstrníme ndytečné symoly (ze kterých neexistuje cest do koncového stvu): E 0 = {[q 2, p 4 ]} E 1 = {[q 2, p 4 ], [q 3, p 3 ]} E 2 = {[q 2, p 4 ], [q 3, p 3 ], [q 2, p 0 ]} E 3 = {[q 2, p 0 ], [q 2, p 4 ], [q 3, p 3 ], [q 3, p 2 ]} E 4 = {[q 2, p 0 ], [q 2, p 1 ], [q 2, p 4 ], [q 3, p 2 ], [q 3, p 3 ]} E 5 = {[q 2, p 0 ], [q 2, p 1 ], [q 2, p 4 ], [q 3, p 2 ], [q 3, p 3 ], [q 1, p 1 ], [q 3, p 1 ]} E 6 = {[q 1, p 1 ], [q 2, p 0 ], [q 2, p 1 ], [q 2, p 4 ], [q 3, p 1 ], [q 3, p 2 ], [q 3, p 3 ], [q 0, p 1 ]} E 7 = {[q 0, p 1 ], [q 1, p 1 ], [q 2, p 0 ], [q 2, p 1 ], [q 2, p 4 ], [q 3, p 1 ], [q 3, p 2 ], [q 3, p 3 ], [q 0, p 0 ]} E 8 = {[q 0, p 0 ], [q 0, p 1 ], [q 1, p 1 ], [q 2, p 0 ], [q 2, p 1 ], [q 2, p 4 ], [q 3, p 1 ], [q 3, p 2 ], [q 3, p 3 ]} = E 7 Po odstrnění stvů [q 0, p 2 ], [q 0, p 3 ], [q 1, p 0 ], [q 1, p 4 ] dostáváme tuto tulku přechodů (s původním oznčením stvů po přeznčení n písmen): [q 0, p 0 ] [q 0, p 1 ] A B [q 0, p 1 ] [q 1, p 1 ] B [q 1, p 1 ] [q 1, p 1 ], [q 2, p 1 ], E [q 2, p 0 ] [q 3, p 1 ], [q 3, p 3 ] D G, K [q 2, p 1 ] [q 3, p 2 ] E H [q 2, p 4 ] F [q 3, p 1 ] [q 2, p 1 ] G E [q 3, p 2 ] [q 2, p 0 ] H D [q 3, p 3 ] [q 2, p 4 ] K F Přeznčení stvů není povinné, zde jsme to provedli pouze kvůli zvýšení přehlednosti. Jk vidíme, získli jsme utomt s devíti stvy.

20 Kpitol 1 Regulární jzyky 13 Stvový digrm (stvy jsou přeznčené): A B E G H D K F Úkoly 1. Vytvořte deterministické konečné utomty pro jzyky L 1 = {if, then, else} L 2 = {if, iff, elif}, v kždém z utomtů stčí jediný koncový stv pro všechn slov dného jzyk. Potom výše uvedeným postupem vytvořte utomt rozpoznávjící průnik těchto jzyků. 2. Sestrojte konečný utomt, který rozpoznává průnik jzyků následujících utomtů (prcujte s tulkmi přechodů). Odstrňte nedosžitelné ndytečné stvy sestrojte stvový digrm. 0 1 A B A B D D B 0 1 E F F F H H H H Pro kontrolu: po odstrnění nepotřených stvů y měl utomt mít osm stvů, z toho jeden koncový, jeden cyklus přes jeden stv jeden cyklus přes tři stvy. 1.4 Pumping lemm pro regulární jzyky Pumping lemm nám pomáhá určit, zd není dný jzyk regulární. Zákldní znění lemmtu je následující: Lemm (Pumping lemm pro regulární jzyky) Jestliže L je regulární jzyk, pk existuje přirozené číslo p > 0 tkové, že pro kždé slovo w L tkové, že w > p, existuje lespoň jedno rozdělení slov w ve formě w = x y z, kde y ε x y p k 0 je x y k z L (1.1) V symolickém zápisu: Lemm (Pumping lemm pro regulární jzyky symolický zápis) L je regulární jzyk p N, p > 0 tkové, že w L, w > p rozdělení w = x y z y > 0 x y p k 0 je x y k z L (1.2)

21 Kpitol 1 Regulární jzyky 14 o z toho vyplývá? Pumping lemm je implikce říká, že pokud je jzyk regulární, pk má dnou vlstnost. Ale nemusí nutně pltit, že jzyk, který má dnou vlstnost, je regulární (protože se nejedná o ekvivlenci). Jestliže chceme tuto větu použít pro důkz toho, že dný jzyk není regulární, musíme znění uprvit srovnejte původní otočené znění: L L (REG) p > 0 w: w > p rozdělení... k 0: x y k z L p > 0 w: w > p rozdělení... k 0: x y k z / L L / L (REG) Tkže njdeme jedno dosttečně dlouhé slovo, projdeme všechn jeho rozdělení x y z vyhovující podmínkám lemmtu pro kždé rozdělení njdeme jedno číslo k 0 pro pumpování. Lemm používáme n dosttečně dlouhá slov, tedy delší než p. Podmínk x y p je důležitá: dokáže nám hodně redukovt počet vyhovujících rozdělení slov. V prxi to znmená, že v částech x y je omezený počet symolů, tedy npříkld se zde nesmí vyskytovt žádný index lížící se délce vyrného slov. Poznámk: Uvědomme si, z čeho vět vyplývá pokud je jzyk regulární, pk existuje konečný utomt, který tento jzyk rozpoznává. Když už máme konečný utomt, můžeme si z číslo p dosdit jednoduše počet stvů utomtu. Pk podmínk dosttečně dlouhé slovo (tj. w > p) znmená, že výpočet slov se ude sestávt z více než p kroků, tedy musí existovt stv, přes který půjde tento výpočet více než jednou (protože v kždém kroku výpočtu je zprcován právě jeden symol slov dochází ke změně stvu). Pokud tedy výpočet prochází přes lespoň jeden stv dvkrát, znmená to, že ve výpočtu je smyčk (tj. v grfu utomtu se ve smyčce dostáváme od prvního výskytu opkovného stvu ve výpočtu k jeho dlšímu výskytu). Tedy v nšem slově njdeme první smyčku ve výpočtu, část slov zprcovnou n cestě k této smyčce prohlásíme z x, část slov zprcovného ve smyčce (jejím prvním průěhu) z y zytek slov ude z. Oprvdu hledáme první smyčku n cestě jko prostřední část rozdělení použijeme první průěh smyčky, to odpovídá podmínce x y p. Příkld Nejdřív si ukážeme, jk ověřit, že regulární jzyk tuto vlstnost má. Postup si ukážeme n jzyku L = { i j : i, j 0 } Pro tento jzyk dokážeme sestrojit konečný utomt, tedy víme, že se jedná o regulární jzyk. Vlstnost popsnou v Pumping lemm si můžeme předstvit tkto: q 0 q 1 použijeme p rovno počtu stvů konečného utomtu, tedy p = 3, vezmeme jkékoliv slovo jzyk delší než 3, npříkld w = 3 (má délku 5), q 1

22 Kpitol 1 Regulární jzyky 15 w je delší než počet stvů utomtu, je tedy zřejmé, že některá část slov ude vyhodnocován v cyklu, při pohledu n stvový digrm utomtu vidíme, že tento cyklus jde přes jediný stv, to q 0, vhodné rozdělení může ýt npříkld w = () () ( 2 ), po pumpování prostřední části dostáváme slov () () k ( 2 ) = k+2, pro jkékoliv k 0 tto slov ptří do jzyk L. ohli ychom zvolit jiné dlouhé slovo, npříkld 8. Odpovídjící rozdělení y ylo () () ( 5 ). Vidíme, že prostřední část slov vlstně odpovídá části slov, která prochází cyklem (nejméně jednou). Pumpování s indexem k pk odpovídá knásonému průchodu cyklem v utomtu. Pltí Pumping lemm pro všechny regulární jzyky včetně konečných? Smozřejmě no. Pro kždý konečný jzyk existuje konečný utomt, který ho rozpoznává. Jko p si u konečného jzyk zvolíme opět uď počet stvů tohoto utomtu neo číslo ještě větší. V Pumping lemm se píše pro kždé slovo w dného jzyk delší než p..., le nepíše se tm, že tkové slovo oprvdu musí existovt. Oprvdu žádné tkové neexistuje, protože kdyy existovlo slovo delší než počet stvů utomtu, musel y ýt v grfu stvového digrmu cyklus, cyklus znmená nekonečný jzyk. Tkže Pumping lemm pltí i pro konečné jzyky. Úkol U následujících regulárních jzyků vytvořte stvový digrm, vyerte dosttečně dlouhé slovo delší než počet stvů utomtu, určete některé vhodné rozdělení slov n tři části podle podmínek Pumping lemmtu ukžte, že pro jkékoliv číslo k jde opět o slovo z dného jzyk. Prcujte s těmito jzyky: () L = { i : i 0 } () L = { () i : i 0 } (c) L c = { () i : i 1 } (d) L d = { 000(111) i : i 0 } (e) L c = {disk, dt, plt} (f) L d = N (množin přirozených čísel, zde včetně 0) Ovyklejším způsoem použití Pumping lemmtu je její orázená form: místo tvrzení Regulr(L) Vlstnost(L, p) dokzujeme Vlstnost(L, p) Regulr(L) tedy Pokud neexistuje žádné p tkové, že pro kždé slovo delší než p dokážeme njít dné rozdělení, pk jzyk není regulární. Aychom mohli dokázt, že prcujeme s oprvdu jkkoliv dlouhým slovem, použijeme v určení slov proměnnou v exponentu, kterou v přípdě potřey můžeme jkkoliv zvyšovt (do nekonečn), npříkld proměnnou i ve slově () i.

23 Kpitol 1 Regulární jzyky 16 Dále u zvoleného slov zkoušíme různé možnosti jeho rozdělení n tři části tk, y prostřední část neyl prázdné slovo. Nemusíme hledt solutně všechny možnosti (to ychom hledli do nekonečn), le je tře vystihnout různé možné způsoy umístění hrnic mezi potenciálními částmi. Pro kždé možné rozdělení pk njdeme lespoň jednu hodnotu k, pro kterou x y k z neptří do jzyk. Končíme tehdy, když se podří njít slovo tkové, že pro jkékoliv jeho rozdělení vždy njdeme lespoň jednu hodnotu k tkovou, že x y k z neptří do dného jzyk. Příkld Ukážeme, že jzyk L = { n 2n : n 0 } není regulární. Vyereme dosttečně dlouhé slovo jzyk. Protože nemáme zkonstruován konečný utomt pro tento jzyk (smozřejmě, vždyť ve skutečnosti neexistuje), musíme vyrt tkové slovo, o kterém si můžeme ýt jisti, že je oprvdu dlouhé. Npříkld w = i 2i pro nějké i, dosttečně velké. Použili jsme konstntu i, o které víme jen jedinou konkrétní věc je větší než 0 (protože musí ýt větší než nějké číslo p, které je větší než 0). Slovo máme, to dosttečně reprezenttivní, vlstně nám určuje všechn dlouhá slov dného jzyk. Zývá projít všechn možná rozdělení x y z tohoto slov dokázt, že pro některé k 0 slovo x y k z neptří do jzyk L. U jednotlivých možností udeme volit k = 0 neo k = 2. Hledáme tková rozdělení w = x y z, kde pltí: x > 0, x y p. Ve skutečnosti můžeme všechn tková rozdělení popst tkto: x y z Podmínky x y k z k = 0 r s i r s 2i s > 0 r+ks+i r s 2i i s 2i / L, protože s > 0 Ve schémtu r s i r s 2i máme zkódován všechn rozdělení odpovídjící podmínkám Pumping lemmtu, stčí z r, s doszovt vhodná mlá čísl. Pro kždé možné rozdělení (tedy vlstně jediné multirozdělení ) jsme nšli k tkové, že xy k z neptří do jzyk, proto L není regulární jzyk. Poznámk: Všimněte si, že ve schémtu se index i nevyskytuje v prvních dvou částech slov. Protože x y p víme, že 3i > p, můžeme ez újmy n oecnosti prohlásit, že ve skutečnosti jsme zvolili dokonce i > p, tedy y se nám do prvních dvou částí slov nevešlo. Tkže si tímto způsoem usndňujeme práci s hledáním vhodných rozdělení. Příkld Dokážeme, že jzyk L = { n : n je prvočíslo} není regulární. Kdyy tento jzyk yl regulární, pk y pro kždé dosttečně dlouhé slovo jzyk existovlo rozdělení s výše uvedenými vlstnostmi. Zvolme slovo w = i, kde i je některé dosttečně velké prvočíslo. Nyní určíme rozdělení pro w = x y z (v tomto přípdě není moc možností, jk volit). Zvolme tedy x = r, y = s, z = i r s, se zchováním podmínek lemmtu (to znmená, že s > 0, r + s p).

24 Kpitol 1 Regulární jzyky 17 Pro pumpování určíme index k = i + 1. To můžeme, protože v modifikci věty máme k 0, číslo i je z nšeho pohledu konstntní ( dosttečně velké, určitě větší než 0). Určíme tedy w k = r+k s+i r s = k s+i s, konkrétně w i+1 = (i+1) s+i s = is+i = i (s+1). Exponent lze rozložit n součin dvou čísel i, s+1, která jsou oě větší než 2, proto se nejedná o prvočíslo slovo w i+1 neptří do jzyk L. Z toho vyplývá, že L není regulární. Poznámk: Všimněte si, že jsme vlstně použili důkz sporem. Předpokládli jsme, že dný jzyk je regulární, le ke konci důkzu jsme tento předpokld popřeli. Příkld Dokážeme, že jzyk L = { } n2 : n 1 není regulární. Vezměme si dosttečně dlouhé slovo w = i2 (pro dosttečně velkou konstntu i). Toto slovo rozdělíme n tři části následovně: i2 = x1 x2 x 3, tedy pltí následující rovnice nerovnice: i 2 = x 1 + x 2 + x 3 x 2 > 0 x 1 + x 2 p Pumpování: w k = x1 k x2 x 3. Předpokládejme, že jzyk L je regulární. Pk y muselo pltit, že počet symolů ve slově w k je druhou mocninou některého přirozeného čísl, tedy x1 k x2 x 3 = m2 pro některé číslo m 1. Z toho vyplývá následující vzth: x 1 + k x 2 + x 3 = m 2. Uvědomte si, co je zde konstntou co je proměnnou: čísl i, x 1, x 2, x 3 jsou pro nás konstntmi, protože je npevno volíme (pro jedno dosttečně dlouhé slovo konkrétní rozdělení tohoto slov. Nproti tomu k je proměnná (protože u regulárního jzyk y vzth měl pltit pro všechn k 0), m je proměnná závislá n proměnné k (když roste hodnot k, roste i hodnot proměnné m). Vzth x 1 +k x 2 +x 3 = m 2 můžeme tedy přepst tkto: k x 2 +(x 1 +x 3 ) = m 2, přičemž n levé strně rovnice máme lineární funkci proměnné k, n prvé strně rovnice máme mocninnou funkci (závislé) proměnné m, přičemž se jedná o funkce n množině přirozených čísel (neo celých nezáporných čísel). Pokud y se oprvdu jednlo o regulární jzyk, pk y muselo ýt možné ke kždé hodnotě k njít odpovídjící hodnotu pro proměnnou m (tedy kždé slovo w k y mělo ptřit do jzyk L), le jk víme, lineární mocninná funkce n kldné poloose se kryjí v mximálně dvou odech spor. Proto jzyk L není regulární. Pumping lemm není ekvivlence, le pouze implikce. Proto mohou existovt jzyky, které sice nejsou regulární, le přesto dnou vlstnost splňují. ůže se jednt npříkld o jzyk vzniklý zřetěnením regulárního neregulárního jzyk. Příkld Jzyk L = { i j c 2j : i, j 0 } není regulární, přesto splňuje Pumping lemm. ůžeme zvolit npříkld slovo w = m pro některé dosttečně velké číslo m.

25 Kpitol 1 Regulární jzyky 18 Toto slovo lze rozdělit n tři části x y z = r s m r s při zchování podmínek s > 0, r + s p pumpovt n w k = r+k s+m r s = k s+m s, přičemž i po pumpování po doszení jkéhokoliv celého nezáporného čísl z k dostneme opět slovo ptřící do jzyk L. Tkže jzyk L splňuje podmínky Pumping lemmtu, třeže se nejedná o regulární jzyk. Poznámk: o z toho plyne? Když jzyk splňuje Pumping lemm, nemůžeme tvrdit, že je regulární. A nopk když se nepodří pomocí Pumping lemm dokázt, že jzyk není regulární, tk to ještě neznmená, že je regulární. Úkoly 1. Ukžte, že jzyk L = {() n : n 0} splňuje vlstnosti uvedené v Pumping lemmtu. 2. Pomocí Pumping lemmtu dokžte, že jzyk L = { n c n : n 1} není regulární. 3. Pomocí Pumping lemmtu dokžte, že jzyk L = { ww R : w {, } } není regulární. ůžete zvolit npříkld slovo v = i 2i i, které tké ptří do jzyk L, stčí dokázt, že pro toto slovo neexistuje vhodné rozdělení pro pumpování. 4. Pomocí Pumping lemmtu dokžte, že jzyk L = { 2n : n 0 } není regulární. 1.5 inimlizce konečného utomtu inimlizce konečného utomtu je snížení počtu stvů při rozpoznávání téhož jzyk, to n úroveň solutně nezytnou vzhledem k rozpoznávnému jzyku, přičemž výsledný utomt y měl ýt totální. Účelem může ýt smotné snížení počtu stvů (npříkld z důvodu sndnějšího nprogrmování či snížení složitosti utomtu) neo zjištění porovntelnosti dvou utomtů. Při minimlizci utomtu A postupujeme tkto: utomt A y měl ýt deterministický; pokud není, převedeme ho do deterministického tvru, odstrníme nedostupné stvy (tj. stvy, do kterých nevede cest z počátečního stvu) první část redukce stvů utomtu (druhou část nemusíme provádět, je víceméně součástí lgoritmu minimlizce), pokud utomt není totální, zúplníme ho (tj. přidáme odpdkový koš ), dále prcujeme se třídmi ekvivlence: vytvoříme pomocnou tulku, ve které udeme pro přehlednost oznčovt třídy římskými čísly, rozdělíme stvy do dvou skupin nekoncové (tříd I) koncové (tříd II), tkto oznčíme řádky pomocné tulky, sloupce udou oznčeny prvky množiny Σ jko v původní přechodové tulce, doplníme osh uněk tulky: uď I (pokud se z dného stvu řádek přechází n dný symol sloupec do stvu ze třídy I) neo II (pokud se z dného stvu n dný symol přechází do stvu ptřícího do třídy II),

26 Kpitol 1 Regulární jzyky 19 srovnáme řádky v rámci jednotlivých tříd: pokud řádky v rámci třídy mjí stejný osh, tuto třídu pro dný krok nedělíme, le pokud se řádky uvnitř třídy liší oshem uněk, rozdělíme třídu n podtřídy, osh uněk přizpůsoíme novému rozdělení, opkujeme předchozí od tk dlouho, dokud je co dělit. Příkld inimlizujeme následující konečný utomt: Automt je deterministický, le není totální. Automt zúplníme: 1 2 X X X X X X Sestrojíme pomocnou tulku se třídmi: V přechodové tulce máme n řádku pro stv 1 v uňkách stvy 2 tříd X, přičemž o ptří do třídy I; proto do pomocné tulky dáme do oou I 1 I I uněk oznčení třídy I. 2 II I N řádku přechodové tulky pro stv 2 vidíme, že se přechází do stvů 4 II I 3 4, které ptří do tříd II I. Tedy do pomocné tulky dáme oznčení X I I tříd II I. II 3 I I Podoně pro dlší stvy podle přechodové tulky oshu tříd. Jk vidíme, z řádků v první třídě mjí stejný osh 1 X, pk řádky 2 4. Proto třídu I rozdělíme n dvě části (stvy 1 X necháme ve třídě I, stvy 2 4 přesuneme do nové třídy III). Protože se změnil příslušnost stvů ve třídách, musíme změnit i osh uněk, čímž vytvoříme novou verzi pomocné tulky: Postupujeme stejně jko u první verze pomocné tulky podle původní přechodové tulky momentálního oshu tříd. Ze stvu 1 přechá- tříd I 1 III I zíme do stvů 2 X, přičemž první z nich teď ptří do třídy III druhý X I I do třídy I, tedy v uňkách udou III I. III 2 II III Tkto zprcujeme celou tulku, včetně těch řádků, jejichž třídy jsme 4 II III v tomto kroku nedělili (tdy nám náhodou vychází n řádku oznčeném II 3 I I 3 tentýž osh, le mohlo y to vyjít jink). V dlším kroku postupujeme odoně. Ve třídě I máme dv řádky, kždý z nich má jiný osh uněk, tedy ji rozdělíme. Třídu III neudeme dělit, její řádky mjí stejný osh uněk. tříd Po rozdělení třídy I opět přepíšeme osh uněk tk, y odpovídl I 1 III IV momentálnímu rozdělení stvů do tříd. IV X IV IV Při pohledu n pomocnou tulku zjistíme, že máme čtyři třídy, přičemž III 2 II III ve třídě III jsou sice dv stvy, le osh uněk n jejich řádcích 4 II III je stejný, tedy je neudeme dělit. Osttní třídy jsou jednoprvkové. Z pomocné II 3 IV IV tulky je zřejmé, že stvy 2 4 jsou nvzájem zstupitelné.

27 Kpitol 1 Regulární jzyky 20 Algoritmus končí zývá sestvit výslednou přechodovou tulku. áme dvě možnosti: uď použijeme původní oznčení stvů stvy 2 4 sloučíme do jediného (pro který zvolíme npříkld oznčení 2), neo prostě jko oznčení stvů použijeme názvy tříd. Původní oznčení stvů: 1 2 X X X X X X Oznčení stvů třídmi: I III IV IV IV IV III II III II IV IV Příkld inimlizujeme následující konečný utomt (počáteční stv je prvkem množiny koncových stvů): Automt je deterministický úplný, tedy nemusíme provádět žádné předěžné úprvy. Vytvoříme sekvenci pomocných tulek, ve kterých udeme prcovt se třídmi: tříd tříd I 2 I II I 2 I IV 4 II II III 4 II IV II 1 I I II 1 I III 3 II I IV 3 IV I 5 II I 5 IV I V druhém kroku jsme rozdělili oě původní třídy, máme tedy celkem čtyři různé třídy. Dlší dělení už se provádět neude, protože pouze ve třídě IV máme víc než jeden stv, o stvy z této třídy mjí shodný osh uněk n řádku. Zývá vytvořit výsledný utomt: Původní oznčení stvů: Oznčení stvů třídmi: II I III I I IV IV IV I III II IV

28 Kpitol 1 Regulární jzyky 21 Příkld inimlizujeme následující konečný utomt: Automt je deterministický úplný, nemusíme provádět žádné předěžné úprvy. Vytvoříme sekvenci pomocných tulek, ve kterých udeme prcovt se třídmi: tříd tříd I 2 I I I 2 III I 3 II I 5 III I 4 II I III 3 II III 5 I I 4 II III II 1 I II II 1 I II 6 I II 6 I II áme tři třídy, v kždé dv stvy, le dál dělit nemůžeme, protože v rámci tříd je osh uněk n různých řádcích shodný. Výsledný utomt má tři stvy: Původní oznčení stvů: Oznčení stvů třídmi: II I II I III I III II III Ztímco v předchozích příkldech se víceméně dlo předem odhdnout, které stvy udou nvzájem změnitelné, tdy už to tk zřejmé neylo. Podřilo se nám minimlizovt utomt n polovinu původního počtu stvů zůstl nám jen jeden koncový stv. Úkoly 1. inimlizujte následující konečný utomt (nezpomeňte ho předem uprvit není totální):

29 Kpitol 1 Regulární jzyky Následující (nedeterministický) konečný utomt převeďte n deterministický (po převodu odstrnění nepotřených stvů y měl mít čtyři stvy), podle potřey převeďte n totální, minimlizujte ho , Vytvoření regulárního výrzu podle konečného utomtu Pokud máme zjistit jzyk rozpoznávný zdným konečným utomtem, ovykle vytváříme regulární výrz (který pk můžeme převést do množinové reprezentce). Postupujeme tkto: 1. Pokud je to nutné, přeznčíme stvy (tk, y yly oznčeny čísly od 1). 2. Jko ázi rekurze (indukce) použijeme přímé cesty mezi dvěm stvy, n kterých se nenchází žádný dlší stv (tj. přechody); znčíme je Rij 0 dokážeme je jednoduše zjistit přímo z utomtu (v jkékoliv reprezentci), npříkld:... i i, j p j p p j j, p... i, j p Rii 0 = + ε Rij 0 = Rip 0 = Rji 0 = Rjj 0 = ε Rjp 0 = Rpi 0 = Rpj 0 = + Rpp 0 = + ε 3. Indukcí udeme postupně cesty prodlužovt (spojovt). Vytváříme množiny Rij k je to regulární výrz odpovídjící cestě ze stvu i do stvu j vedoucí pouze přes stvy oznčené mximálně číslem k. Postupujeme podle vzorce: R k ij = R k 1 ij + ( R k 1 ik ) (R k 1 kk ) R k 1 kj Používáme výhrdně množiny zjištěné v předchozím kroku (k 1). 4. Postupujeme ž k množinám s horním indexem rovným počtu stvů (tj. v posledním kroku vytvoříme množiny pro cesty mezi stvy, které vedou přes jkékoliv stvy ez omezení). V posledním kroku není tře vyprcovt množiny pro všechny komince stvů (dolní index), le pouze pro cesty z počátečního stvu do koncových stvů. 5. Výsledný regulární výrz je součet (tedy sjednocení) regulárních výrzů odpovídjících cestám z počátečního stvu do jednotlivých koncových stvů.

30 Kpitol 1 Regulární jzyky 23 Příkld Zjistíme regulární výrz odpovídjící jzyku rozpoznávnému následujícím utomtem: Nejdřív vytvoříme množiny R 0 ij regulární výrzy pro nejkrtší cesty ez mezistvů. R 0 11 = + ε R 0 12 = R 0 13 = R 0 21 = R 0 22 = ε R 0 23 = R 0 31 = R 0 32 = R 0 33 = + ε Horní index znmená mximální číslo stvu, přes který může vést cest mezi stvy uvedenými v dolním indexu (omezení z horního indexu se netýká okrjových stvů cesty). Npříkld R13 2 je regulární výrz odpovídjící cestě ze stvu 1 do stvu 3 tkové, že vede přes stvy s číslem mximálně 2, tedy přes stvy 1 2. Horní index udeme postupně zvyšovt. V prvním kroku se setkáme se vzthem ( + ε) = dále ( + ε) =. R 1 11 = ( + ε) + ( + ε) ( + ε) ( + ε) = = + ε + = R 1 12 = + ( + ε) ( + ε) = + = R 1 13 = + ( + ε) ( + ε) = R 1 21 = + ( + ε) ( + ε) = + = R22 1 = ε + ( + ε) = ε + R23 1 = + ( + ε) = R31 1 = + ( + ε) ( + ε) = R32 1 = + ( + ε) = R33 1 = ( + ε) + ( + ε) = + ε V druhém kroku udeme hodně používt vzth (ε + ) = ( ). R11 2 = + (ε + ) = + ( ) R12 2 = + (ε + ) (ε + ) = + ( ) = ( ) R13 2 = + (ε + ) = ( ) R21 2 = + (ε + ) (ε + ) = ( ) R22 2 = ε + + (ε + ) (ε + ) (ε + ) = ( ) R23 2 = + (ε + ) (ε + ) = ( ) R31 2 = + (ε + ) = R32 2 = + (ε + ) (ε + ) = R33 2 = + ε + (ε + ) = + ε Protože máme pouze tři stvy, třetí krok je poslední. Zde není tře vypočítávt výrzy přes všechny dvojice stvů. Potřeujeme pouze ty cesty, které vedou z počátečního stvu do některého koncového. V utomtu jsou dv koncové stvy, dostneme tedy dv regulární výrzy. R12 3 = ( ) + ( ) ( + ε) = ( ) R13 3 = ( ) + ( ) ( + ε) ( + ε) = ( ) + ( ) = = ( ) (ε + ) = ( )

31 Kpitol 1 Regulární jzyky 24 Výsledkem je regulární výrz odpovídjící jzyku rozpoznávnému dným utomtem: R = R R13 3 = = ( ) + ( ) = ( ) (ε + ) = ( ) Příkld Zjistíme regulární výrz odpovídjící jzyku rozpoznávnému následujícím utomtem: Nejdřív vytvoříme množiny R 0 ij : R11 0 = ε R12 0 = R13 0 = R14 0 = R21 0 = R22 0 = ε R23 0 = R24 0 = R31 0 = R32 0 = R33 0 = + ε R34 0 = R41 0 = R42 0 = R43 0 = R44 0 = ε Ve čtyřech krocích (číslo kroku je v horním indexu) zjistíme dlší množiny: R11 1 = ε + ε ε ε = ε R12 1 = + ε ε = R13 1 = + ε ε = R14 1 = + ε = R 1 21 = + ε = R 1 22 = ε + ε = ε + R 1 23 = + = R 1 24 = + ε = R31 1 = R32 1 = R33 1 = + ε + = + ε R34 1 = R41 1 = R42 1 = R43 1 = + = R44 1 = ε + = ε R11 2 = ε + () = () R12 2 = + () (ε + ) = () R13 2 = + () = () R14 2 = + () = + () = () R21 2 = + (ε + )() = () R22 2 = () R23 2 = + (ε + )() = () R24 2 = + (ε + )() = () R11 3 = () + = () R12 3 = () + = () R13 3 = () + () ( + ε) = () R14 3 = () + = () R31 2 = + = R32 2 = R33 2 = + ε + = + ε R34 2 = R41 2 = R42 2 = R43 2 = + = R44 2 = ε + = ε R21 3 = () + = () R22 3 = () + = () R23 3 = () + () ( + ε) = () R24 3 = () + = ()

32 Kpitol 1 Regulární jzyky 25 R31 3 = R32 3 = R33 3 = + ε + ( + ε) ( + ε) = R34 3 = R41 3 = R42 3 = R43 3 = + ( + ε) = R44 3 = ε Ve čtvrtém kroku nás zjímjí pouze cesty vedoucí z počátečního stvu do koncových stvů: R13 4 = () + () ε = () + () = () + () R14 4 = () + () ε ε = () Regulární výrz odpovídjící jzyku zdného utomtu je R = R R14 4 = = () + () + () = () ( + + ) Úkol Zjistěte regulární výrz odpovídjící jzyku následujících konečných utomtů: Poznámk: V předchozí sekci jsme pro minimlizci utomtu použili postup využívjící pozntky z lgery. Jinou možností y yl následující postup: vezmeme deterministický konečný utomt vytvoříme k němu lterntivní utomty tkové, že jejich definice ude nprosto stejná, ž n počáteční stvy: z počáteční stvy v těchto lterntivních utomtech udeme povžovt postupně všechny stvy utomtu (tedy získáme tolik lterntivních utomtů, kolik je stvů v množině Q), sestrojíme regulární výrzy odpovídjící jzykům postupně všech lterntivních utomtů, pokud regulární výrzy pro některé stvy (coy počáteční v lterntivním utomtu) udou ekvivlentní, pk je prohlásíme z změnitelné sloučíme. Určitě je všem jsné, že tento postup je výrzně náročnější než ten využívjící pozntky z lgery, což si ukážeme n příkldu. Příkld inimlizujeme následující konečný utomt je to tentýž jko v příkldu n strně 19.

33 Kpitol 1 Regulární jzyky Potřeujeme zjistit regulární výrzy odpovídjící cestám z jednotlivých stvů do koncových stvů. áme čtyři stvy, dojdeme tedy ke čtyřem regulárním výrzům. R11 0 = ε R12 0 = R13 0 = R14 0 = R21 0 = R22 0 = ε R23 0 = R24 0 = R31 0 = R32 0 = R33 0 = ε R34 0 = R41 0 = R42 0 = R43 0 = R44 0 = + ε R11 1 = ε R12 1 = R13 1 = R14 1 = R21 1 = R22 1 = ε R23 1 = R24 1 = R31 1 = R32 1 = R33 1 = ε R34 1 = R41 1 = R42 1 = R43 1 = R44 1 = + ε R11 2 = ε R12 2 = R13 2 = R14 2 = R21 2 = R22 2 = ε R23 2 = R24 2 = R31 2 = R32 2 = R33 2 = ε R34 2 = R41 2 = R42 2 = R43 2 = R44 2 = + ε R11 3 = ε R12 3 = R13 3 = R14 3 = R21 3 = R22 3 = ε R23 3 = R24 3 = R31 3 = R32 3 = R33 3 = ε R34 3 = R41 3 = R42 3 = R43 3 = R44 3 = + ε Zjímjí nás pouze cesty vedoucí z jednotlivých stvů do koncových stvů (což je jen stv 3), proto zjistíme pouze tyto regulární výrzy: R13 4 = + = R23 4 = + = R33 4 = ε R43 4 = + ( + ε) = + = Při porovnání zjistíme, že výrzy R23 4 R4 43 se rovnjí, proto jeden z nich můžeme odstrnit. Je jedno, který zvolíme, jen nesmíme zpomenout všechny přechody vedoucí do rušeného stvu přesměrovt do ekvivlentního stvu Výhodou je, že utomt nemusí ýt totální, nevýhodou je složitá práce s regulárními výrzy, především jejich porovnávání není jednoduché.

34 Kpitol 2 Bezkontextové grmtiky 2.1 Úprvy ezkontextových grmtik Převod n nezkrcující ezkontextovou grmtiku Nezkrcující ezkontextová grmtik uď vůec neoshuje ε-prvidl (pokud v jzyce generovném grmtikou není prázdné slovo), neo existuje jediné tkové prvidlo, to pro strtovcí symol grmtiky, pk le pk se strtovcí symol nesmí vyskytovt n prvé strně žádného prvidl (to znmená, že v kždé derivci se vyskytuje pouze n jejím zčátku, pk už ne). Při převodu n nezkrcující grmtiku odstrňujeme ε-prvidl tk, že simulujeme jejich použití. Kdyychom všk pouze simulovli použití ε-prvidel, mohli ychom se dostt do rekurze, které se všk chceme vyhnout. Je dán grmtik G = (N, T, P, S). Vytvoříme množinu N ε všech neterminálů, které lze (tře i po více než jednom kroku) přepst n prázdné slovo ε. Postup je iterční: množin N ε,0 (áze) ude oshovt právě ty neterminály, pro které existuje ε-prvidlo. V dlších krocích do této množiny přidáváme neterminály, které lze přepst n řetězec skládjící se pouze ze symolů, které yly do této množiny přidány v předchozích krocích, tj. N ε,i = N ε,i 1 {X N : X α, α N ε,i 1 }. Vytvořenou množinu N ε použijeme následovně: postupně zprcujeme všechn prvidl grmtiky kromě epsilonových, t odstrníme (ignorujeme), to dle následujících odů, n prvé strně prvidl hledáme všechny výskyty symolů ptřících do N ε, do výsledné množiny prvidel přidáme původní prvidlo pk všechny jeho vrinty, ve kterých je odstrněn jeden, dv, tři,... výskyty symolů z N ε (postupně všechny možné vrice). Tkto vytvořenou množinu prvidel oznčme P. Pokud v jzyce L(G) není slovo ε, jsme hotovi výsledná grmtik je G = (N, T, P, S). Pokud všk v L(G) je prázdné slovo, musíme ho zřdit i do jzyk uprvené grmtiky: přidáme nový neterminál S, S / N, který se stne novým strtovcím symolem, přidáme dvě nová prvidl S S ε. Výsledná grmtik pk je G = (N {S }, T, P {S S ε}, S ). 27

Teorie jazyků a automatů I

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

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

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

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

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

Ú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

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

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

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

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

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

Lineární nerovnice a jejich soustavy

Lineá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í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

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

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

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

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

( 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

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

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

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

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

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

Obecně: K dané funkci f hledáme funkci ϕ z dané množiny funkcí M, pro kterou v daných bodech x 0 < x 1 <... < x n. (δ ij... Kroneckerovo delta) (4)

Obecně: K dané funkci f hledáme funkci ϕ z dané množiny funkcí M, pro kterou v daných bodech x 0 < x 1 <... < x n. (δ ij... Kroneckerovo delta) (4) KAPITOLA 13: Numerická integrce interpolce [MA1-18:P13.1] 13.1 Interpolce Obecně: K dné funkci f hledáme funkci ϕ z dné množiny funkcí M, pro kterou v dných bodech x 0 < x 1

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

13. Exponenciální a logaritmická funkce

13. Exponenciální a logaritmická funkce @11 1. Eponenciální logritmická funkce Mocninná funkce je pro r libovolné nenulové reálné číslo dán předpisem f: y = r, r R, >0 Eponent r je konstnt je nezávisle proměnná. Definičním oborem jsou pouze

Více

Reprezentovatelnost částek ve dvoumincových systémech

Reprezentovatelnost čá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íce

Spojitost funkce v bodě, spojitost funkce v intervalu

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

+ c. n x ( ) ( ) f x dx ln f x c ) a. x x. dx = cotgx + c. A x. A x A arctgx + A x A c

+ c. n x ( ) ( ) f x dx ln f x c ) a. x x. dx = cotgx + c. A x. A x A arctgx + A x A c ) INTEGRÁLNÍ POČET FUNKCE JEDNÉ PROMĚNNÉ ) Pojem neurčitého integrálu Je dán funkce Pltí všk tké F tk, y pltilo F ( ) f ( ) Zřejmě F ( ), protože pltí, 5,, oecně c, kde c je liovolná kon- stnt f ( ) nším

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

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

8. cvičení z Matematiky 2

8. cvičení z Matematiky 2 8. cvičení z Mtemtiky 2 11.-1. dubn 2016 8.1 Njděte tři pozitivní čísl jejichž součin je mximální, jejichž součet je roven 100. Zdání příkldu lze interpretovt tké tk, že hledáme mximální objem kvádru,

Více

2.9.11 Logaritmus. Předpoklady: 2909

2.9.11 Logaritmus. Předpoklady: 2909 .9. Logritmus Předpokld: 909 Pedgogická poznámk: Následující příkld vždují tk jeden půl vučovcí hodin. V přípdě potřeb všk stčí dojít k příkldu 6 zbtek jen ukázt, což se dá z jednu hodinu stihnout (nedoporučuji).

Více

x + F F x F (x, f(x)).

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

2.1 - ( ) ( ) (020201) [ ] [ ]

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

4.4.1 Sinová věta. Předpoklady: Trigonometrie: řešení úloh o trojúhelnících.

4.4.1 Sinová věta. Předpoklady: Trigonometrie: řešení úloh o trojúhelnících. 4.4. Sinová vět Předpokldy Trigonometrie řešení úloh o trojúhelnííh. Prktiké využití změřování měření vzdáleností, tringulční síť Tringulční síť je prolém měřit vzdálenosti dvou odů v krjině změříme velmi

Více

2.2.9 Grafické řešení rovnic a nerovnic

2.2.9 Grafické řešení rovnic a nerovnic ..9 Grfické řešení rovnic nerovnic Předpokldy: 0, 06 Př. : Řeš početně i grficky rovnici x + = x. Početně: Už umíme. x + = x x = x = K = { } Grficky: Kždá ze strn rovnice je výrzem pro lineární funkci

Více

LINEÁRNÍ DIFERENCIÁLNÍ ROVNICE 2.ŘÁDU

LINEÁRNÍ DIFERENCIÁLNÍ ROVNICE 2.ŘÁDU LINEÁRNÍ DIFERENCIÁLNÍ ROVNICE 2.ŘÁDU ZDENĚK ŠIBRAVA 1. Obecné řešení lin. dif. rovnice 2.řádu s konstntními koeficienty 1.1. Vrice konstnt. Příkld 1.1. Njděme obecné řešení diferenciální rovnice (1) y

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

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

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

4.4.3 Kosinová věta. Předpoklady:

4.4.3 Kosinová věta. Předpoklady: 443 Kosinová vět Předpokldy 44 Př Rozhodni zd dokážeme spočítt zývjíí strny úhly u všeh trojúhelníků zdnýh pomoí trojie prvků (délek strn velikostí úhlů) V sinové větě vystupují dvě dvojie strn-protější

Více

Logaritmické rovnice I

Logaritmické 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í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

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

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

Jak již bylo uvedeno v předcházející kapitole, můžeme při výpočtu určitých integrálů ze složitějších funkcí postupovat v zásadě dvěma způsoby:

Jak již bylo uvedeno v předcházející kapitole, můžeme při výpočtu určitých integrálů ze složitějších funkcí postupovat v zásadě dvěma způsoby: .. Substituční metod pro určité integrály.. Substituční metod pro určité integrály Cíle Seznámíte se s použitím substituční metody při výpočtu určitých integrálů. Zákldní typy integrálů, které lze touto

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

a i,n+1 Maticový počet základní pojmy Matice je obdélníkové schéma tvaru a 11

a i,n+1 Maticový počet základní pojmy Matice je obdélníkové schéma tvaru a 11 Mticový počet zákldní pojmy Mtice je obdélníkové schém tvru 2...... n 2 22. 2n A =, kde ij R ( i =,,m, j =,,n ) m m2. mn ij R se nzývjí prvky mtice o mtici o m řádcích n sloupcích říkáme, že je typu m/n

Více

Úlohy krajského kola kategorie A

Úlohy krajského kola kategorie A 67. ročník mtemtické olympiády Úlohy krjského kol ktegorie A 1. Pvel střídvě vpisuje křížky kolečk do políček tbulky (zčíná křížkem). Když je tbulk celá vyplněná, výsledné skóre spočítá jko rozdíl X O,

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

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

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

7.5.8 Středová rovnice elipsy

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

Zkoušku snadno provedeme tak, že do soustavy (1), která je ekvivalentní dané soustavě rovnic, dosadíme příslušné hodnoty s a p.

Zkoušku snadno provedeme tak, že do soustavy (1), která je ekvivalentní dané soustavě rovnic, dosadíme příslušné hodnoty s a p. 1. V oboru reálných čísel řešte soustvu rovnic x 2 xy + y 2 = 7, x 2 y + xy 2 = 2. (J. Földes) Řešení. Protože druhou rovnici můžeme uprvit n tvr xy(x + y) = 2, uprvme podobně i první rovnici: (x + y)

Více

63. ročník matematické olympiády III. kolo kategorie A. Ostrava, března 2014

63. ročník matematické olympiády III. kolo kategorie A. Ostrava, března 2014 63. ročník mtemtické olympiády III. kolo ktegorie Ostrv, 23. 26. řezn 204 MO . Nechť n je celé kldné číslo. Oznčme všechny jeho kldné dělitele d, d 2,..., d k tk, y pltilo d < d 2

Více

1. LINEÁRNÍ ALGEBRA 1.1. Matice

1. LINEÁRNÍ ALGEBRA 1.1. Matice Lineární lgebr LINEÁRNÍ LGEBR Mtice Zákldní pojmy Mticí typu m/n nzýváme schém mn prvků, které jsou uspořádány do m řádků n sloupců: n n m/n = = = ( ij ) m m mn V tomto schémtu pro řádky sloupce užíváme

Více

Definice limit I

Definice 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

Riemannův určitý integrál.

Riemannův určitý integrál. Riemnnův určitý integrál. Definice 1. Budiž

Více

NEWTONŮV INTEGRÁL. V předchozích kapitolách byla popsána inverzní operace k derivování. Zatím nebylo jasné, k čemu tento nástroj slouží.

NEWTONŮV INTEGRÁL. V předchozích kapitolách byla popsána inverzní operace k derivování. Zatím nebylo jasné, k čemu tento nástroj slouží. NEWTONŮV INTEGRÁL V předchozích kpitolách byl popsán inverzní operce k derivování. Ztím nebylo jsné, k čemu tento nástroj slouží. Uvžujme trmvj, která je poháněn elektřinou při brždění vyrábí dynmem elektřinu:

Více

(1) přičemž všechny veličiny uvažujeme absolutně. Její úpravou získáme vztah + =, (2) Přímé zvětšení Z je dáno vztahem Z = =, a a

(1) přičemž všechny veličiny uvažujeme absolutně. Její úpravou získáme vztah + =, (2) Přímé zvětšení Z je dáno vztahem Z = =, a a Úloh č. 3 Měření ohniskové vzdálenosti tenkých čoček 1) Pomůcky: optická lvice, předmět s průhledným milimetrovým měřítkem, milimetrové měřítko, stínítko, tenká spojk, tenká rozptylk, zdroj světl. ) Teorie:

Více

V předchozích kapitolách byla popsána inverzní operace k derivování. Zatím nebylo jasné, k čemu tento nástroj slouží.

V předchozích kapitolách byla popsána inverzní operace k derivování. Zatím nebylo jasné, k čemu tento nástroj slouží. NEWTONŮV INTEGRÁL V předchozích kpitolách byl popsán inverzní operce k derivování Ztím nebylo jsné, k čemu tento nástroj slouží Uvžujme trmvj, která je poháněn elektřinou při brždění vyrábí dynmem elektřinu:

Více

Matice. a B =...,...,...,...,..., prvků z tělesa T (tímto. Definice: Soubor A = ( a. ...,..., ra

Matice. 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í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

INTEGRACE KOMPLEXNÍ FUNKCE KŘIVKOVÝ INTEGRÁL

INTEGRACE KOMPLEXNÍ FUNKCE KŘIVKOVÝ INTEGRÁL INTEGRAE KOMPLEXNÍ FUNKE KŘIVKOVÝ INTEGRÁL N konci kpitoly o derivci je uveden souvislost existence derivce s potenciálním polem. Existuje dlší chrkterizce potenciálného pole, která nebyl v kpitole o derivci

Více

DERIVACE A INTEGRÁLY VE FYZICE

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

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

ZÁKLADY. y 1 + y 2 dx a. kde y je hledanou funkcí proměnné x.

ZÁ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í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

VIII. Primitivní funkce a Riemannův integrál

VIII. Primitivní funkce a Riemannův integrál VIII. Primitivní funkce Riemnnův integrál VIII.2. Riemnnův integrál opkování Vět. Nechť f je spojitá funkce n intervlu, b nechť c, b. Oznčíme-li F (x) = x (, b), pk F (x) = f(x) pro kždé x (, b). VIII.3.

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

Souhrn 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á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í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

Hyperbola a přímka

Hyperbola a přímka 7.5.8 Hperol přímk Předpokld: 75, 75, 755, 756 N orázku je nkreslen hperol = se středem v počátku soustv souřdnic. Jká je vzájemná poloh této hperol přímk, která prochází počátkem soustv souřdnic? E B

Více

Přednáška 9: Limita a spojitost

Přednáška 9: Limita a spojitost 4 / XI /, 5: Přednášk 9: Limit spojitost V minulých přednáškách jsme podrobněji prozkoumli důležitý pojem funkce. Při řešení konkrétních problémů se nše znlosti (npř. nměřená dt) zpisují jko funkční hodnoty

Více

Až dosud jsme se zabývali většinou reálnými posloupnostmi, tedy zobrazeními s definičním

Až dosud jsme se zabývali většinou reálnými posloupnostmi, tedy zobrazeními s definičním Limit funkce. Zákldní pojmy Až dosud jsme se zbývli většinou reálnými posloupnostmi, tedy zobrzeními s definičním oborem N. Nyní obrátíme svou pozornost n širší třídu zobrzení. Definice.. Zobrzení f, jehož

Více

Ohýbaný nosník - napětí

Ohýbaný nosník - napětí Pružnost pevnost BD0 Ohýbný nosník - npětí Teorie Prostý ohb, rovinný ohb Při prostém ohbu je průřez nmáhán ohbovým momentem otáčejícím kolem jedné z hlvních os setrvčnosti průřezu, obvkle os. oment se

Více

Příklad 22 : Kapacita a rozložení intenzity elektrického pole v deskovém kondenzátoru s jednoduchým dielektrikem

Příklad 22 : Kapacita a rozložení intenzity elektrického pole v deskovém kondenzátoru s jednoduchým dielektrikem Příkld 22 : Kpcit rozložení intenzity elektrického pole v deskovém kondenzátoru s jednoduchým dielektrikem Předpokládné znlosti: Elektrické pole mezi dvěm nbitými rovinmi Příkld 2 Kpcit kondenzátoru je

Více

Neurčité výrazy

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

Formální jazyky. M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 6. března / 48

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

Hledání hyperbol

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

M - Příprava na 3. zápočtový test pro třídu 2D

M - Příprava na 3. zápočtový test pro třídu 2D M - Příprv n. ápočtový test pro třídu D Autor: Mgr. Jromír JUŘEK Kopírování jkékoliv dlší využití výukového mteriálu je povoleno poue s uvedením odku n www.jrjurek.c. VARIACE 1 Tento dokument byl kompletně

Více

Úlohy školní klauzurní části I. kola kategorie C

Úlohy školní klauzurní části I. kola kategorie C 52. ročník mtemtické olympiády Úlohy školní kluzurní části I. kol ktegorie 1. Odtrhneme-li od libovolného lespoň dvojmístného přirozeného čísl číslici n místě jednotek, dostneme číslo o jednu číslici krtší.

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

2.5.9 Vztahy mezi kořeny a koeficienty kvadratické rovnice

2.5.9 Vztahy mezi kořeny a koeficienty kvadratické rovnice 59 Vzth mezi kořen koefiient kvdrtiké rovnie Předpokld:, 57, 58 Pedgogiká poznámk: Náplň zřejmě přeshuje možnost jedné vučoví hodin Příkld 8 9 zůstávjí n vičení nebo polovinu hodin při píseme + b + - zákldní

Více

Nerovnosti a nerovnice

Nerovnosti a nerovnice Nerovnosti nerovnice Doc. RNDr. Leo Boček, CSc. Kurz vznikl v rámci projektu Rozvoj systému vzdělávcích příležitostí pro ndné žáky studenty v přírodních vědách mtemtice s využitím online prostředí, Operční

Více

2.5.9 Vztahy mezi kořeny a koeficienty kvadratické rovnice

2.5.9 Vztahy mezi kořeny a koeficienty kvadratické rovnice 59 Vzth mezi kořen koefiient kvdrtiké rovnie Předpokld:, 57, 58 Pedgogiká poznámk: Náplň zřejmě přeshuje možnost jedné vučoví hodin Příkld 8 9 zůstávjí n vičení nebo polovinu hodin při píseme + b + - zákldní

Více

5.1.5 Základní vztahy mezi body, přímkami a rovinami

5.1.5 Základní vztahy mezi body, přímkami a rovinami 5.1.5 Zákldní vzthy mezi body, přímkmi rovinmi Předpokldy: 510 Prostor má tři rozměry, skládá se z bodů přímk - jednorozměrná podmnožin prostoru (množin bodů), rovin - dvojrozměrná podmnožin prostoru (množin

Více

DIGITÁLNÍ UČEBNÍ MATERIÁL. Název školy SOUpotravinářské, Jílové u Prahy, Šenflukova 220. Název materiálu VY_32_INOVACE / Matematika / 03/01 / 17

DIGITÁLNÍ UČEBNÍ MATERIÁL. Název školy SOUpotravinářské, Jílové u Prahy, Šenflukova 220. Název materiálu VY_32_INOVACE / Matematika / 03/01 / 17 DIGITÁLNÍ UČEBNÍ MATERIÁL Číslo projektu CZ07/500/4076 Název školy SOUpotrvinářské, Jílové u Prhy, Šenflukov 0 Název mteriálu VY INOVACE / Mtemtik / 0/0 / 7 Autor Ing Antonín Kučer Oor; předmět, ročník

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

OBECNÝ URČITÝ INTEGRÁL

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

3. Kvadratické rovnice

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

Výpočet obsahu rovinného obrazce

Výpočet obsahu rovinného obrazce Výpočet oshu rovinného orzce Pro výpočet oshu čtverce, odélník, trojúhelník, kružnice, dlších útvrů, se kterými se můžeme setkt v elementární geometrii, máme k dispozici vzorce Kdchom chtěli vpočítt osh

Více

Logaritmická funkce teorie

Logaritmická funkce teorie Výukový mteriál pro předmět: MATEMATIKA reg. č. projektu CZ..07/..0/0.0007 Logritmická funkce teorie Eponenciální funkce je funkce prostá, proto k ní eistuje inverzní funkce. Tto inverzní funkce se nzývá

Více

Při výpočtu obsahu takto omezených rovinných oblastí mohou nastat následující základní případy : , osou x a přímkami. spojitá na intervalu

Při výpočtu obsahu takto omezených rovinných oblastí mohou nastat následující základní případy : , osou x a přímkami. spojitá na intervalu Geometrické plikce určitého integrálu Osh rovinné olsti Je-li ploch ohrničen křivkou f () osou Při výpočtu oshu tkto omezených rovinných olstí mohou nstt následující zákldní přípd : Nechť funkce f () je

Více

3. APLIKACE URČITÉHO INTEGRÁLU

3. APLIKACE URČITÉHO INTEGRÁLU APLIKACE URČITÉHO INTEGRÁLU APLIKACE URČITÉHO INTEGRÁLU V mtemtice, le zejmén v přírodních technických vědách, eistuje nepřeerné množství prolémů, při jejichž řešení je nutno tím či oním způsoem použít

Více