EKO-KOLONIE. Ústav informatiky, Filozoficko-přírodovědecká fakulta Slezské univerzity v Opavě 24.

Podobné dokumenty
Syntaxí řízený překlad

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

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

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

1) Sekvenční a paralelní gramatiky

Jednoznačné a nejednoznačné gramatiky

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

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

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

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

2 Formální jazyky a gramatiky

Vztah jazyků Chomskeho hierarchie a jazyků TS

Syntaxí řízený překlad

Teoretická informatika - Úkol č.1

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

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

Základy teoretické informatiky Formální jazyky a automaty

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

VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ

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

Bezkontextové jazyky. Bezkontextové jazyky 1 p.1/39

1. Statistická analýza dat Jak vznikají informace Rozložení dat

Automaty a gramatiky

AUTOMATY A GRAMATIKY

PROGRAMOVACÍ JAZYKY A PŘEKLADAČE LL SYNTAKTICKÁ ANALÝZA DOKONČENÍ, IMPLEMENTACE.

SOFTWAROVÁ PODPORA TVORBY PROJEKTŮ

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

Doporučené příklady k Teorii množin, LS 2018/2019

Inženýrská statistika pak představuje soubor postupů a aplikací teoretických principů v oblasti inženýrské činnosti.

Strukturální rozpoznávání

Automaty a gramatiky. Uzávěrové vlastnosti v kostce R J BKJ DBKJ. Roman Barták, KTIML. Kvocienty s regulárním jazykem

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

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

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.

Vlastnosti Derivační strom Metody Metoda shora dolů Metoda zdola nahoru Pomocné množiny. Syntaktická analýza. Metody a nástroje syntaktické analýzy

Rekurentní rovnice, strukturální indukce

Čí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:

Vysoké učení technické v Brně Fakulta informačních technologií. Gramatiky nad volnými grupami Petr Blatný

Syntaktická analýza založená na multigenerativních systémech Závěrečná práce z předmětu TJD. Jakub Martiško

SYNTAKTICKÁ ANALÝZA ZALOŽENÁ NA GRAMATICKÝCH A AUTOMATOVÝCH SYSTÉMECH PARSING BASED ON GRAMMAR AND AUTOMATA SYSTEMS

IMOSI - MODELACE A SIMULACE LEARN 2013 správně možná špatně

Referát z předmětu Teoretická informatika

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

5 Orientované grafy, Toky v sítích

Klauzulární logika. Znalostní báze. Šárka Vavrečková

Rekurentní rovnice, strukturální indukce

Studijní program ELEKTROTECHNIKA A INFORMATIKA

B A B A B A B A A B A B B

Pravděpodobnost a statistika

Obsah. 1 Úvod do Visia Práce se soubory 47. Předmluva 11 Typografická konvence použitá v knize 13

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

6. Problém typové anonymity prvků v kolekci Sjednocení typově rozdílných prvků pomocí rozhraní Kolekce pro jeden typ prvků...

Logika pro sémantický web

Výroková logika. Teoretická informatika Tomáš Foltýnek


Úvod do informatiky. Miroslav Kolařík

KOMBINATORIKA. 1. cvičení

Intuitivní pojem pravděpodobnosti

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

Obsah. Základy teorie pravděpodobnosti Náhodný jev Pravděpodobnost náhodného jevu Pravděpodobnost. Pravděpodobnost. Děj pokus jev

IB112 Základy matematiky

Projekční algoritmus. Urychlení evolučních algoritmů pomocí regresních stromů a jejich zobecnění. Jan Klíma

/01: Teoretická informatika(ti) přednáška 5

VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ BRNO UNIVERSITY OF TECHNOLOGY

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy

Formální systém výrokové logiky

Paralelní grafové algoritmy

/1: Teoretická informatika(ti) přednáška 4

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

Postův korespondenční problém. Meze rozhodnutelnosti 2 p.1/13

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 Σ

Vlastnosti regulárních jazyků

Převyprávění Gödelova důkazu nutné existence Boha

Překladač sestrojující k regulárnímu výrazu ekvivalentní konečný automat Připomeňme si jednoznačnou gramatiku G pro jazyk RV({a, b})

U Úvod do modelování a simulace systémů

Modulární systém dalšího vzdělávání pedagogických pracovníků JmK v přírodních vědách a informatice CZ.1.07/1.3.10/ Brožura dobré praxe.

1. Zpracování událostí na pozadí aplikace

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

Server Internetu prostøednictvím slu eb (web, , pøenos souborù) poskytuje data. Na na í pracovní stanici Internet

Server Internetu prostøednictvím slu eb (web, , pøenos souborù) poskytuje data. Na na í pracovní stanici Internet

