Eko-kolonieEko-kolonie
Šárka VavrečkováŠárka Vavrečková
Ústav informatiky FPF SU, Ústav informatiky FPF SU, OpavaOpava
[email protected]@fpf.slu.cz
KolonieKolonieEko-Eko-
gramatickgramatickéésystémysystémy
Eko-Eko-kkolonieolonie
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Kolonie:Kolonie:
A,{aBa,}
B,{bAb,cc,d}
abAbaccbaBabbaBab abaBabaccbaBabbaccab
komponenty
prostředí
působí na
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Kolonie – definice:Kolonie – definice:
VV je abeceda s je abeceda systémuystému TT je terminální abeceda, je terminální abeceda, TTVV RR je množina komponent je množina komponent ve tvaru ve tvaru ( (SSii,, FFii), ), kdekde
SSii VV je startovacje startovací symbol komponenty,í symbol komponenty,
FFii je jazyk komponenty nad abecedou ( je jazyk komponenty nad abecedou (VV--{{SSii})})
ww00 označujeme axiom kolonie označujeme axiom kolonie
C C ==((VV,,TT,,RR), kde), kde
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Eko-gramatické systémy:Eko-gramatické systémy:
P1
w1
R1
Agent A1 Agent A2
wE
PE
P2
w2
R2
vývojová pravidlaagenta
prostředí agenta
akční pravidlaagenta
prostředí
vývojová pravidlaprostředí
působí na
určuje
působí na
1 2
1 2
Eko-gramatické systémy – Eko-gramatické systémy – definice: definice:
EE=(=(VVEE,,PPEE) je prost) je prostředí – 0L-schémaředí – 0L-schéma
AAii jsou agenty jsou agenty
((ww00,,ww11,,ww22,…,,…,wwnn) je po) je počáteční konfiguracečáteční konfigurace
==((E,AE,A11,A,A22,…,A,…,Ann), kde), kde
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Eko-gramatické systémy – Eko-gramatické systémy – definice: definice:
AAii==((VVii,,PPii,,RRii,, ,, ) je i-t) je i-tý agent, kdeý agent, kde PPii jsou vývojová pravidla agenta jsou vývojová pravidla agenta
((VVii,, ((PPii))) je 0L-) je 0L-sschchéma určující vývoj éma určující vývoj agentaagenta
RRii je množina akčních pravidel agenta je množina akčních pravidel agenta
((RRii) je množina akčních pravidel, která ) je množina akčních pravidel, která mohou být agentem použita v prostředímohou být agentem použita v prostředí
a jsou vypočitatelné funkcea jsou vypočitatelné funkce
==((E,AE,A11,A,A22,…,A,…,Ann), kde), kde
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Eko-kolonie – základní Eko-kolonie – základní princip:princip: AgentyAgenty jsou definovány stejně jako jsou definovány stejně jako
komponenty kolonie, nemají vlastní komponenty kolonie, nemají vlastní prostředí (stav), mají pouze jediný prostředí (stav), mají pouze jediný startovací symbol.startovací symbol.
ProstředíProstředí se může vyvíjet jako u se může vyvíjet jako u eko-gramatických systémů.eko-gramatických systémů.
OvlivňováníOvlivňování agentů prostředím není agentů prostředím není dovoleno, pouze agenty mohou dovoleno, pouze agenty mohou ovlivňovat prostředí.ovlivňovat prostředí.
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Eko-kolonie – prostředí:Eko-kolonie – prostředí:
KolonieKolonie: zvlášť definována : zvlášť definována terminální abeceda (výsledkem terminální abeceda (výsledkem práce kolonie není vše, co se ocitne v práce kolonie není vše, co se ocitne v prostředí, ale jen to, co se skládá prostředí, ale jen to, co se skládá pouze z terminálních symbolů)pouze z terminálních symbolů)
Eko-gramatické systémyEko-gramatické systémy: je jediná : je jediná abeceda (výsledkem práce je cokoliv, abeceda (výsledkem práce je cokoliv, co se ocitne v prostředí, co se ocitne v prostředí, prostředí je 0L-schéma)prostředí je 0L-schéma)
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Eko-kolonie – prostředí:Eko-kolonie – prostředí:
Dva základní typyDva základní typy
0L eko-kolonie0L eko-kolonie: Prostředí je 0L-: Prostředí je 0L-schéma (pouze abeceda systému, schéma (pouze abeceda systému, jako u eko-gramatických systémů)jako u eko-gramatických systémů)
E0L eko-kolonieE0L eko-kolonie: Prostředí je E0L-: Prostředí je E0L-schéma (abeceda systému a schéma (abeceda systému a terminální abeceda, jako u terminální abeceda, jako u kolonií)kolonií)
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
0L eko-kolonie:0L eko-kolonie:
EE=(=(VV,,PP) je prost) je prostředí – 0L-schémaředí – 0L-schéma AAii==((SSii,,RRii) je i-t) je i-tý agent, kdeý agent, kde
SSii je startovací symbol agenta, je startovací symbol agenta,
FFii je jazyk agenta nad abecedou je jazyk agenta nad abecedou ((VV--{{SSii})})
ww00 je je axiom systémuaxiom systému
==((EE,,AA11,,AA22,…,,…,AAnn), kde), kde
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
E0L eko-kolonie:E0L eko-kolonie:
EE=(=(VV,,TT,,PP) je prost) je prostředí – E0L-ředí – E0L-schémaschéma
AAii==((SSii,,RRii) je i-t) je i-tý agent, kdeý agent, kde SSii je startovací symbol agenta, je startovací symbol agenta,
FFii je jazyk agenta, je jazyk agenta, FFii((VV--{{SSii})})**
ww00 je je axiom systémuaxiom systému
==((EE,,AA11,,AA22,…,,…,AAnn), kde), kde
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Krok odvození:Krok odvození:
Kolonie:Kolonie: sekvenční (sekvenční (bb – basic mode) – basic mode) sekvenčně paralelní (sekvenčně paralelní (tt – terminal mode) – terminal mode) slabý paralelismus (slabý paralelismus (wpwp – weakly parallel – weakly parallel
mode)mode) silný paralelismus (silný paralelismus (spsp – strongly – strongly
parallel mode)parallel mode) atd.atd.
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Krok odvození:Krok odvození:
Eko-gramatické systémy:Eko-gramatické systémy: agenty i prostředí pracují paralelněagenty i prostředí pracují paralelně
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Krok odvození:Krok odvození:
Eko-kolonie:Eko-kolonie: paralelní, agent pracuje, pokud může paralelní, agent pracuje, pokud může
pracovat (pracovat (wpwp – weakly parallel mode) – weakly parallel mode)vychází ze slabého paralelismu u vychází ze slabého paralelismu u koloniíkolonií
paralelní, agent musí pracovat v každém paralelní, agent musí pracovat v každém kroku (kroku (apap – all are working parallely) – all are working parallely)vychází z kroku odvození u eko-vychází z kroku odvození u eko-gramatických systémůgramatických systémů
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Použité značení:Použité značení:
ECEC0w0w
ECEC0a0a
ECECEwEw
ECECEaEa
… … třída jazyků generovaných 0L eko-třída jazyků generovaných 0L eko-koloniemi koloniemi
s typem odvozování s typem odvozování wpwp
… … … … 0L eko-koloniemi s typem odvozování 0L eko-koloniemi s typem odvozování apap
… … … … E0L eko-koloniemi s typem E0L eko-koloniemi s typem
odvozování odvozování wpwp
… … … … EE0L eko-koloniemi s typem 0L eko-koloniemi s typem
odvozování odvozování apap
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Použité značení:Použité značení:
… … třída jazyků generovaných koloniemi třída jazyků generovaných koloniemi
s typem odvozování s typem odvozování bb
… … … … koloniemi s typem odvozování koloniemi s typem odvozování wpwp
… … … … koloniemi s typem odvozování koloniemi s typem odvozování spsp
… … … … koloniemi s typem odvozování koloniemi s typem odvozování xx {{bb, , wpwp, , spsp}}
a termina terminální abecedou shodnou s abecedouální abecedou shodnou s abecedou
systémusystému
… … třída jazyků generovaných eko-gramatickýmitřída jazyků generovaných eko-gramatickými
systémysystémy
spCOL
wpCOL
TxCOL
bCOL
EG
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Generativní síla 0L eko-Generativní síla 0L eko-kolonií:kolonií:
wTb ECCOL 0
wTwp ECCOL 0
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Generativní síla 0L eko-Generativní síla 0L eko-kolonií:kolonií:
wa ECEC 00
wa ECEC 00
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Generativní síla 0L eko-Generativní síla 0L eko-kolonií:kolonií:
EGEC a 0
EGEC w 0
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava
Generativní síla 0L eko-Generativní síla 0L eko-kolonií:kolonií:
aEC0wEC0 bCOL TbCOLtCOL TtCOLwpCOL TwpCOLspCOLaEC0
wEC0
ECEC0w0w ECEC0a0a
ECEC0w0w
ECEC0a0a
bCOL tCOL wpCOL spCOL
EGEG
ECEC0w0w
ECEC0a0a
TbCOL T
tCOL TwpCOL T
spCOL
DDěkuji ěkuji za pozornost.za pozornost.
Ústav informatiky, FPF SU, OpavaÚstav informatiky, FPF SU, Opava