Hierarchy of pushdown graphs

Transcription

1 Hierrchy o pushdown grphs Didier Cucl CNRS / LIGM University Pris- Est Frnce

2 The hierrchy o pushdown grphs recursive trnsition grphs Corresponding hierrchies o lnguges, terms, ordinls, ininite words higher order recursive schemes Didier Cucl Pushdown grphs

3 Grphs lphet L o edge lels lphet C o vertex lels: colours Grph : G V L V C V on n rritrry countle set V o vertices Didier Cucl Pushdown grphs

4 A hierrchy o grph milies 2002 Two sic grph opertions: unolding nd pth unctions Didier Cucl Pushdown grphs

5 Unolding i i i Didier Cucl Pushdown grphs

6 Pth unctions set Exp o pth expressions C L {ε} Exp or ny u,v Exp pth s u, u v, u +, u, u v, u v Exp u G t or u Exp Didier Cucl Pushdown grphs

7 s s s t or (s,,t) G c t or s = t (c,s) G ε t or s = t s u t or t u s s u v t or r (s s u+ t or s ( ) u + t s u t or (s s u v t or s u r r u t) u t s v t v t) For instnce s ε t mens tht s = t s Didier Cucl Pushdown grphs

8 Pth unction h : L C Exp pplied y inverse on grph G h (G) = { (s,,t) s h() G h() t } { (c,s) s h(c) s } G c s t s h(c) Didier Cucl Pushdown grphs

9 Inverse pth unction i i i Didier Cucl Pushdown grphs

10 Inverse pth unction c i c i c i Didier Cucl Pushdown grphs

11 Inverse pth unction c (i + not( )) c i i c i Didier Cucl Pushdown grphs

12 Inverse pth unction c d i (i + not( )) i + not( ) c c i i d i d i Didier Cucl Pushdown grphs

13 Inverse pth unction c i (i + not( )) c d d c d i i + not( ) Didier Cucl Pushdown grphs

14 Unolding i c d c d c d c d c d c d c d c d c d c d c d Didier Cucl Pushdown grphs

15 Inverse pth unction i Didier Cucl Pushdown grphs

16 A hierrchy o grph milies Tree0 = mily o inite trees Grphn = Pth -1 (Treen) Treen+1 = Un(Grphn) Didier Cucl Pushdown grphs

17 A hierrchy o grph milies Finite trees Pth Finite grphs Tree 0 Regulr trees Tree 1 Un Pth Un Grph 0 Equtionl grphs Grph 1 Algeric trees Tree 2 Pth Grph 2 Didier Cucl Pushdown grphs

18 VR-equtionl grphs Courcelle 1989 Sme hierrchy Pth unctions = regulr sustitutions Exp = set o regulr expressions or L ; u v, u +, u v or u,v Exp Pth = mondic interprettions Su-hierrchy o inite degree grphs Pth unctions = inite sustitutions Didier Cucl grph 1 = HR-equtionl grphs Courcelle 89 Pushdown grphs

19 Tree(g) or some integer mpping g i n g(0) g(n) n g(n) Tree(2 n ) Grph 2 Tree(n!), Tree(2 2n ) Grph 3 Tree(2 n) hierrchy Didier Cucl Pushdown grphs

20 Genertors For ech level n ind genn Grphn such tht Grphn = Pth (genn) Didier Cucl Pushdown grphs

21 Grph itertion Shelh, Stupp 1975 G Proposition with Knpik 2011 The itertion opertion preserves Grphn or ech n > 0 Didier Cucl Pushdown grphs

22 Tree-grph G Proposition Colcomet 04, Cryol, Wöhrle 03 TreeGrph(Grphn) Grphn+1 Didier Cucl Pushdown grphs

23 Theorem Muchnik 1984, Wlukiewicz 1996 The tree-grph opertion preserves the decidility o the mondic theory Corollry Courcelle Wlukiewicz 1998 The unolding opertion preserves the decidility o the mondic theory Corollry Didier Cucl Any grph o the hierrchy hs decidle mondic theory Pushdown grphs