Automaty a gramatiky. Roman Barták, KTIML. Separované gramatiky. Kontextové gramatiky. Chomského hierarchie

IB109 Návrh a implementace paralelních systémů. Organizace kurzu a úvod. RNDr. Jiří Barnat, Ph.D.

Bezkontextové jazyky. Bezkontextové jazyky 1 p.1/31

i=1 Přímka a úsečka. Body, které leží na přímce procházející body a a b můžeme zapsat pomocí parametrické rovnice

UML - opakování I N G. M A R T I N M O L H A N E C, C S C. Y 1 3 A N W

PŘEDNÁŠKA 2 POSLOUPNOSTI

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY.

Časová a prostorová složitost algoritmů

Návrh a realizace modulového. učitelů v Moravskoslezském kraji. Ing. Eva Burianová, Ph.D.

ZÁKLADY TEORETICKÉ INFORMATIKY

Jak využít kancelářské aplikace ve výuce MS Office Gymnázium a SOŠ Orlová Ing. Marta Slawinská

Vzdělávací oblast: Matematika a její aplikace Vzdělávací obor: Matematický kroužek pro nadané žáky ročník 9.

8. Normální rozdělení

Bezkontextové gramatiky. Z. Sawa (VŠB-TUO) Úvod do teoretické informatiky 6. května / 49

Kapacita jako náhodná veličina a její měření. Ing. Igor Mikolášek, Ing. Martin Bambušek Centrum dopravního výzkumu, v. v. i.

1/15. Kapitola 2: Reálné funkce více proměnných

Bezkontextové gramatiky nad volnými grupami

Smluvní projekt KLAT Metodická podpora simulačních studií ve výrobních a logistických procesech ŠKODA AUTO a.s.

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

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

Transkript:

EKO-KOLONIE OBHAJOBA DISERTAČNÍ PRÁCE RNDr. Šárka Vavrečková Ústav informatiky, Filozoficko-přírodovědecká fakulta Slezské univerzity v Opavě sarka.vavreckova@fpf.slu.cz 24. dubna 2008

Obsah 1 Eko-kolonie Neformální popis Příklady 2 Definice L-systémy Eko-kolonie 3 Příklady 4 Struktura práce Kapitoly Výsledky 5 Navazující práce Princip Ukázky 6 Závěr

Obsah 1 Eko-kolonie Neformální popis Příklady 2 Definice L-systémy Eko-kolonie 3 Příklady 4 Struktura práce Kapitoly Výsledky 5 Navazující práce Princip Ukázky 6 Závěr

Obsah 1 Eko-kolonie Neformální popis Příklady 2 Definice L-systémy Eko-kolonie 3 Příklady 4 Struktura práce Kapitoly Výsledky 5 Navazující práce Princip Ukázky 6 Závěr

Obsah 1 Eko-kolonie Neformální popis Příklady 2 Definice L-systémy Eko-kolonie 3 Příklady 4 Struktura práce Kapitoly Výsledky 5 Navazující práce Princip Ukázky 6 Závěr

Obsah 1 Eko-kolonie Neformální popis Příklady 2 Definice L-systémy Eko-kolonie 3 Příklady 4 Struktura práce Kapitoly Výsledky 5 Navazující práce Princip Ukázky 6 Závěr

Obsah 1 Eko-kolonie Neformální popis Příklady 2 Definice L-systémy Eko-kolonie 3 Příklady 4 Struktura práce Kapitoly Výsledky 5 Navazující práce Princip Ukázky 6 Závěr

Motivace Neformální popis eko-kolonií Eko-kolonie jsou formální model systému, který obsahuje 1 prostředí, které se samo dynamicky (paralelně) mění, 2 agenty, které (paralelně) zasahují do vývoje prostředí, mají vyšší prioritu než vývojové akce prostředí, 3 synchronizační mechanismus činnost prostředí i agentů probíhá synchronizovaně v krocích odvození.

Motivace Neformální popis eko-kolonií Eko-kolonie jsou formální model systému, který obsahuje 1 prostředí, které se samo dynamicky (paralelně) mění, 2 agenty, které (paralelně) zasahují do vývoje prostředí, mají vyšší prioritu než vývojové akce prostředí, 3 synchronizační mechanismus činnost prostředí i agentů probíhá synchronizovaně v krocích odvození.

Motivace Neformální popis eko-kolonií Eko-kolonie jsou formální model systému, který obsahuje 1 prostředí, které se samo dynamicky (paralelně) mění, 2 agenty, které (paralelně) zasahují do vývoje prostředí, mají vyšší prioritu než vývojové akce prostředí, 3 synchronizační mechanismus činnost prostředí i agentů probíhá synchronizovaně v krocích odvození.

