Katedra počítačů FEL

Podobné dokumenty
Hledání v textu algoritmem Boyer Moore

Výpočetní modely pro rozpoznávání bezkontextových jazyků zásobníkové automaty LL(k) a LR(k) analyzátory

Vyhledávání v textu. doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava

Základy algoritmizace. Pattern matching

Dynamické programování UIN009 Efektivní algoritmy 1

Zásobníkový automat. SlovoaaaabbbbpatřídojazykaL={a i b i i 1} a a a a b b b b

Návrh Designu: Radek Mařík

Metodický koncept k efektivní podpoře klíčových odborných kompetencí s využitím cizího jazyka ATCZ62 - CLIL jako výuková strategie na vysoké škole

Univerzální Turingův stroj a Nedeterministický Turingův stroj

Z. Sawa (VŠB-TUO) Teoretická informatika 5. listopadu / 43

3. Třídy P a NP. Model výpočtu: Turingův stroj Rozhodovací problémy: třídy P a NP Optimalizační problémy: třídy PO a NPO MI-PAA

Hardwarová realizace konečných automatů

1. Databázové systémy (MP leden 2010)

Množ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 Σ

Konstrukce relace. Postupně konstruujeme na množině všech stavů Q relace i,

Syntaxí řízený překlad

1.4. VEKTOROVÝ SOUČIN

Třídy složitosti P a NP, NP-úplnost

1. Pojmy a definice. 2. Naivní algoritmus. 3. Boyer Moore

Třída PTIME a třída NPTIME. NP-úplnost.

Regulární výrazy. Definice Množina regulárních výrazů nad abecedou Σ, označovaná RE(Σ), je definována induktivně takto:

Soustavy lineárních a kvadratických rovnic o dvou neznámých

Vyhledávání řetězců. a b a c a a b. a b a c a b. a b a c a b

Přijímací zkouška na navazující magisterské studium 2017

Složitost Filip Hlásek

Vztah teorie vyčíslitelnosti a teorie složitosti. IB102 Automaty, gramatiky a složitost, /31

kupní cena: ,- Kč Splatnost jednorázově, do 30 dnů ode dne podpisu kupní smlouvy na účet prodávajícího. Návrh č. 2.

Algoritmizace Dynamické programování. Jiří Vyskočil, Marko Genyg-Berezovskyj 2010

Přijímací zkouška na navazující magisterské studium 2018

Programování II. Návrh programu I 2018/19

Popište a na příkladu ilustrujte(rychlý) algoritmus testující, zda dané dva automaty jsou izomorfní.

: Teoretická informatika(ti)

Algoritmy II. Otázky k průběžnému testu znalostí

63. ročník Matematické olympiády 2013/2014

LinuxDays 2017 Ondřej Guth GNU grep LD 17 1 / 14

Kapitola 6. LL gramatiky. 6.1 Definice LL(k) gramatik. Definice 6.3. Necht G = (N, Σ, P, S) je CFG, k 1 je celé číslo.

Programy na PODMÍNĚNÝ příkaz IF a CASE

Úvod do informatiky. Miroslav Kolařík

součet cvičení celkem. známka. Úloha č.: max. bodů: skut. bodů:

Formální jazyky a gramatiky Teorie programovacích jazyků

BRNO UNIVERSITY OF TECHNOLOGY FACULTY OF INFORMATION TECHNOLOGY DEPARTMENT OF INTELLIGENT SYSTEMS MASTER S THESIS AUTHOR

Základní pojmy. Úvod do programování. Základní pojmy. Zápis algoritmu. Výraz. Základní pojmy

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ PŘÍRODOVĚDECKÁ FAKULTA

Informatika navazující magisterské studium Přijímací zkouška z informatiky 2018 varianta A

Témata bakalářských prací 2015/2016

Konečný automat. Jan Kybic.

VYŠŠÍ ODBORNÁ ŠKOLA a STŘEDNÍ PRŮMYSLOVÁ ŠKOLA Mariánská 1100, Varnsdorf PROGRAMOVÁNÍ FUNKCE, REKURZE, CYKLY

doplněk, zřetězení, Kleeneho operaci a reverzi. Ukážeme ještě další operace s jazyky, na které je

Rovnice přímky v prostoru

Obor: Informatika Únor 2006 Okruh: Základy matematiky Otázka: 1. Jméno: Bodů:...

Regulární výrazy. M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 14. března / 20

Faculty of Nuclear Sciences and Physical Engineering Czech Technical University in Prague

Základy algoritmizace, Turingův stroj

Dynamické programování

AUTOMATY A GRAMATIKY. Pavel Surynek. Kontextové uzávěrové vlastnosti Turingův stroj Rekurzivně spočetné jazyky Kódování, enumerace

Definice 9.4. Nedeterministický algoritmus se v některých krocích může libovolně rozhodnout pro některé z několika možných různých pokračování.

