String-distributing systems Top-Down / Bottom-Up Ing. Zbyněk Křivka Školitel: Doc. Alexander Meduna
Stručná definice Čtveřice M = (Q, , s, R), kde # , s Q Rodina systémů s řízeným přepisováním Pravidla – „ bezkontextová“ + index + stavy –Např. p 1 # → q a#bb#a –R Q I {#} Q * –I = {1, 2, …, n}, n N … „konečný index“ Speciální symbol # – „neterminál“ Stavy – umožňují odlišit jednotlivé značky # M je k-limitovaný, jestliže p n # → qx n k. Diskuse: Zavést koncové stavy?
Příklad L = {a n b n c n | n > 0} SDSTD = ({s,p,q,f}, {a,b,c,#}, s, R) R = { 1)s 1 # → p ## 2)p 1 # → q a#b 3)q 2 # → p #c 4)p 1 # → f ab 5)f 1 # → f c } 2-limitovaný SDS (I = {1, 2}, k = 2)
Příklad derivace věty „aabbcc“ Top-Down (derivace) Konfigurace = řetězec Q *; [použité pravidlo] s# [s 1 #→p##] … počáteční konfigurace (TD) p## [p 1 #→qa#b] qa#b# [q 2 #→p#c] pa#b#c [p 1 #→fab] faabb#c [f 1 #→fc] faabbcc … koncová konfigurace (TD)
Současný cíl/směr Ukázat nekonečnou hierarchii: SDS 1 SDS 2 SDS 3 … SDS n Pro důkaz využijeme: –Programovatelné gramatiky s konečným indexem –Sestrojení algoritmu pro vzájemné převody SDS I a PR I. Přínos: „odstranění neterminálů“