Agent Agenty a prostředí Každý agent je určen dvěma údaji: 1 startovací symbol = symbol, který dokáže agent zpracovat, 2 konečný jazyk agenta = množina akcí, které agent může se startovacím symbolem provést, agent hledá svůj startovací symbol v prostředí když najde, vybere náhodně některý prvek svého jazyka a nahradí jím nalezený symbol. Prostředí je L-schéma určeno abecedou (resp. abecedami) a vývojovými pravidly, každý symbol, který v daném kroku odvození není zpracován agentem, podléhá vývoji prostředí.

Agent Agenty a prostředí Každý agent je určen dvěma údaji: 1 startovací symbol = symbol, který dokáže agent zpracovat, 2 konečný jazyk agenta = množina akcí, které agent může se startovacím symbolem provést, agent hledá svůj startovací symbol v prostředí když najde, vybere náhodně některý prvek svého jazyka a nahradí jím nalezený symbol. Prostředí je L-schéma určeno abecedou (resp. abecedami) a vývojovými pravidly, každý symbol, který v daném kroku odvození není zpracován agentem, podléhá vývoji prostředí.

Agent Agenty a prostředí Každý agent je určen dvěma údaji: 1 startovací symbol = symbol, který dokáže agent zpracovat, 2 konečný jazyk agenta = množina akcí, které agent může se startovacím symbolem provést, agent hledá svůj startovací symbol v prostředí když najde, vybere náhodně některý prvek svého jazyka a nahradí jím nalezený symbol. Prostředí je L-schéma určeno abecedou (resp. abecedami) a vývojovými pravidly, každý symbol, který v daném kroku odvození není zpracován agentem, podléhá vývoji prostředí.

Agent Agenty a prostředí Každý agent je určen dvěma údaji: 1 startovací symbol = symbol, který dokáže agent zpracovat, 2 konečný jazyk agenta = množina akcí, které agent může se startovacím symbolem provést, agent hledá svůj startovací symbol v prostředí když najde, vybere náhodně některý prvek svého jazyka a nahradí jím nalezený symbol. Prostředí je L-schéma určeno abecedou (resp. abecedami) a vývojovými pravidly, každý symbol, který v daném kroku odvození není zpracován agentem, podléhá vývoji prostředí.

Původ eko-kolonií Eko-kolonie jsou inspirovány 1 koloniemi, 2 eko-gramatickými systémy.

Kolonie Eko-kolonie jsou rozšířením kolonií... =jednoduchý gramatický systém komponenty = gramatiky generující konečné jazyky, každá komponenta má startovací symbol, konečný jazyk komponenty, prostředí je statické, změny provádějí pouze komponenty, různé módy odvození sekvenční, sekvenčně-paralelní, slabě paralelní a silně paralelní.

Kolonie Eko-kolonie jsou rozšířením kolonií... =jednoduchý gramatický systém komponenty = gramatiky generující konečné jazyky, každá komponenta má startovací symbol, konečný jazyk komponenty, prostředí je statické, změny provádějí pouze komponenty, různé módy odvození sekvenční, sekvenčně-paralelní, slabě paralelní a silně paralelní.

Kolonie Eko-kolonie jsou rozšířením kolonií... =jednoduchý gramatický systém komponenty = gramatiky generující konečné jazyky, každá komponenta má startovací symbol, konečný jazyk komponenty, prostředí je statické, změny provádějí pouze komponenty, různé módy odvození sekvenční, sekvenčně-paralelní, slabě paralelní a silně paralelní.

Kolonie Eko-kolonie jsou rozšířením kolonií... =jednoduchý gramatický systém komponenty = gramatiky generující konečné jazyky, každá komponenta má startovací symbol, konečný jazyk komponenty, prostředí je statické, změny provádějí pouze komponenty, různé módy odvození sekvenční, sekvenčně-paralelní, slabě paralelní a silně paralelní.

Kolonie Eko-kolonie jsou rozšířením kolonií... =jednoduchý gramatický systém komponenty = gramatiky generující konečné jazyky, každá komponenta má startovací symbol, konečný jazyk komponenty, prostředí je statické, změny provádějí pouze komponenty, různé módy odvození sekvenční, sekvenčně-paralelní, slabě paralelní a silně paralelní.

... s inspirací u eko-gramatických systémů Eko-gramatický systém =složitější gramatický systém agenty mají vlastní stav, sadu vývojových pravidel ovlivňujících tento stav, sadu akčních pravidel ovlivňujících prostředí, prostředí je 0L-schéma, změny provádějí nejen agenty, ale prostředí se samo vyvíjí (vývojová pravidla), agenty pracují paralelně, prostředí také, agenty ovlivňují prostředí, prostředí ovlivňuje agenty.

