String-distributing systems Top-Down / Bottom-Up Ing. Zbyněk Křivka Školitel: Doc. Alexander Meduna.

Prezentace na téma: "String-distributing systems Top-Down / Bottom-Up Ing. Zbyněk Křivka Školitel: Doc. Alexander Meduna."— Transkript prezentace:

1 String-distributing systems Top-Down / Bottom-Up Ing. Zbyněk Křivka Školitel: Doc. Alexander Meduna

2 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?

3 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)

4 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)

5 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ů“