Dynamické programování. Optimální binární vyhledávací strom

Formální jazyky a automaty Petr Šimeček

Lexikální analýza Teorie programovacích jazyků

PROHLEDÁVÁNÍ GRAFŮ. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze

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

ZADÁNÍ BAKALÁŘSKÉ PRÁCE

Teoretická informatika TIN

3.2. ANALYTICKÁ GEOMETRIE ROVINY

Teoretická informatika - Úkol č.1

UČEBNÍ TEXTY VYSOKÝCH ŠKOL. Prof. RNDr. Milan Češka, CSc. Gramatiky a jazyky

Dotazy tvorba nových polí (vypočítané pole)

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

FRP 6. cvičení Měření rizika

- znakové konstanty v apostrofech, např. a, +, (znak mezera) - proměnná zabírá 1 byte, obsahuje kód příslušného znaku

Cvičení 1. Úvod do teoretické informatiky(2014/2015) cvičení 1 1

Turingovy stroje. Teoretická informatika Tomáš Foltýnek

Střední průmyslová škola, Ústí nad Labem, Resslova 5, příspěvková organizace

Suffixové stromy. Osnova:

Konečný automat Teorie programovacích jazyků

Uplatnění metod na zvolený jazyk

Studijní program ELEKTROTECHNIKA A INFORMATIKA

Zadání semestrálního projektu PAM

Zadání projektů k modulu: 1. Základy integrální logistiky

NP-úplnost. M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 23. května / 32

AUTOMATY A GRAMATIKY

Automaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů

Poznámka. Kezkoušcejemožnojítjenposplněnípožadavkůkzápočtu. Kromě čistého papíru a psacích potřeb není povoleno používat žádné další pomůcky.

Maturitní témata Školní rok: 2015/2016

y (5) (x) y (4) (x) + 4y (3) (x) 12y (x) 45y (x) 27y(x) (horní indexy značí derivaci) pro 3. y(x) = x sin 3x 4. y(x) = x cos 3x 9.

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

Přijímací zkouška na navazující magisterské studium 2015

Teoretická informatika průběh výuky v semestru 1

Měření a analýza mechanických vlastností materiálů a konstrukcí. 1. Určete moduly pružnosti E z ohybu tyče pro 4 různé materiály

Bezkontextové jazyky 2/3. Bezkontextové jazyky 2 p.1/27

Fakulta informačních technologií. Teoretická informatika

Pumping lemma - podstata problému. Automaty a gramatiky(bi-aag) Pumping lemma - problem resolution. Pumping lemma - podstata problému

Elektrická měření pro I. ročník (Laboratorní cvičení)

4. Teorie informace, teorie složitosti algoritmů. doc. Ing. Róbert Lórencz, CSc.

Standardní algoritmy vyhledávací.

Na rozšiřující přednášce minulý týden jsme se věnovali zejména. algoritmu, který k zadanému konečnému automatu sestrojí ekvivalentní regulární výraz

Týden 11. Přednáška. Teoretická informatika průběh výuky v semestru 1. Nejprve jsme dokončili témata zapsaná u minulé přednášky.

Naproti tomu gramatika je vlastně soupis pravidel, jak

Pod slovem automat si většina lidí představí automat na kávu. Jiným toto slovo

Faculty of Nuclear Sciences and Physical Engineering Czech Technical University in Prague

Transkript:

TIS 311 1. Navrhněte KMP vyhledávací stroj pro vzorek v = kakadu, 2. Pro stejný vzorek navrhněte deterministický konečný automat. 3. Simulujte činnost obou strojů na textu T = dukakakaduka, porovnejte jejich činnost z hlediska paměťové a časové složitosti.

TIS 331 1. Navrhněte BM vyhledávací stroj pro vzorek v = kakao, pro výpočet fail funkce použijte jednu z metod Bad-character shift, first fit nebo best fit. Určete pravidla pro výpočet vámi zvolené fail funkce. 2. Pro stejný vzorek navrhněte suffixový automat. 3. Simulujte činnost obou strojů na textu T = pijtekakakao, porovnejte jejich činnost z hlediska paměťové a časové složitosti.

TIS 351 1. Navrhněte AC vyhledávací stroj pro množinu vzorků V = {kolo, loto, ol}, 2. Pro stejnou množinu vzorků navrhněte deterministický konečný automat. 3. Simulujte činnost obou strojů na textu T = kolotoce, porovnejte jejich činnost z hlediska paměťové a časové složitosti.

TIS 371 1. Navrhněte CW vyhledávací stroj pro množinu vzorků V = {kolo, loto}, 2. Popište pravidla výpočtu funkcí shift1 a shift2. 3. Simulujte činnost CW vyhledávacího stroje na textu T = kolotoce, zhodnoťte jeho činnost z hlediska paměťové a časové složitosti.