24 Genertors Grphn+1 = Pth -1 (Un(Grphn Det CoDet)) = Pth -1 (genn+1) genn+1 Treen+1 Det Didier Cucl Pushdown grphs

25 Tree genertor t level 1 Didier Cucl Pushdown grphs

26 Grph genertor t level Didier Cucl Pushdown grphs

27 Tree genertor t level Didier Cucl Pushdown grphs

28 Higher order pushdown utomt Theorem Cryol 2006 Grphn = ε-closure((pdn) Reg) = i Wi(Ui i Vi) pusdown hierrchy Didier Cucl Pushdown grphs

29 Hierrchies o lnguges ordinls ininite words terms Didier Cucl Pushdown grphs

30 A hierrchy o lnguges Finite grphs Trce Regulr lnguges Grph 0 Index 0 Equtionl grphs Trce Context ree lnguges Grph1 Index 1 Grph 2 Trce Indexed lnguges Index 2 Trce Level 2 indexed lnguges Grph 3 Index 3 Indexed lnguges Aho 1968 The hierrchy o indexed lnguges Mslov 1974 Didier Cucl Pushdown grphs

31 Proposition Mslov 1976 For ech n 0, the lnguge mily Indexn is closed under intersection y ny regulr lnguge inverse regulr sustitution Indexn sustitution Didier Cucl Pushdown grphs

32 The hierrchy on ordinls Ordinl ω +1 : trnsitive closure o Theorem Brud 2009 For ech n, the ordinls in Grphn re the ordinls < ω (n+1) Grphω? ǫ 0? MSO? Didier Cucl Pushdown grphs

33 The hierrchy on ininite words Equtionl grphs Ult. periodic words Grph 1 In 1 Grph2 Morphic words In 2 Grph 3 Morphic words t level 2 In 3 Level 2 morphic words: Chmpernowne numer The Liouville numer: 10 i! =, i 1 Didier Cucl Pushdown grphs

34 Questions chrcterize morphic words t level 2 or α = 0,u with u In n nd n > 0 is α rtionl or trnscendentl numer? is 2 in the hierrchy? Didier Cucl Pushdown grphs

35 The hierrchy on terms By irst order sustitutions Theorem 2002 Treen+1 Term = Sustn Courcelle, Knpik 2002 Sust0 = regulr terms Sustn+1 = Se,u (Sustn) Didier Cucl u word o distinct constnts e symol o rity u +1 Pushdown grphs

36 First order sustitution (evlution) unction e constnt word x y e y x y Didier Cucl Pushdown grphs

37 Finite terms S e,u (e t 0 t 1... t n ) = S e,u (t 0 ) [S e,u (t 1 )/u(1),...,s e,u (t n )/u(n)] S e,u ( t 1... t m ) = S e,u (t 1 )...S e,u (t m ) Ininite terms S e,u (t) = sup n S e,u (t n Ω ) without Ω Didier Cucl Pushdown grphs

38 The hierrchy on terms By higher order schemes Dmm 1982 Scheme t level 0 S R ; F F g S Solution R ω g g g Didier Cucl Pushdown grphs

39 Scheme t level 1 Nivt 1975, Guessrin 1987, Courcelle 1990 R S F ; F x x F g Solution x R ω g g g Didier Cucl Pushdown grphs

40 Scheme t level 2 F F S ; g R x G x F F : ( 0 0 ) 0 0 G Solution R ω x g g g Didier Cucl Pushdown grphs

41 Sety condition: scope o vriles Dmm 1982 x 1 F Unse scheme x n No level( x i ) < level( s ) x i s R F S ; g G F x x F G Solution R ω g t n+2 = t t n n+1 x x t 2 Didier Cucl t 3 Pushdown grphs

42 Theorem 2002 Treen+1 Term = SeSchemen Knpik, Niwiński, Urzyczyn 2002 Any se scheme R t level n+1 is trnsormed into se scheme S t level n such tht R ω = Un(h (S ω ),r) or some pth unction h Didier Cucl Pushdown grphs

43 Conjecture The non rtionl lgeric numers re not in the pushdown hierrchy Didier Cucl Pushdown grphs