... s inspirací u eko-gramatických systémů Eko-gramatický systém =složitější gramatický systém agenty mají vlastní stav, sadu vývojových pravidel ovlivňujících tento stav, sadu akčních pravidel ovlivňujících prostředí, prostředí je 0L-schéma, změny provádějí nejen agenty, ale prostředí se samo vyvíjí (vývojová pravidla), agenty pracují paralelně, prostředí také, agenty ovlivňují prostředí, prostředí ovlivňuje agenty.

... s inspirací u eko-gramatických systémů Eko-gramatický systém =složitější gramatický systém agenty mají vlastní stav, sadu vývojových pravidel ovlivňujících tento stav, sadu akčních pravidel ovlivňujících prostředí, prostředí je 0L-schéma, změny provádějí nejen agenty, ale prostředí se samo vyvíjí (vývojová pravidla), agenty pracují paralelně, prostředí také, agenty ovlivňují prostředí, prostředí ovlivňuje agenty.

... s inspirací u eko-gramatických systémů Eko-gramatický systém =složitější gramatický systém agenty mají vlastní stav, sadu vývojových pravidel ovlivňujících tento stav, sadu akčních pravidel ovlivňujících prostředí, prostředí je 0L-schéma, změny provádějí nejen agenty, ale prostředí se samo vyvíjí (vývojová pravidla), agenty pracují paralelně, prostředí také, agenty ovlivňují prostředí, prostředí ovlivňuje agenty.

... s inspirací u eko-gramatických systémů Eko-gramatický systém =složitější gramatický systém agenty mají vlastní stav, sadu vývojových pravidel ovlivňujících tento stav, sadu akčních pravidel ovlivňujících prostředí, prostředí je 0L-schéma, změny provádějí nejen agenty, ale prostředí se samo vyvíjí (vývojová pravidla), agenty pracují paralelně, prostředí také, agenty ovlivňují prostředí, prostředí ovlivňuje agenty.

... s inspirací u eko-gramatických systémů Eko-gramatický systém =složitější gramatický systém agenty mají vlastní stav, sadu vývojových pravidel ovlivňujících tento stav, sadu akčních pravidel ovlivňujících prostředí, prostředí je 0L-schéma, změny provádějí nejen agenty, ale prostředí se samo vyvíjí (vývojová pravidla), agenty pracují paralelně, prostředí také, agenty ovlivňují prostředí, prostředí ovlivňuje agenty.

... s inspirací u eko-gramatických systémů Eko-gramatický systém =složitější gramatický systém agenty mají vlastní stav, sadu vývojových pravidel ovlivňujících tento stav, sadu akčních pravidel ovlivňujících prostředí, prostředí je 0L-schéma, změny provádějí nejen agenty, ale prostředí se samo vyvíjí (vývojová pravidla), agenty pracují paralelně, prostředí také, agenty ovlivňují prostředí, prostředí ovlivňuje agenty.

Neformální příklady Prostředí: louka plná trávy, agenty: králíci, koně, krávy, akcí je pasení trávy, vývoj prostředí: spasená tráva dorůstá. Prostředí: bakteriální kultura, agenty: antibiotika, akcí je likvidace konkrétních baktérií, vývoj prostředí: baktérie se mohou dělit. Prostředí: stůl s papíry (čistými nebo pokreslenými), agenty: děti s pastelkami, akcí je kreslení na čistý papír, vývoj prostředí: pokreslené papíry jsou učitelkou pravidelně nahrazovány čistými.

Neformální příklady Prostředí: louka plná trávy, agenty: králíci, koně, krávy, akcí je pasení trávy, vývoj prostředí: spasená tráva dorůstá. Prostředí: bakteriální kultura, agenty: antibiotika, akcí je likvidace konkrétních baktérií, vývoj prostředí: baktérie se mohou dělit. Prostředí: stůl s papíry (čistými nebo pokreslenými), agenty: děti s pastelkami, akcí je kreslení na čistý papír, vývoj prostředí: pokreslené papíry jsou učitelkou pravidelně nahrazovány čistými.

Neformální příklady Prostředí: louka plná trávy, agenty: králíci, koně, krávy, akcí je pasení trávy, vývoj prostředí: spasená tráva dorůstá. Prostředí: bakteriální kultura, agenty: antibiotika, akcí je likvidace konkrétních baktérií, vývoj prostředí: baktérie se mohou dělit. Prostředí: stůl s papíry (čistými nebo pokreslenými), agenty: děti s pastelkami, akcí je kreslení na čistý papír, vývoj prostředí: pokreslené papíry jsou učitelkou pravidelně nahrazovány čistými.

