OSTRAVSKÁ UNIVERZITA V OSTRAVĚ PŘÍRODOVĚDECKÁ FAKULTA
|
|
- Kristýna Tesařová
- před 7 lety
- Počet zobrazení:
Transkript
1 OSTRAVSKÁ UNIVERZITA V OSTRAVĚ PŘÍRODOVĚDECKÁ FAKULTA BAKALÁŘSKÁ PRÁCE 2002 SEDLÁK MARIAN - 1 -
2 OSTRAVSKÁ UNIVERZITA PŘÍRODOVĚDECKÁ FAKULTA KATEDRA INFORMATIKY A POČÍTAČŮ Vizualizace principů výpočtu konečného automatu BAKALÁŘSKÁ PRÁCE AUTOR: Marian SEDLÁK VEDOUCÍ PRÁCE: Mgr. Hashim HABIBALLA Ostrava
3 Prohlašuji, že předložená práce je mým původním autorským dílem, které jsem vypracoval samostatně.literaturu a další zdroje, z nichž jsem zpracování čerpal, v práci řádně cituji. Chtěl bych zde uvést poděkování vedoucímu mé práce Mgr. Hashimu Habiballovi za poskytnuti odborných připomínek při řešení dané práce. Dále bych chtěl poděkovat Mgr. Rostislavu Fojtíkovi za odborné konzultace při ladění zdrojového kódu. V poslední řadě bych rád poděkoval Martinu Tomišovi za pomoc při stylizaci textu
4 Anotace Cílem této práce je vytvořit vhodnou aplikaci pro vizualizaci výpočtu konečného automatu. Bude vytvořen algoritmus znázorňující chování konečného automatu a aplikace pomocí níž bude prezentována funkce konečného automatu. K programu je připojeno několik ilustrativních příkladů. Klíčová slova: Konečný automat je matematický model pro modelování systému, který má konečný počet stavů a reaguje na konečný počet vnějších podnětů jež způsobují změnu stavu. Stavový prostor je konečná neprázdná množina stavů automatu Abeceda je konečná neprázdná množina vstupních symbolů Přechodová funkce vyjadřuje přechod z aktuálního stavu při daném vstupním symbolu do stavu nového. Slovo je libovolná kombinace vstupních symbolů, které automat zpracovává
5 Obsah 1 Úvod Definice konečných automatů Možnosti reprezentace konečných automatů Popis programu Formát vstupního souboru 11 4 Závěr 12 5 Použité informační zdroje
6 1 Úvod Hlavní úkoly této práce jsou uvedeny v následujících třech bodech: Nastudování teorie z oblasti Formálních jazyků a automatů potřebné k praktickému zvládnutí tématu. Zvolení vhodného vývojového prostředí pro naprogramování aplikace pro vizualizaci výpočtu KA. Detailní návrh algoritmů pro vizualizaci výpočtu KA a návrh prostředí aplikace. Implementace ve formě počítačové aplikace. Zpracování jednoduchých příkladů a kompletace doprovodného textu bakalářské práce. Podmínkou pro naprogramování aplikace pro vizualizaci výpočtu konečného automatu bylo užití operačního systému Windows. Na základě toho jsem zvolil vývojové prostředí Borland C++ Builder
7 2.1 DEFINNICE KONEČNÝCH AUTOMATŮ Konečný automat je abstraktní model k modelování systémů, u nichž lze vymezit konečný počet stavů a konečně mnoho vnějších podnětů. Stav tohoto systému se změní pouze na základě vnějšího podnětu a to jednoznačně. Konečný automat je definován pěticí A = (Q, Ε, δ, q 0, F). Kde Q je neprázdná konečná množina stavů tzv. stavový prostor, Ε je neprázdná konečná množina vstupních symbolů tzv. vstupní abeceda. δ je zobrazení Q x Ε Q tzv. Přechodová funkce. q 0 je počáteční stav a F je podmnožinou Q tzv. množina koncových stavů. O tomto automatu budeme hovořit jako o deterministickém. Dále je vhodné si nadefinovat pojem slovo, které automat zpracovává. Je-li Ε konečná množina (abeceda), pak množinu Ε + označujeme jako množinu neprázdných a konečných posloupností prvků z množiny Ε. Symbolem e označujeme prázdnou posloupnost prvků z množiny Ε. Symbol e pak nazýváme prázdným slovem. Slovem pak nazveme posloupnost prvků z množiny Ε kde Ε * = Ε + {e}. Z definice slova vyplývá definice jazyka L. Jazyk L Ε *. Této jazyk pak nazýváme jazykem definovaným nad abecedou Ε. Poté můžeme říci že jestliže jazyk L je rozpoznatelný konečným automatem pak automat musí po průchodu slova skončit v koncovém stavu. Musím ještě podotknout, že existují také jiné typy konečných automatů a to nedeterministický a zobecněný nedeterministický. Nedeterministickým konečným automatem budeme nazývat pětici A = (Q, Ε, δ, I, F), kde Q je neprázdná konečná množina stavů, Ε je abeceda automatu, δ je zobrazení Q x Ε P(Q). P(Q) je množina všech podmnožin Q. I Q je množina všech počátečních stavů a F Q je množinou všech koncových stavů. Pozn. Nedeterministický konečný automat přijímá slovo tehdy existuje-li cesta z některého počátečního stavu do některého koncového stavu
8 Zobecněným nedeterministickým automatem budeme nazývat pětici A = (Q, Ε, δ, I, F), kde Q je neprázdná konečná množina stavů, Ε je abeceda automatu, δ je zobrazení Q x (Ε {e}) P(Q). Nedeterministický i zobecněný nedeterministický konečný automat lze převést na deterministický konečný automat. Proto se již dále nebudeme těmito automaty zabývat. 2.2 MOŽNOSTI REPREZENTACE KONEČNÝCH AUTOMATŮ Konečné automaty lze reprezentovat několika způsoby: Výčtem konečného automatu (obr. 1.1) Tabulkou (obr. 1.2) Stavovým stromem (obr. 1.3) Stavovým diagramem (obr. 1.4) Obr. 1.1 Výčet konečného automatu Obr. 1.2 Tabulka Obr. 1.3 Stavový strom Obr 1.4 Stavový diagram - 8 -
9 3.1 Popis programu Jak již vyplývá ze zadání bakalářské práce je hlavním požadavkem funkčnost programu v operačním systému Microsoft Windows. Z tohoto důvodu jsem zvolil vývojový nástroj C++ Builder 5.0. Tento nástroj lze použít jak pro vytváření aplikací pro DOS tak i Windows pomocí programovacího jazyka C++. Program je navržen pro zkoušeni různých slov z jazyka. Po nahrání vstupního souboru s parametry automatu (viz. další kapitola) je možné zadávat postupně jednotlivá slova a provádět jejich výpočet. Výpočet je možné provádět po krocích směrem vpřed i vzad. Popřípadě lze výpočet dokončit pomocí jediného tlačítka. V průběhu výpočtu je zobrazován průchod celým slovem až do jeho konce. Průběžně s tímto je také možné sledovat použité přechodové funkce nebo tabulku kde je vždy vysvícen použitý řádek a sloupec. Po spuštění programu se objeví pouze hlavní okno s menu (obr 2.1), které obsahuje základní příkazy. Obr 2.1 Hlavní menu aplikace Popis menu soubor (obr 2.2): Otevři - Otevře požadovaný soubor s příponou.aut Ulož jako - Uloží soubor s automatem pod zadaným jménem. Obr 2.2 Menu soubor Zavři Uzavře soubor a zpřístupní položku pro otevření. nového souboru. Konec Ukončení aplikace. Po vybrání souboru v dialogu Otevři se objeví okno s daným automatem (obr. 2.3)
10 Obr. 2.3 Okno automatu. Popis tlačítek: Nové slovo po stisku tohoto tlačítka se objeví dialog pro zadání slova (obr. 2.4) Tlačítka Další a Zpět slouží k pohybu ve slově. Tlačítko Dokonči projde slovem až do konce a ukončí výpočet. Toto okno dále v horní části obsahuje modro červený panel, který znázorňuje pozici ve slově. Vlevo od červeného políčka jsou již přečtené znaky slova. V červeném políčku je znak, na který je právě nastavena čtecí hlava automatu a je připraven ke zpracování. V posledním poli jsou dosud nepřečtené znaky slova. Pod tímto panelem je zobrazována právě použitá přechodová funkce. V pravé části okna je tabulka v níž je vysvícen použitý řádek a sloupec k výpočtu.jejich průsečík je ještě zvýrazněn červenou barvou. Obr. 2.4 Okno pro zadání slova automatu
11 3.2 Formát vstupního souboru Jako vstup byl zvolen textový soubor. Toto volbu jsem provedl proto, že data v textovém souboru jsou daleko lépe čitelná a snadná je i jeho editace. Obr 3.1 Struktura vstupního souboru Struktura vstupního souboru je vidět na obrázku (obr. 3.1). Tento soubor obsahuje povinně tři klíčová slova nazev, abeceda a stavy. Všechna tato slova musí být zakončena dvojtečkou. Za klíčovým slovem nazev: je možno uvést jméno automatu. Po slově abeceda: následuje výčet znaků abecedy. Jednotlivé znaky musejí být odděleny čárkou. Slovo stavy: uvozuje tabulku přechodových funkcí. Formát jednotlivých řádků je následující: T S P1 P2 T typ stavu vstupní = 2, koncový = 1, jiný = 0 (při kombinaci vstupního a koncového stavu je typ = 3, logická funkce OR). S název stavu. P1 název stavu kam automat přejde po přečtení prvního znaku v abecedě. P2 - název stavu kam automat přejde po přečtení druhého znaku v abecedě. - v případě použití více znaků v abecedě se vkládají další názvy stavů, na které automat přejde po dalších symbolech abecedy. vstupní stav může být pouze jeden. Jedná o deterministický konečný automat
12 4 Závěr Myslím si, že tato práce bude přínosem pro studium teoretické informatiky a pomůže tímto k lepšímu pochopení a porozumění principu práce konečných automatů. Toto zadání jsem si vybral zcela záměrně protože i já jsem měl problémy při studiu regulárních a bezkontextových jazyků a chyběl mi právě nějaký program pro vyzkoušení a porozumění práce konečných automatů. Doufám že se mi podařilo alespoň částečně tuto mezeru v takovémto softwaru zaplnit. Tato práce podstatě splnila požadavky zadání, ale na druhou stranu je možné jí dále rozvíjet např. nalezení algoritmu, který by automaticky generoval celý graf konečného automatu. Tímto příslibem do budoucna bych tuto práci zakončil
13 5 Použité informační zdroje 1. CHYTIL M.: Automaty a gramatiky, vydání 1., Praha, SNTL, 1984, ISBN ČEŠKA M., RÁBOVÁ Z.: Gramatiky a jazyky, VUT Brno, MATOUŠEK D.: C++ Builder 4.0 a 5.0, vývojové prostředí, vydání 2., Praha, BEN, 2000, ISBN VIRIUS M.: C++ Builder 4.0 podrobný průvodce, vydání 1., Praha, Grada Publishing, 1999, ISBN
Naproti tomu gramatika je vlastně soupis pravidel, jak
1 Kapitola 1 Úvod V přednášce se zaměříme hlavně na konečný popis obecně nekonečných množin řetězců symbolů dané množiny A. Prvkům množiny A budeme říkat písmena, řetězcům (konečným posloupnostem) písmen
VíceMnožinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ
Abecedou se rozumí libovolná konečná množina Σ. Prvky abecedy nazýváme znaky (symboly) Slovo (řetězec) v nad abecedou Σ je libovolná konečná posloupnost znaků této abecedy. Prázdné posloupnosti znaků odpovídá
VíceKonstrukce relace. Postupně konstruujeme na množině všech stavů Q relace i,
[161014-1204 ] 11 2.1.35 Konstrukce relace. Postupně konstruujeme na množině všech stavů Q relace i, kde i = 0, 1,..., takto: p 0 q právě tehdy, když bud p, q F nebo p, q F. Dokud i+1 i konstruujeme p
VíceSyntaxí řízený překlad
Syntaxí řízený překlad Překladový automat Šárka Vavrečková Ústav informatiky, FPF SU Opava sarka.vavreckova@fpf.slu.cz Poslední aktualizace: 27. listopadu 2008 Zobecněný překladový automat Překladový automat
Vícedoplněk, zřetězení, Kleeneho operaci a reverzi. Ukážeme ještě další operace s jazyky, na které je
28 [181105-1236 ] 2.7 Další uzávěrové vlastnosti třídy regulárních jazyků Z předchozích přednášek víme, že třída regulárních jazyků je uzavřena na sjednocení, průnik, doplněk, zřetězení, Kleeneho operaci
VíceTuringovy stroje. Teoretická informatika Tomáš Foltýnek
Turingovy stroje Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Jaké znáte algebraické struktury s jednou operací? Co je to okruh,
VíceÚvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška desátá Miroslav Kolařík Zpracováno dle R. Bělohlávek, V. Vychodil: Diskrétní matematika 2, http://phoenix.inf.upol.cz/esf/ucebni/dm2.pdf P. Martinek: Základy teoretické informatiky,
VíceZásobníkový automat. SlovoaaaabbbbpatřídojazykaL={a i b i i 1} a a a a b b b b
ChtělibychomrozpoznávatjazykL={a i b i i 1} Snažíme se navrhnout zařízení(podobné konečným automatům), které přečte slovo, a sdělí nám, zda toto slovo patřídojazykalčine. Při čtení a-ček si musíme pamatovat
VíceAutomaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů
BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 2/29 Hodnocení předmětu BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 4/29 Automaty a gramatiky(bi-aag) 1. Základní pojmy Jan Holub Katedra teoretické
VíceAUTOMATY A GRAMATIKY
AUTOMATY A 1 GRAMATIKY Pavel Surynek Univerzita Karlova v Praze Matematicko-fyzikální fakulta Katedra teoretické informatiky a matematické logiky Stručný přehled přednášky Automaty Formální jazyky, operace
VíceFormální jazyky a automaty Petr Šimeček
Formální jazyky a automaty Petr Šimeček Úvod Formální jazyky a automaty jsou základním kamenem teoretické informatiky. Na počátku se zmíníme o Chomského klasifikaci gramatik, nástroje, který lze aplikovat
VíceAUTOMATY A GRAMATIKY. Pavel Surynek. Kontextové uzávěrové vlastnosti Turingův stroj Rekurzivně spočetné jazyky Kódování, enumerace
AUTOMATY A 11 GRAMATIKY Pavel Surynek Univerzita Karlova v Praze Matematicko-fyzikální fakulta Katedra teoretické informatiky a matematické logiky Kontextové uzávěrové vlastnosti Turingův stroj Rekurzivně
VíceČísla značí použité pravidlo, šipka směr postupu Analýza shora. Analýza zdola A 2 B 3 B * C 2 C ( A ) 1 a A + B. A Derivace zleva:
1) Syntaktická analýza shora a zdola, derivační strom, kanonická derivace ezkontextová gramatika gramatika typu 2 Nechť G = je gramatika typu 1. Řekneme, že je gramatikou typu 2, platí-li: y
VíceZ. Sawa (VŠB-TUO) Teoretická informatika 5. listopadu / 43
Zásobníkové automaty Z. Sawa (VŠB-TUO) Teoretická informatika 5. listopadu 2018 1/ 43 Zásobníkový automat Chtěli bychom rozpoznávat jazyk L = {a i b i i 1} Snažíme se navrhnout zařízení (podobné konečným
VíceVýpočetní modely pro rozpoznávání bezkontextových jazyků zásobníkové automaty LL(k) a LR(k) analyzátory
Plán přednášky Výpočetní modely pro rozpoznávání bezkontextových jazyků zásobníkové automaty LL(k) a LR(k) analyzátory Obecný algoritmus pro parsování bezkontextových jazyků dynamické programování 1 Zásobníkový
VíceAlgoritmus. Přesné znění definice algoritmu zní: Algoritmus je procedura proveditelná Turingovým strojem.
Algoritmus Algoritmus je schematický postup pro řešení určitého druhu problémů, který je prováděn pomocí konečného množství přesně definovaných kroků. nebo Algoritmus lze definovat jako jednoznačně určenou
VíceTÉMATICKÝ OKRUH Teorie zpracování dat, Databázové a informační systémy a Teorie informačních systémů
TÉMATICKÝ OKRUH Teorie zpracování dat, Databázové a informační systémy a Teorie informačních systémů Číslo otázky : 16. Otázka : Funkční a dynamická analýza informačního systému. Obsah : 1. Úvod 2. Funkční
VíceGrafy. doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava. Prezentace ke dni 13.
Grafy doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava Prezentace ke dni 13. března 2017 Jiří Dvorský (VŠB TUO) Grafy 104 / 309 Osnova přednášky Grafy
VíceProgram pro tvorbu technických výpočtů. VIKLAN - Výpočty. Uživatelská příručka. pro seznámení se základními možnostmi programu. Ing.
Program pro tvorbu technických výpočtů VIKLAN - Výpočty Uživatelská příručka pro seznámení se základními možnostmi programu Ing. Josef Spilka VIKLAN - Výpočty Verse 1.10.5.1 Copyright 2010 Ing. Josef Spilka.
VíceKonečný automat. Jan Kybic.
Konečný automat Jan Kybic http://cmp.felk.cvut.cz/~kybic kybic@fel.cvut.cz 2016 2017 1 / 33 Konečný automat finite state machine Konečný automat = výpočetní model, primitivní počítač Řídící jednotka s
Více45 Plánovací kalendář
45 Plánovací kalendář Modul Správa majetku slouží ke tvorbě obecných ročních plánů činností organizace. V rámci plánu je třeba definovat oblasti činností, tj. oblasti, ve kterých je možné plánovat. Každá
VíceKonečný automat Teorie programovacích jazyků
Konečný automat Teorie programovacích jazyků oc. Ing. Jiří Rybička, Dr. ústav informatiky PEF MENDELU v Brně rybicka@menelu.cz Automaty v běžném životě Konečný automat Metoy konstrukce konečného automatu
VíceUNIVERZITA PARDUBICE Fakulta elektrotechniky a informatiky Katedra softwarových technologií
UNIVERZITA PARDUBICE Fakulta elektrotechniky a informatiky Katedra softwarových technologií Softwarový nástroj pro tvorbu a správu genealogických dat Manuál pro uživatele Bc. František Hlaváček Součást
VíceRegulární výrazy. Definice Množina regulárních výrazů nad abecedou Σ, označovaná RE(Σ), je definována induktivně takto:
IB102 Automaty, gramatiky a složitost, 6. 10. 2014 1/29 Regulární výrazy Definice 2.58. Množina regulárních výrazů nad abecedou Σ, označovaná RE(Σ), je definována induktivně takto: 1 ε, a a pro každé a
VíceVztah jazyků Chomskeho hierarchie a jazyků TS
Vztah jazyků Chomskeho hierarchie a jazyků TS Jan Konečný; (přednáší Lukáš Havrlant) 15. října 2013 Jan Konečný; (přednáší Lukáš Havrlant) Chomskeho hierarchie a jazyky TS 15. října 2013 1 / 23 Rychlé
VíceTECHNICKÉ PARAMETRY DIPLOMOVÉ PRÁCE
TECHNICKÉ PARAMETRY DIPLOMOVÉ PRÁCE 1. VAZBA Práce je vázána v pevných deskách, na kterých jsou následující údaje: Název vysoké školy a fakulty; jméno autora diplomové práce; název práce; Diplomová práce
VíceFORTANNS. havlicekv@fzp.czu.cz 22. února 2010
FORTANNS manuál Vojtěch Havlíček havlicekv@fzp.czu.cz 22. února 2010 1 Úvod Program FORTANNS je software určený k modelování časových řad. Kód programu má 1800 řádek a je napsán v programovacím jazyku
VíceKapitola 6. LL gramatiky. 6.1 Definice LL(k) gramatik. Definice 6.3. Necht G = (N, Σ, P, S) je CFG, k 1 je celé číslo.
Kapitola 6 LL gramatiky 6.1 Definice LL(k) gramatik Definice 6.1. Necht G = (N, Σ, P, S) je CFG, k 1 je celé číslo. Definujme funkci FIRST G k : (N Σ) + P({w Σ w k}) předpisem FIRST G k (α) = {w Σ (α w
VíceRELAČNÍ DATABÁZE ACCESS
RELAČNÍ DATABÁZE ACCESS 1. Úvod... 2 2. Základní pojmy... 3 3. Vytvoření databáze... 5 4. Základní objekty databáze... 6 5. Návrhové zobrazení tabulky... 7 6. Vytváření tabulek... 7 6.1. Vytvoření tabulky
Více2. LIMITA A SPOJITOST FUNKCE
. LIMITA A SPOJITOST FUNKCE Průvodce studiem Funkce y = je definována pro ( ) (>. Z grafu funkce (obr. 3) a z tabulky (a) je vidět že čím více se hodnoty blíží k -3 tím více se funkční hodnoty blíží ke
VíceAutomaty a gramatiky(bi-aag) Formální překlady. 5. Překladové konečné automaty. h(ε) = ε, h(xa) = h(x)h(a), x, x T, a T.
BI-AAG (2011/2012) J. Holub: 5. Překladové konečné automaty p. 2/41 Formální překlady BI-AAG (2011/2012) J. Holub: 5. Překladové konečné automaty p. 4/41 Automaty a gramatiky(bi-aag) 5. Překladové konečné
VícePROGRAMOVACÍ JAZYKY A PŘEKLADAČE LL SYNTAKTICKÁ ANALÝZA DOKONČENÍ, IMPLEMENTACE.
PROGRAMOVACÍ JAZYKY A PŘEKLADAČE LL SYNAKICKÁ ANALÝZA DOKONČENÍ, IMPLEMENACE. VLASNOSI LL GRAMAIK A JAZYKŮ. 2011 Jan Janoušek BI-PJP Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Gramatika
VíceIntegrovaná střední škola Nová Paka. Pokyny pro zpracování ročníkové práce. pro 3. ročník oboru mechanik elektrotechnik¹
Integrovaná střední škola Nová Paka Pokyny pro zpracování ročníkové práce pro 3. ročník oboru mechanik elektrotechnik¹ ¹ Platné od školního roku 2015/16 1 Organizační pokyny Žáci 3. ročníku v průběhu měsíce
VíceMicrosoft Office Word 2003
Microsoft Office Word 2003 č. 6 název anotace očekávaný výstup druh učebního materiálu druh interaktivity Microsoft Office Word 2003 - Cesta k základním úpravám Prezentace je zaměřena na úpravy textu v
VíceRegulární výrazy. M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 14. března / 20
Regulární výrazy M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 14. března 2007 1/ 20 Regulární výrazy Jako například v aritmetice můžeme pomocí operátorů + a vytvářet výrazy jako (5+3)
VícePostupy práce se šablonami IS MPP
Postupy práce se šablonami IS MPP Modul plánování a přezkoumávání, verze 1.20 vypracovala společnost ASD Software, s.r.o. dokument ze dne 27. 3. 2013, verze 1.01 Postupy práce se šablonami IS MPP Modul
VíceStručný postup k použití programu PL7 Junior (programování TSX Micro)
Stručný postup k použití programu PL7 Junior (programování TSX Micro) 1. Připojení PLC TSX Micro k počítači Kabel, trvale zapojený ke konektoru TER PLC, je nutné zapojit na sériový port PC. 2. Spuštění
VíceNový způsob práce s průběžnou klasifikací lze nastavit pouze tehdy, je-li průběžná klasifikace v evidenčním pololetí a školním roce prázdná.
Průběžná klasifikace Nová verze modulu Klasifikace žáků přináší novinky především v práci s průběžnou klasifikací. Pro zadání průběžné klasifikace ve třídě doposud existovaly 3 funkce Průběžná klasifikace,
VíceIII/2 Inovace a zkvalitnění výuky prostřednictvím ICT EU-OVK-VZ-III/2-ZÁ-210
Číslo a název šablony Číslo didaktického materiálu Druh didaktického materiálu Autor Jazyk Téma sady didaktických materiálů Téma didaktického materiálu Vyučovací předmět Cílová skupina (ročník) Úroveň
VíceAPS mini.ed programová nadstavba pro základní vyhodnocení docházky. Příručka uživatele verze 2.2.0.6
APS mini.ed programová nadstavba pro základní vyhodnocení docházky Příručka uživatele verze 2.2.0.6 APS mini.ed Příručka uživatele Obsah Obsah... 2 Instalace a konfigurace programu... 3 Popis programu...
VíceP R OGR AM P R O NÁVRH VÝVAR U
P R OGR AM P R O NÁVRH VÝVAR U Program Vývar je jednoduchá aplikace řešící problematiku vodního skoku. Zahrnuje interaktivní zadávání dat pro určení dimenze vývaru, tzn. jeho hloubku a délku. V aplikaci
VíceNÁSTROJE A TECHNIKY PROJEKTOVÉHO MANAGEMENTU
NÁSTROJE A TECHNIKY PROJEKTOVÉHO MANAGEMENTU Projektová dekompozice Přednáška Teorie PM č. 2 Úvod do vybraných nástrojů projektového managementu Úvodní etapa projektu je nejdůležitější fáze projektu. Pokud
VíceKonfigurace PPPoE připojení v OS Microsoft Windows XP
Konfigurace PPPoE připojení v OS Microsoft Windows XP Předmluva Tento návod slouží k nastavení připojení k síti Internet prostřednictvím služby Internet ONE, která využívá připojení pomocí protokolu PPPoE.
VíceMS OFFICE, POWERPOINT
Škola: Autor: DUM: Vzdělávací obor: Tematický okruh: Téma: Masarykovo gymnázium Vsetín Mgr. Petr Koňařík MGV_VT_SS_1S2-D15_Z_OFF_PP.docx Informatika MS Office Powerpoint MS OFFICE, POWERPOINT ÚVOD PowerPoint
VíceNávod k ovládání aplikace
Návod k ovládání aplikace Tento návod se zabývá ovládáním aplikace PDF Annotation 1, která je založena na aplikaci AVP PDF Viewer a umožňuje nejen PDF dokumenty prohlížet, ale také do těchto dokumentů
VíceOFFICE MS EXCEL SEZNÁMENÍ S PROGRAMEM
Škola: Autor: DUM: Vzdělávací obor: Tematický okruh: Téma: Masarykovo gymnázium Vsetín Mgr. Petr Koňařík MGV_VT_SS_1S2-D12_Z_OFF_EX_UVOD Informatika MS Office MS Excel - úvod OFFICE MS EXCEL SEZNÁMENÍ
VíceUživatelská příručka.!instalace!průvodce.!dialogová okna!program zevnitř
Uživatelská příručka!instalace!průvodce!použití!dialogová okna!program zevnitř KAPITOLA 1: INSTALACE PROGRAMU Svitek...4 HARDWAROVÉ POŽADAVKY...4 SOFTWAROVÉ POŽADAVKY...4 INSTALACE PROGRAMU Svitek NA VÁŠ
VíceUniLog-D. v1.01 návod k obsluze software. Strana 1
UniLog-D v1.01 návod k obsluze software Strana 1 UniLog-D je PC program, který slouží k přípravě karty pro záznam událostí aplikací přístroje M-BOX, dále pak k prohlížení, vyhodnocení a exportům zaznamenaných
VíceTřídy složitosti P a NP, NP-úplnost
Třídy složitosti P a NP, NP-úplnost Cíle přednášky: 1. Definovat, za jakých okolností můžeme problém považovat za efektivně algoritmicky řešitelný. 2. Charakterizovat určitou skupinu úloh, pro které není
VíceCílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.
1.2. Cíle Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin. Průvodce studiem Množina je jedním ze základních pojmů moderní matematiky. Teorii množin je možno budovat
VícePumping lemma - podstata problému. Automaty a gramatiky(bi-aag) Pumping lemma - problem resolution. Pumping lemma - podstata problému
BI-AAG (2011/2012) J. Holub: 10. Vlastnosti regulárních jazyků p. 2/22 Pumping lemma - podstata problému BI-AAG (2011/2012) J. Holub: 10. Vlastnosti regulárních jazyků p. 4/22 Automaty a gramatiky(bi-aag)
VíceFormátování dat EU peníze středním školám Didaktický učební materiál
EU peníze středním školám Didaktický učební materiál Anotace Označení DUMU: VY_32_INOVACE_IT4.06 Předmět: IVT Tematická oblast: Microsoft Office 2007 Autor: Ing. Vladimír Šauer Škola: Gymnázium, Polička,
VíceDynamické programování UIN009 Efektivní algoritmy 1
Dynamické programování. 10.3.2005 UIN009 Efektivní algoritmy 1 Srovnání metody rozděl a panuj a dynamického programování Rozděl a panuj: top-down Dynamické programování: bottom-up Rozděl a panuj: překrývání
Více1 Tabulky Příklad 3 Access 2010
TÉMA: Vytvoření tabulky v návrhovém zobrazení Pro společnost Naše zahrada je třeba vytvořit databázi pro evidenci objednávek o konkrétní struktuře tabulek. Do databáze je potřeba ještě přidat tabulku Platby,
VíceAlgoritmizace prostorových úloh
INOVACE BAKALÁŘSKÝCH A MAGISTERSKÝCH STUDIJNÍCH OBORŮ NA HORNICKO-GEOLOGICKÉ FAKULTĚ VYSOKÉ ŠKOLY BÁŇSKÉ - TECHNICKÉ UNIVERZITY OSTRAVA Algoritmizace prostorových úloh Algoritmus Daniela Szturcová Tento
VícePOKYNY PRO VYPRACOVÁNÍ BAKALÁŘSKÉ A DIPLOMOVÉ PRÁCE
POKYNY PRO VYPRACOVÁNÍ BAKALÁŘSKÉ A DIPLOMOVÉ PRÁCE na Fakultě životního prostředí UJEP v Ústí nad Labem. 1. Bakalářská a diplomová práce se odevzdává ve třech výtiscích v pevné vazbě. Práce musí být svázaná
VíceZáklady algoritmizace
Algoritmus Toto je sice na první pohled pravdivá, ale při bližším prozkoumání nepřesná definice. Například některé matematické postupy by této definici vyhovovaly, ale nejsou algoritmy. Přesné znění definice
VíceSimulátor programované gramatiky
Příloha 1. Uživatelská příručka k programu Simulátor programované gramatiky Program slouží k simulaci derivace podle programované gramatiky s bezkontextovými pravidly. Umožňuje automatický průběh derivace,
VícePlc Calculator. Nástroj pro automatizovaný návrh aplikace s automaty MICROPEL 8.2010
Plc Calculator Nástroj pro automatizovaný návrh aplikace s automaty MICROPEL 8.2010 PLC CALCULATOR PlcCalculator představuje programový nástroj pro automatizované rozmístění IO bodů aplikace na automatech
VíceNOVINKY v PROGRAMU DOCHÁZKA ADS
NOVINKY v PROGRAMU DOCHÁZKA ADS 4 1.2.2010 Uživatelské prostředí nové grafické prostředí programu rychlé menu ve dvou režimech - pouze ikony, ikony s popisem implementace Drag & Drop při přiřazování kalendáře,
VíceNÁSTROJE A TECHNIKY PROJEKTOVÉHO MANAGEMENTU. Projektová dekompozice
NÁSTROJE A TECHNIKY PROJEKTOVÉHO MANAGEMENTU Projektová dekompozice Úvod do vybraných nástrojů projektového managementu METODY A TECHNIKY PROJEKTOVÉHO MANAGEMENTU Tvoří jádro projektového managementu.
VíceMBus Explorer MULTI. Uživatelský manuál V. 1.1
MBus Explorer MULTI Uživatelský manuál V. 1.1 Obsah Sběr dat ze sběrnice Mbus...3 Instalace...3 Spuštění programu...3 Program MBus Explorer Multi...3 Konfigurace sítí...5 Konfigurace přístrojů...6 Nastavení
VíceZpravodaj. Uživatelská příručka. Verze
Zpravodaj Uživatelská příručka Verze 02.01.02 1. Úvod... 3 2. Jak číst tuto příručku... 4 3. Funkčnost... 5 3.1. Seznam zpráv... 5 4. Ovládání programu... 6 4.1. Hlavní okno serveru... 6 4.2. Seznam zpráv...
VíceVISUAL BASIC. Přehled témat
VISUAL BASIC Přehled témat 1 ÚVOD DO PROGRAMOVÁNÍ Co je to program? Kuchařský předpis, scénář k filmu,... Program posloupnost instrukcí Běh programu: postupné plnění instrukcí zpracovávání vstupních dat
VícePráce s programem MPVaK
Práce s programem MPVaK Tato informace popisuje postup práce s programem "MPVaK Vybrané údaje z majetkové a Vybrané údaje z provozní evidence. Jsou v ní popsány nejdůležitější úlohy, které budete s programem
VíceŠpatné nastavení oddělovače pro datum
Špatné nastavení oddělovače pro datum Program: Veškeré programy firmy INISOFT s.r.o. Vypracoval: Lukáš Grill Datum revize: 21.8.2015 (oddělení technické podpory) Cílem tohoto dokumentu je popsat postup
VíceIV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel
Matematická analýza IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel na množině R je definováno: velikost (absolutní hodnota), uspořádání, aritmetické operace; znázornění:
VícePROGRAMOVACÍ JAZYKY A PŘEKLADAČE REALIZACE PŘEKLADAČE I
PROGRAMOVACÍ JAZYKY A PŘEKLADAČE REALIZACE PŘEKLADAČE I 2011 Jan Janoušek BI-PJP Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Programová realizace DKA typedef enum {q0, q1,... qn,
VíceNázev předmětu: Školní rok: Forma studia: Studijní obory: Ročník: Semestr: Typ předmětu: Rozsah a zakončení předmětu:
Plán předmětu Název předmětu: Algoritmizace a programování (PAAPK) Školní rok: 2007/2008 Forma studia: Kombinovaná Studijní obory: DP, DI, PSDPI, OŽPD Ročník: I Semestr: II. (letní) Typ předmětu: povinný
VíceVlastnosti algoritmu. elementárnost. determinovanost. rezultativnost. konečnost. hromadnost. efektivnost
Programování Algoritmus návod na vykonání činnosti, který nás od (měnitelných) vstupních dat přivede v konečném čase k výsledku přesně definovaná konečná posloupnost činností vedoucích k výsledku (postup,
VíceVztah teorie vyčíslitelnosti a teorie složitosti. IB102 Automaty, gramatiky a složitost, /31
Vztah teorie vyčíslitelnosti a teorie složitosti IB102 Automaty, gramatiky a složitost, 2. 12. 2013 1/31 IB102 Automaty, gramatiky a složitost, 2. 12. 2013 2/31 Časová složitost algoritmu počet kroků výpočtu
VíceSložitost 1.1 Opera ní a pam ová složitost 1.2 Opera ní složitost v pr rném, nejhorším a nejlepším p ípad 1.3 Asymptotická složitost
1 Složitost 1.1 Operační a paměťová složitost Nezávislé určení na konkrétní implementaci Několik typů operací = sčítání T+, logické T L, přiřazení T A(assign), porovnání T C(compare), výpočet adresy pole
VíceMatematika B101MA1, B101MA2
Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet
Více1 Strukturované programování
Projekt OP VK Inovace studijních oborů zajišťovaných katedrami PřF UHK Registrační číslo: CZ.1.07/2.2.00/28.0118 1 Cíl Seznámení s principy strukturovaného programování, s blokovou strukturou programů,
VíceOperační výzkum. Síťová analýza. Metoda CPM.
Operační výzkum Síťová analýza. Metoda CPM. Operační program Vzdělávání pro konkurenceschopnost Název projektu: Inovace magisterského studijního programu Fakulty ekonomiky a managementu Registrační číslo
VíceVývojové prostředí,průvodce novou aplikací
Vývojové prostředí,průvodce novou aplikací Realizace praktických úloh zaměřených na dovednosti v oblastech: Vývojové prostředí programu Control Web 2000 Vytvoření jednoduchého technologického schéma pomocí
VíceRozdílová dokumentace k ovládání IS KARAT.net
Dokumentace k IS KARAT.net Rozdílová dokumentace k ovládání IS KARAT.net programový modul: Rozdílová dokumentace k ovládání IS KARAT.net OBSAH: 1 ÚVOD... 3 2 PŘIHLAŠOVACÍ DIALOG... 4 3 NAVIGACE... 5 3.1
VíceIng. Petr Dostál, CSc. prof. Ing. Karel Rais, CSc., MBA doc. Ing. Zdenìk Sojka, CSc. Pokroèilé metody mana erského rozhodování
Více
:6pt;font-style:normal;color:grey;font-family:Verdana,Geneva,Kalimati,sans-serif;text-decoration:none;text-align:center;font-variant:n (elektronická (tištěná ISBN Grada 978-80-247-6866-3 Publishing, verze
VíceTURINGOVY STROJE. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze
TURINGOVY STROJE Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 12 Evropský sociální fond Praha & EU: Investujeme do vaší
VíceNávod k použití OOCorr (rošíření OpenOffice.org)
MASARYKOVA UNIVERZITA FAKULTA INFORMATIKY Návod k použití OOCorr (rošíření OpenOffice.org) aktuální verze OOCorru: 2.0.0 RC Jaroslav Moravec 207912@mail.muni.cz Brno, 27. 10. 2009 Obsah 1 Úvod...3 2 Instalace...4
Více8 Makra Příklad 4 Excel 2007
TÉMA: Úprava maker rozhodování, příkaz If..Then..Else Sekretářka společnosti Naše zahrada potřebuje upravit makra vytvořená pomocí záznamu tak, aby vyhovovala jejím požadavkům. Pro úpravy využije Editor
VíceFIREMNÍ CERTIFIKÁT V APLIKACI PŘÍMÝ KANÁL NÁVOD PRO KLIENTY
FIREMNÍ CERTIFIKÁT V APLIKACI PŘÍMÝ KANÁL NÁVOD PRO KLIENTY 1. POUŽITÍ FIREMNÍHO CERTIFIKÁTU 1.1 Stručný popis Firemní certifikát je nový typ certifikátu, který Vám umožní zrychlit a zjednodušit Vaši práci.
VíceTeorie systémů TES 1. Úvod
Evropský sociální fond. Praha & EU: Investujeme do vaší budoucnosti. Teorie systémů TES 1. Úvod ZS 2011/2012 prof. Ing. Petr Moos, CSc. Ústav informatiky a telekomunikací Fakulta dopravní ČVUT v Praze
Více