TIS 391 1. Vytvořte nedeterministický faktorový automat pro vzorek v = abbbabcb. 2. Vytvořte ekvivalentní deterministický automat. 3. Pomocí tohoto automatu nalezněte nejdelší opakující se podřetězec bez překryvu (s mezerou a bez mezery) a nejdelší opakující se podřetězec s překryvem. 4. Nalezněte všechny nejčatěji se opakující podřetězce. U bodů 3 a 4 vysvětlete vztah pozice nalezeného podřetězce a čísla stavu deterministického automatu.

TIS 611 1. Vytvořte nedeterministický automat přijímající všechny podřetězce vzorku v s maximálně jednou záměnou (Hammingova vzdálenost). v = abbbabcb 2. Vytvořte ekvivalentní deterministický automat. 3. Pomocí tohoto automatu nalezněte nejdelší opakující se podřetězec bez překryvu (s mezerou a bez mezery) a nejdelší opakující se podřetězec s překryvem(s k Hamm =1). 4. Nalezněte všechny nejčatěji se opakující podřetězce. U bodů 3 a 4 vysvětlete vztah pozice nalezeného podřetězce a čísla stavu deterministického automatu.

TIS 631 1. Vytvořte nedeterministický vyhledávací automat pro vzorek v s maximálně jednou záměnou (Hammingova vzdálenost). v = abba 2. Simulujte jeho činnost nad textem aabcabbaacba pomocí dynamického programování. 3. Definujte pravidla výpočtu ve Vámi použitém algoritmu.

TIS 651 1. Vytvořte nedeterministický vyhledávací automat pro vzorek v s maximálně jednou chybou v Levensteinově vzdálenosti. v = abca 2. Simulujte jeho činnost nad textem T = bacacbbca pomocí dynamického programování. 3. Definujte pravidla výpočtu ve Vámi použitém algoritmu.

TIS 671 1. Vytvořte nedeterministický vyhledávací automat pro vzorek v s maximálně jednou chybou v Levensteinově vzdálenosti. v = abca 2. Simulujte jeho činnost nad textem T = bacacba pomocí bitového paralelismu (použijte algoritmus SHIFT-AND nebo Shift-OR). 3. Definujte pravidla výpočtu ve Vámi použitém algoritmu.

TIS 691 1. Vytvořte nedeterministický vyhledávací automat pro vzorek v s maximálně jednou záměnou (Hammingova vzdálenost). v = abba 2. Simulujte jeho činnost nad textem T = aabccba pomocí bitového paralelismu (použijte algoritmus SHIFT-AND nebo Shift-OR). 3. Definujte pravidla výpočtu ve Vámi použitém algoritmu.

TIS 711 1. Vytvořte sufixový automat pro pro přibližné protisměrné vyhledávání v textu vzorku v s maximálně jednou záměnou (Hammingova vzdálenost). v = abba 2. Simulujte jeho činnost nad textem T = bacbacbbcacca.

TIS 731 Mějme uspořádanou abecedu Σ = {a(1),b(2),c(3),d(4),e(5),f(6)}, kde číslo v závorce určuje pořadí daného symbolu v našem uspořádání. Vzdálenost dvou symbolů je definována jako absolutní hodnota rozdílu jejich pořadí, např. d(a, c)= 1 3 =2. 1. Vytvořte vyhledávací automat pro vzorek v s maximálně dvěma chybami v δ vzdálenosti nad abecedou Σ. 2. Je tento automat deterministický? v = abbab 3. Simulujte práci tohoto automatu pro text T = aabcabbaacba

TIS 751 Mějme uspořádanou abecedu Σ = {a(1),b(2),c(3),d(4),e(5),f(6)}, kde číslo v závorce určuje pořadí daného symbolu v našem uspořádání. Vzdálenost dvou symbolů je definována jako absolutní hodnota rozdílu jejich pořadí, např. d(a, c)= 1 3 =2. 1. Vytvořte vyhledávací automat pro vzorek v s maximálně dvěma chybami v γ vzdálenosti nad abecedou Σ. v = abbab 2. Simulujte práci tohoto automatu pro text T = aabcabbaacba

TIS 791 Mějme uspořádanou abecedu Σ = {a(1),b(2),c(3),d(4),e(5),f(6)}, kde číslo v závorce určuje pořadí daného symbolu v našem uspořádání. Vzdálenost dvou symbolů je definována jako absolutní hodnota rozdílu jejich pořadí, např. d(a, c)= 1 3 =2. 1. Vytvořte vyhledávací automat pro vzorek v s maximálně dvěma chybami v γ vzdálenosti a jednou chybou v δ nad abecedou Σ. 2. Je tento automat deterministický? v = abbab 3. Simulujte práci tohoto automatu pro text T = aabcabbaacba