Definice (0L schéma) Definice L-systémů 0L schéma je uspořádaná dvojice S 0 = (V, P), kde V je konečná neprázdná abeceda systému, P je množina bezkontextových pravidel, P V V. Definice (0L systém) 0L systém je uspořádaná trojice G 0 = (V, P, ω 0 ), kde (V, P) je 0L schéma a ω 0 je axiom, ω 0 V.

Definice (0L schéma) Definice L-systémů 0L schéma je uspořádaná dvojice S 0 = (V, P), kde V je konečná neprázdná abeceda systému, P je množina bezkontextových pravidel, P V V. Definice (0L systém) 0L systém je uspořádaná trojice G 0 = (V, P, ω 0 ), kde (V, P) je 0L schéma a ω 0 je axiom, ω 0 V.

Definice (E0L schéma) Definice L-systémů E0L schéma je uspořádaná trojice S E = (V, T, P), kde V je konečná neprázdná abeceda systému, T je terminální abeceda, T V, P je množina bezkontextových pravidel, P V V. Definice (E0L-systém) E0L systém je uspořádaná čtveřice G E = (V, T, P, ω 0 ), kde (V, T, P) je E0L schéma ω 0 je axiom, ω 0 V.

Definice (E0L schéma) Definice L-systémů E0L schéma je uspořádaná trojice S E = (V, T, P), kde V je konečná neprázdná abeceda systému, T je terminální abeceda, T V, P je množina bezkontextových pravidel, P V V. Definice (E0L-systém) E0L systém je uspořádaná čtveřice G E = (V, T, P, ω 0 ), kde (V, T, P) je E0L schéma ω 0 je axiom, ω 0 V.

Definice (E0L eko-kolonie) Definice eko-kolonií E0L eko-kolonie stupně n, n 1, je (n + 2)-tice Σ = (E, A 1, A 2,..., A n, w 0 ), kde E = (V, T, P) je E0L schéma, A i = (S i, F i ), 1 i n, je i-tý agent, kde S i V je startovací symbol agenta, F i (V {S i }) konečná množina akčních pravidel agenta (jeho jazyk), w 0 V je axiom.

Definice (0L eko-kolonie) Definice eko-kolonií 0L eko-kolonie stupně n, n 1, je (n + 2)-tice Σ = (E, A 1, A 2,..., A n, w 0 ), kde E = (V, P) je 0L schéma, A i = (S i, F i ), 1 i n, je i-tý agent, kde S i V je startovací symbol agenta, F i (V {S i }) konečná množina akčních pravidel agenta (jeho jazyk), w 0 V je axiom.

Odvození v eko-koloniích Slabý paralelismus (wp weak parallel) 1 pokud se startovací symbol agenta nenachází v prostředí, agent je pro daný krok neaktivní, 2 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m k, pak pracuje všech těchto m agentů (jsou aktivní), 3 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m > k, pak pouze k jich je aktivních, zbylých m k je neaktivních, v každém kroku odvození pracují všechny agenty, které mohou pracovat.

Odvození v eko-koloniích Slabý paralelismus (wp weak parallel) 1 pokud se startovací symbol agenta nenachází v prostředí, agent je pro daný krok neaktivní, 2 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m k, pak pracuje všech těchto m agentů (jsou aktivní), 3 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m > k, pak pouze k jich je aktivních, zbylých m k je neaktivních, v každém kroku odvození pracují všechny agenty, které mohou pracovat.

Odvození v eko-koloniích Slabý paralelismus (wp weak parallel) 1 pokud se startovací symbol agenta nenachází v prostředí, agent je pro daný krok neaktivní, 2 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m k, pak pracuje všech těchto m agentů (jsou aktivní), 3 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m > k, pak pouze k jich je aktivních, zbylých m k je neaktivních, v každém kroku odvození pracují všechny agenty, které mohou pracovat.

Odvození v eko-koloniích Slabý paralelismus (wp weak parallel) 1 pokud se startovací symbol agenta nenachází v prostředí, agent je pro daný krok neaktivní, 2 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m k, pak pracuje všech těchto m agentů (jsou aktivní), 3 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m > k, pak pouze k jich je aktivních, zbylých m k je neaktivních, v každém kroku odvození pracují všechny agenty, které mohou pracovat.

