220 likes | 375 Views
Eko-kolonie. Šárka Vavrečková Ústav informatiky FPF SU, Opava sarka.vavreckova@fpf.slu.cz. Kolonie. Eko-gramatick é systémy. Eko-k olonie. Ústav informatiky, FPF SU, Opava. Kolonie:. B, {bAb,cc,d}. A, {aBa, }. komponenty. působí na. prostředí. ab A baccbaBabba B ab.
E N D
Eko-kolonie Šárka Vavrečková Ústav informatiky FPF SU, Opava sarka.vavreckova@fpf.slu.cz
Kolonie Eko-gramatickésystémy Eko-kolonie Ústav informatiky, FPF SU, Opava
Kolonie: B, {bAb,cc,d} A, {aBa,} komponenty působí na prostředí abAbaccbaBabbaBab abaBabaccbaBabbaccab Ústav informatiky, FPF SU, Opava
Kolonie – definice: C =(V,T,R), kde • V je abeceda systému • T je terminální abeceda, TV • R je množina komponent ve tvaru (Si,Fi), kde • Si Vje startovací symbol komponenty, • Fi je jazyk komponenty nad abecedou (V-{Si}) • w0 označujeme axiom kolonie Ústav informatiky, FPF SU, Opava
Eko-gramatické systémy: Agent A2 Agent A1 vývojová pravidla agenta P1 P2 působí na prostředí agenta w1 w2 určuje akční pravidla agenta R1 R2 působí na prostředí wE vývojová pravidla prostředí PE
Eko-gramatické systémy – definice: =(E,A1,A2,…,An), kde • E=(VE,PE) je prostředí – 0L-schéma • Ai jsou agenty • (w0,w1,w2,…,wn) je počáteční konfigurace Ústav informatiky, FPF SU, Opava
Eko-gramatické systémy – definice: =(E,A1,A2,…,An), kde • Ai=(Vi,Pi,Ri,,) je i-tý agent, kde • Pi jsou vývojová pravidla agenta • (Vi,(Pi)) je 0L-schéma určující vývoj agenta • Ri je množina akčních pravidel agenta • (Ri) je množina akčních pravidel, která mohou být agentem použita v prostředí • a jsou vypočitatelné funkce Ústav informatiky, FPF SU, Opava
Eko-kolonie – základní princip: • Agenty jsou definovány stejně jako komponenty kolonie, nemají vlastní prostředí (stav), mají pouze jediný startovací symbol. • Prostředí se může vyvíjet jako u eko-gramatických systémů. • Ovlivňování agentů prostředím není dovoleno, pouze agenty mohou ovlivňovat prostředí. Ústav informatiky, FPF SU, Opava
Eko-kolonie – prostředí: • Kolonie: zvlášť definována terminální abeceda (výsledkem práce kolonie není vše, co se ocitne v prostředí, ale jen to, co se skládá pouze z terminálních symbolů) • Eko-gramatické systémy: je jediná abeceda (výsledkem práce je cokoliv, co se ocitne v prostředí, prostředí je 0L-schéma) Ústav informatiky, FPF SU, Opava
Eko-kolonie – prostředí: Dva základní typy • 0L eko-kolonie: Prostředí je 0L-schéma (pouze abeceda systému, jako u eko-gramatických systémů) • E0L eko-kolonie: Prostředí je E0L-schéma (abeceda systému a terminální abeceda, jako u kolonií) Ústav informatiky, FPF SU, Opava
0L eko-kolonie: =(E,A1,A2,…,An), kde • E=(V,P) je prostředí – 0L-schéma • Ai=(Si,Ri) je i-tý agent, kde • Si je startovací symbol agenta, • Fi je jazyk agenta nad abecedou (V-{Si}) • w0 je axiom systému Ústav informatiky, FPF SU, Opava
E0L eko-kolonie: =(E,A1,A2,…,An), kde • E=(V,T,P) je prostředí – E0L-schéma • Ai=(Si,Ri) je i-tý agent, kde • Si je startovací symbol agenta, • Fi je jazyk agenta, Fi(V-{Si})* • w0 je axiom systému Ústav informatiky, FPF SU, Opava
Krok odvození: • Kolonie: • sekvenční (b – basic mode) • sekvenčně paralelní (t – terminal mode) • slabý paralelismus (wp – weakly parallel mode) • silný paralelismus (sp – strongly parallel mode) • atd. Ústav informatiky, FPF SU, Opava
Krok odvození: • Eko-gramatické systémy: • agenty i prostředí pracují paralelně Ústav informatiky, FPF SU, Opava
Krok odvození: • Eko-kolonie: • paralelní, agent pracuje, pokud může pracovat (wp – weakly parallel mode) • vychází ze slabého paralelismu u kolonií • paralelní, agent musí pracovat v každém kroku (ap – all are working parallely) • vychází z kroku odvození u eko-gramatických systémů Ústav informatiky, FPF SU, Opava
Použité značení: EC0w EC0a ECEw ECEa … třída jazyků generovaných 0L eko-koloniemi s typem odvozování wp … … 0L eko-koloniemi s typem odvozování ap … … E0L eko-koloniemi s typem odvozování wp … … E0L eko-koloniemi s typem odvozování ap Ústav informatiky, FPF SU, Opava
Použité značení: … třída jazyků generovaných koloniemi s typem odvozování b … … koloniemi s typem odvozování wp … … koloniemi s typem odvozování sp … … koloniemi s typem odvozování x{b, wp, sp} a terminální abecedou shodnou s abecedou systému … třída jazyků generovaných eko-gramatickými systémy Ústav informatiky, FPF SU, Opava
Generativní síla 0L eko-kolonií: Ústav informatiky, FPF SU, Opava
Generativní síla 0L eko-kolonií: Ústav informatiky, FPF SU, Opava
Generativní síla 0L eko-kolonií: Ústav informatiky, FPF SU, Opava
Děkuji za pozornost. Ústav informatiky, FPF SU, Opava