Odvození v eko-koloniích Plný paralelismus (ap all are working parallely) 1 pokud se startovací symbol agenta nenachází v prostředí, odvození je blokováno, 2 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m k, pak pracuje všech těchto m agentů (jsou aktivní), 3 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m > k, pak je odvození blokováno, v každém kroku odvození pracují všechny agenty.

Odvození v eko-koloniích Plný paralelismus (ap all are working parallely) 1 pokud se startovací symbol agenta nenachází v prostředí, odvození je blokováno, 2 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m k, pak pracuje všech těchto m agentů (jsou aktivní), 3 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m > k, pak je odvození blokováno, v každém kroku odvození pracují všechny agenty.

Odvození v eko-koloniích Plný paralelismus (ap all are working parallely) 1 pokud se startovací symbol agenta nenachází v prostředí, odvození je blokováno, 2 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m k, pak pracuje všech těchto m agentů (jsou aktivní), 3 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m > k, pak je odvození blokováno, v každém kroku odvození pracují všechny agenty.

Odvození v eko-koloniích Plný paralelismus (ap all are working parallely) 1 pokud se startovací symbol agenta nenachází v prostředí, odvození je blokováno, 2 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m k, pak pracuje všech těchto m agentů (jsou aktivní), 3 jestliže se symbol nachází v prostředí v k výskytech, k > 0, a agentů s tímto symbolem jako startovacím je m > k, pak je odvození blokováno, v každém kroku odvození pracují všechny agenty.

Příklad 1 E0L eko-kolonie Σ = (E, A 1, A 2, AbB), kde E = ({A, B, a, b}, {a, b}, {a a, b bb, A A, B B}), A 1 = (A, {ab, ε}), A 2 = (B, {aa, ε}) Ukázky odvození: AbB = ap abb 2 aa = ap a 2 Ab 4 a 2 B = ap a 3 Bb 8 a 3 A = ap a 4 Ab 16 a 4 B = ap... AbB = wp abb 2 aa = wp a 2 Ab 4 a 2 B = wp a 2 b 8 a 3 A = wp a 2 b 16 a 4 B = wp... } L(Σ, ap) = {a n b 2n a n n 0 } L(Σ, wp) = {a i b 2n a j n 0, 0 i, j n

Příklad 1 E0L eko-kolonie Σ = (E, A 1, A 2, AbB), kde E = ({A, B, a, b}, {a, b}, {a a, b bb, A A, B B}), A 1 = (A, {ab, ε}), A 2 = (B, {aa, ε}) Ukázky odvození: AbB = ap abb 2 aa = ap a 2 Ab 4 a 2 B = ap a 3 Bb 8 a 3 A = ap a 4 Ab 16 a 4 B = ap... AbB = wp abb 2 aa = wp a 2 Ab 4 a 2 B = wp a 2 b 8 a 3 A = wp a 2 b 16 a 4 B = wp... } L(Σ, ap) = {a n b 2n a n n 0 } L(Σ, wp) = {a i b 2n a j n 0, 0 i, j n

Příklad 1 E0L eko-kolonie Σ = (E, A 1, A 2, AbB), kde E = ({A, B, a, b}, {a, b}, {a a, b bb, A A, B B}), A 1 = (A, {ab, ε}), A 2 = (B, {aa, ε}) Ukázky odvození: AbB = ap abb 2 aa = ap a 2 Ab 4 a 2 B = ap a 3 Bb 8 a 3 A = ap a 4 Ab 16 a 4 B = ap... AbB = wp abb 2 aa = wp a 2 Ab 4 a 2 B = wp a 2 b 8 a 3 A = wp a 2 b 16 a 4 B = wp... } L(Σ, ap) = {a n b 2n a n n 0 } L(Σ, wp) = {a i b 2n a j n 0, 0 i, j n

Příklad 2 0L eko-kolonie Σ = (E, A, a), kde E = ({a, b}, {a aa, b b}), A = (b, {a}) Ukázka odvození: a = wp a 2 = wp a 4 = wp a 8 = wp a16 wp =... L(Σ, wp) = {a } 2n n 0, L(Σ, ap) = {a} nebo: Σ = (E, A, b), kde E = ({a, b}, {a aa, b b}), Ukázka odvození: A = (b, {a}) b = wp a = wp a 2 = wp a 4 = wp a 8 = wp a16 wp =...

Příklad 2 0L eko-kolonie Σ = (E, A, a), kde E = ({a, b}, {a aa, b b}), A = (b, {a}) Ukázka odvození: a = wp a 2 = wp a 4 = wp a 8 = wp a16 wp =... L(Σ, wp) = {a } 2n n 0, L(Σ, ap) = {a} nebo: Σ = (E, A, b), kde E = ({a, b}, {a aa, b b}), Ukázka odvození: A = (b, {a}) b = wp a = wp a 2 = wp a 4 = wp a 8 = wp a16 wp =...

Příklad 2 0L eko-kolonie Σ = (E, A, a), kde E = ({a, b}, {a aa, b b}), A = (b, {a}) Ukázka odvození: a = wp a 2 = wp a 4 = wp a 8 = wp a16 wp =... L(Σ, wp) = {a } 2n n 0, L(Σ, ap) = {a} nebo: Σ = (E, A, b), kde E = ({a, b}, {a aa, b b}), Ukázka odvození: A = (b, {a}) b = wp a = wp a 2 = wp a 4 = wp a 8 = wp a16 wp =...

Příklad 2 0L eko-kolonie Σ = (E, A, a), kde E = ({a, b}, {a aa, b b}), A = (b, {a}) Ukázka odvození: a = wp a 2 = wp a 4 = wp a 8 = wp a16 wp =... L(Σ, wp) = {a } 2n n 0, L(Σ, ap) = {a} nebo: Σ = (E, A, b), kde E = ({a, b}, {a aa, b b}), Ukázka odvození: A = (b, {a}) b = wp a = wp a 2 = wp a 4 = wp a 8 = wp a16 wp =...

Kapitola 1 Struktura disertační práce Formální gramatiky a jejich společenství základní informace související s tématem práce stručné pojednání o gramatikách Chomského hierarchie a L-systémech, gramatických systémech a eko-gramatických systémech. většinou neformální popis doprovázený příklady, formální popis u eko-gramatických systémů vzhledem k následujícímu obsahu dokumentu.

Kapitola 2 Struktura disertační práce Kolonie popis, potřebné definice, příklady demonstrující důležité dále využívané vlastnosti kolonií, generativní síla kolonií výsledky jiných autorů i vlastní výsledky (dvě věty s důkazy). Kapitola 3 Eko-kolonie motivace, popis, potřebné definice, příklady demonstrující důležité vlastnosti eko-kolonií.

Kapitola 2 Struktura disertační práce Kolonie popis, potřebné definice, příklady demonstrující důležité dále využívané vlastnosti kolonií, generativní síla kolonií výsledky jiných autorů i vlastní výsledky (dvě věty s důkazy). Kapitola 3 Eko-kolonie motivace, popis, potřebné definice, příklady demonstrující důležité vlastnosti eko-kolonií.

Kapitola 4 Struktura disertační práce Generativní síla eko-kolonií kapitola je rozdělena na 5 sekcí: 1 Eko-kolonie vs. kolonie 2 Vztah mezi různými druhy eko-kolonií 3 Eko-kolonie vs. L-systémy 4 Eko-kolonie vs. eko-gramatické systémy 5 Eko-kolonie vs. gramatiky Chomského hierarchie v každé sekci najdeme související věty o generativní síle a důkazy doprovázené příklady.

Další části dokumentu Součástí dokumentu jsou také Úvod, Závěr, seznamy literatury, Obsah, Seznam definic, Seznam značení, Seznam uvedených jazyků, Rejstřík.

Věty o generativní síle eko-kolonií L(EG) L(EEC wp ) L(EEC ap ) L(EG ε s) L(E0L) L(COL wp ) L(0EC wp ) L(COL b ) = L(CF) L(0EC ap ) L(COL T wp ) L(0L) L(COLT b ) L(REG)

Provedené změny: Změny oproti rigorózní práci většina důkazů zestručněna a přepracována, přidány věty a důkazy týkající se porovnání generativní síly eko-kolonií a gramatik Chomského hierarchie (typu 2 a 3 a podtříd), krátká diskuse k ostatním gramatikám Chomského hierarchie, změna struktury práce z důvodu zvýšení přehlednosti.

Pokračování v tématu Od L-systémů k eko-koloniím věty o generativní síle s důkazy, využití eko-kolonií v oblastech, kde se již léta používají L-systémy, zejména v modelování.

Pokračování v tématu Od L-systémů k eko-koloniím věty o generativní síle s důkazy, využití eko-kolonií v oblastech, kde se již léta používají L-systémy, zejména v modelování.

Motivace Grafika 2D Turtle L-systémy se používají také v jednoduchém grafickém modelování, želvička představuje momentální pozici a natočení kreslicího pera na plátně, přijímá příkazy pro pohyb, pohyb s kreslením, otočení apod., může používat zásobník, pak přijímá také příkazy pro uložení konfigurace do zásobníku a znovunačtení ze zásobníku, náhodné výstupy jsou zajišt ovány přidáním stochastických podmínek k vývojovým pravidlům.

Motivace Grafika 2D Turtle L-systémy se používají také v jednoduchém grafickém modelování, želvička představuje momentální pozici a natočení kreslicího pera na plátně, přijímá příkazy pro pohyb, pohyb s kreslením, otočení apod., může používat zásobník, pak přijímá také příkazy pro uložení konfigurace do zásobníku a znovunačtení ze zásobníku, náhodné výstupy jsou zajišt ovány přidáním stochastických podmínek k vývojovým pravidlům.

Motivace Grafika 2D Turtle L-systémy se používají také v jednoduchém grafickém modelování, želvička představuje momentální pozici a natočení kreslicího pera na plátně, přijímá příkazy pro pohyb, pohyb s kreslením, otočení apod., může používat zásobník, pak přijímá také příkazy pro uložení konfigurace do zásobníku a znovunačtení ze zásobníku, náhodné výstupy jsou zajišt ovány přidáním stochastických podmínek k vývojovým pravidlům.

Motivace Grafika 2D Turtle L-systémy se používají také v jednoduchém grafickém modelování, želvička představuje momentální pozici a natočení kreslicího pera na plátně, přijímá příkazy pro pohyb, pohyb s kreslením, otočení apod., může používat zásobník, pak přijímá také příkazy pro uložení konfigurace do zásobníku a znovunačtení ze zásobníku, náhodné výstupy jsou zajišt ovány přidáním stochastických podmínek k vývojovým pravidlům.

Motivace Grafika 2D Turtle L-systémy se používají také v jednoduchém grafickém modelování, želvička představuje momentální pozici a natočení kreslicího pera na plátně, přijímá příkazy pro pohyb, pohyb s kreslením, otočení apod., může používat zásobník, pak přijímá také příkazy pro uložení konfigurace do zásobníku a znovunačtení ze zásobníku, náhodné výstupy jsou zajišt ovány přidáním stochastických podmínek k vývojovým pravidlům.

Agenty Použití eko-kolonií = způsob zajištění náhodnosti výstupů, chyba šířící se od místa svého vzniku dále Úprava definic 1 Úprava agentů: jazyky agentů jsou pouze jednoprvkové a agenty mohou generovat svůj startovací symbol, tj. A = (S, {f}), S V, f V, zapisujeme S f. 2 Úprava wp módu odvození: každý agent hledá svůj startovací symbol v prostředí náhodně (random), ale počet pokusů o nalezení je omezen konstantní hodnotou.

Agenty Použití eko-kolonií = způsob zajištění náhodnosti výstupů, chyba šířící se od místa svého vzniku dále Úprava definic 1 Úprava agentů: jazyky agentů jsou pouze jednoprvkové a agenty mohou generovat svůj startovací symbol, tj. A = (S, {f}), S V, f V, zapisujeme S f. 2 Úprava wp módu odvození: každý agent hledá svůj startovací symbol v prostředí náhodně (random), ale počet pokusů o nalezení je omezen konstantní hodnotou.

Agenty Použití eko-kolonií = způsob zajištění náhodnosti výstupů, chyba šířící se od místa svého vzniku dále Úprava definic 1 Úprava agentů: jazyky agentů jsou pouze jednoprvkové a agenty mohou generovat svůj startovací symbol, tj. A = (S, {f}), S V, f V, zapisujeme S f. 2 Úprava wp módu odvození: každý agent hledá svůj startovací symbol v prostředí náhodně (random), ale počet pokusů o nalezení je omezen konstantní hodnotou.

Náhodnost výstupů

Co je již hotovo Závěr zkoumání generativní síly eko-kolonií, pro některé vztahy ještě není zúplněno, v ukázkových příkladech jsou demonstrovány některé zajímavé vlastnosti eko-kolonií, které lze případně dále rozpracovat a použít v dalších důkazech, algoritmy pro využití v jednoduchém grafickém modelování. Co ještě zbývá udělat uzavření dalších vztahů eko-kolonií k dalším systémům vzhledem ke generativní síle, hledání dalších možností využití eko-kolonií a případné zdokonalení programu L Systémy.

Co je již hotovo Závěr zkoumání generativní síly eko-kolonií, pro některé vztahy ještě není zúplněno, v ukázkových příkladech jsou demonstrovány některé zajímavé vlastnosti eko-kolonií, které lze případně dále rozpracovat a použít v dalších důkazech, algoritmy pro využití v jednoduchém grafickém modelování. Co ještě zbývá udělat uzavření dalších vztahů eko-kolonií k dalším systémům vzhledem ke generativní síle, hledání dalších možností využití eko-kolonií a případné zdokonalení programu L Systémy.

Děkuji za pozornost.