Classes of Rational Graphs Christophe Morvan Irisa Journ ees - - PowerPoint PPT Presentation

classes of rational graphs
SMART_READER_LITE
LIVE PREVIEW

Classes of Rational Graphs Christophe Morvan Irisa Journ ees - - PowerPoint PPT Presentation

Classes of Rational Graphs Classes of Rational Graphs Christophe Morvan Irisa Journ ees Montoises 2006 1/25 Classes of Rational Graphs Plan 1 Definitions Notations Rational Graphs 2 Structure defined families Deterministic Rational


slide-1
SLIDE 1

Classes of Rational Graphs

Classes of Rational Graphs

Christophe Morvan

Irisa

Journ´ ees Montoises 2006

1/25

slide-2
SLIDE 2

Classes of Rational Graphs

Plan

1 Definitions

Notations Rational Graphs

2 Structure defined families

Deterministic Rational Graphs Rational Trees Rational DAG

3 Automata defined families

Automatic Graphs Monotonous Rational Graphs Commutative Rational Graphs

4 Conclusion and future works

2/25

slide-3
SLIDE 3

Classes of Rational Graphs

Plan

1 Definitions

Notations Rational Graphs

2 Structure defined families

Deterministic Rational Graphs Rational Trees Rational DAG

3 Automata defined families

Automatic Graphs Monotonous Rational Graphs Commutative Rational Graphs

4 Conclusion and future works

2/25

slide-4
SLIDE 4

Classes of Rational Graphs

Plan

1 Definitions

Notations Rational Graphs

2 Structure defined families

Deterministic Rational Graphs Rational Trees Rational DAG

3 Automata defined families

Automatic Graphs Monotonous Rational Graphs Commutative Rational Graphs

4 Conclusion and future works

2/25

slide-5
SLIDE 5

Classes of Rational Graphs

Plan

1 Definitions

Notations Rational Graphs

2 Structure defined families

Deterministic Rational Graphs Rational Trees Rational DAG

3 Automata defined families

Automatic Graphs Monotonous Rational Graphs Commutative Rational Graphs

4 Conclusion and future works

2/25

slide-6
SLIDE 6

Classes of Rational Graphs Definitions

Plan

1 Definitions

Notations Rational Graphs

2 Structure defined families

Deterministic Rational Graphs Rational Trees Rational DAG

3 Automata defined families

Automatic Graphs Monotonous Rational Graphs Commutative Rational Graphs

4 Conclusion and future works

3/25

slide-7
SLIDE 7

Classes of Rational Graphs Definitions Notations

Graphs

Graphs A graphe G is a subset of V × A × V

  • V is an arbitrary set of vertices
  • A is a finite set of labels

Conventions (u, a, v) is denoted by u

a

− →v For rational graphs V := X ∗ (X some finite alphabet)

4/25

slide-8
SLIDE 8

Classes of Rational Graphs Definitions Notations

Graphs

Graphs A graphe G is a subset of V × A × V

  • V is an arbitrary set of vertices
  • A is a finite set of labels

Conventions (u, a, v) is denoted by u

a

− →v For rational graphs V := X ∗ (X some finite alphabet)

4/25

slide-9
SLIDE 9

Classes of Rational Graphs Definitions Notations

Graphs

Graphs A graphe G is a subset of V × A × V

  • V is an arbitrary set of vertices
  • A is a finite set of labels

Conventions (u, a, v) is denoted by u

a

− →v For rational graphs V := X ∗ (X some finite alphabet)

4/25

slide-10
SLIDE 10

Classes of Rational Graphs Definitions Notations

Graphs

Graphs A graphe G is a subset of V × A × V

  • V is an arbitrary set of vertices
  • A is a finite set of labels

Conventions (u, a, v) is denoted by u

a

− →v For rational graphs V := X ∗ (X some finite alphabet)

4/25

slide-11
SLIDE 11

Classes of Rational Graphs Definitions Notations

Graphs

Graphs A graphe G is a subset of V × A × V

  • V is an arbitrary set of vertices
  • A is a finite set of labels

Conventions (u, a, v) is denoted by u

a

− →v For rational graphs V := X ∗ (X some finite alphabet)

4/25

slide-12
SLIDE 12

Classes of Rational Graphs Definitions Rational Graphs

Rational graphs

Definition A rational graph is defined by a rational transducer

ε A 1 00 01 11 000 001 011 111 a a a b b b b b b c c c p q1 q2 r1 r2 r3 a b c ε/0 0/1 1/A 1/ε 1/1 0/0 0/1 0/0 1/1 0/0 1/1

5/25

slide-13
SLIDE 13

Classes of Rational Graphs Definitions Rational Graphs

Rational graphs

Definition A rational graph is defined by a rational transducer

ε A 1 00 01 11 000 001 011 111 a a a b b b b b b c c c p q1 q2 r1 r2 r3 a b c ε/0 0/1 1/A 1/ε 1/1 0/0 0/1 0/0 1/1 0/0 1/1

5/25

slide-14
SLIDE 14

Classes of Rational Graphs Definitions Rational Graphs

Rational graphs

Definition A rational graph is defined by a rational transducer

ε A 1 00 01 11 000 001 011 111 a a a b b b b b b c c c p q1 q2 r1 r2 r3 a b c ε/0 0/1 1/A 1/ε 1/1 0/0 0/1 0/0 1/1 0/0 1/1

5/25

slide-15
SLIDE 15

Classes of Rational Graphs Definitions Rational Graphs

Rational graphs

Definition A rational graph is defined by a rational transducer

ε A 1 00 01 11 000 001 011 111 a a a b b b b b b c c c p q1 q2 r1 r2 r3 a b c ε/0 0/1 1/A 1/ε 1/1 0/0 0/1 0/0 1/1 0/0 1/1

5/25

slide-16
SLIDE 16

Classes of Rational Graphs Definitions Rational Graphs

Rational graphs

Definition A rational graph is defined by a rational transducer

ε A 1 00 01 11 000 001 011 111 a a a b b b b b b c c c p q1 q2 r1 r2 r3 a b c ε/0 0/1 1/A 1/ε 1/1 0/0 0/1 0/0 1/1 0/0 1/1

5/25

slide-17
SLIDE 17

Classes of Rational Graphs Definitions Rational Graphs

Classical questions

Proposition Following properties are undecidable for rational graphs: (i) Accessibility (between two vertices); (ii) Connectedness (of the whole graph); (iii) Isomorphism (of two graphs); (iv) First order theory (of a rational graph).

6/25

slide-18
SLIDE 18

Classes of Rational Graphs Definitions Rational Graphs

Traces

Example (traces)

ε A 1 00 01 11 000 001 011 111 a a a b b b b b b c c c

Theorem (Morvan Stirling 01) The traces of rational graphs between two vertices coincide with the context sensitive languages.

7/25

slide-19
SLIDE 19

Classes of Rational Graphs Definitions Rational Graphs

Traces

Example (traces)

ε A 1 00 01 11 000 001 011 111 a a a b b b b b b c c c

The trace of this graph between ε and A is {anbncn | n ∈ N} Tr(G, ε, A) = {anbncn | n ∈ N} Theorem (Morvan Stirling 01) The traces of rational graphs between two vertices coincide with the context sensitive languages.

7/25

slide-20
SLIDE 20

Classes of Rational Graphs Definitions Rational Graphs

Traces

Example (traces)

ε A 1 00 01 11 000 001 011 111 a a a b b b b b b c c c

The trace of this graph between ε and A is {anbncn | n ∈ N} Tr(G, ε, A) = {anbncn | n ∈ N} Theorem (Morvan Stirling 01) The traces of rational graphs between two vertices coincide with the context sensitive languages.

7/25

slide-21
SLIDE 21

Classes of Rational Graphs Structure defined families

Plan

1 Definitions

Notations Rational Graphs

2 Structure defined families

Deterministic Rational Graphs Rational Trees Rational DAG

3 Automata defined families

Automatic Graphs Monotonous Rational Graphs Commutative Rational Graphs

4 Conclusion and future works

8/25

slide-22
SLIDE 22

Classes of Rational Graphs Structure defined families Deterministic Rational Graphs

Deterministic Rational Graphs

Definition A rational graph is deterministic if each vertex is the source of at most on arc for each label Proposition Determinism is decidable for rational graphs Proposition First order theory and accessibility are undecidable for deterministic rational graphs

9/25

slide-23
SLIDE 23

Classes of Rational Graphs Structure defined families Deterministic Rational Graphs

Deterministic Rational Graphs

Definition A rational graph is deterministic if each vertex is the source of at most on arc for each label Proposition Determinism is decidable for rational graphs Proposition First order theory and accessibility are undecidable for deterministic rational graphs

9/25

slide-24
SLIDE 24

Classes of Rational Graphs Structure defined families Deterministic Rational Graphs

Deterministic Rational Graphs

Definition A rational graph is deterministic if each vertex is the source of at most on arc for each label Proposition Determinism is decidable for rational graphs Proposition First order theory and accessibility are undecidable for deterministic rational graphs

9/25

slide-25
SLIDE 25

Classes of Rational Graphs Structure defined families Deterministic Rational Graphs

Traces

Proposition The traces of deterministic rational graphs form a boolean algebra

  • f deterministic context-sensitive languages containing non

context-free languages. Question Are there context-free languages not contained in the traces of deterministic rational graphs?

10/25

slide-26
SLIDE 26

Classes of Rational Graphs Structure defined families Deterministic Rational Graphs

Traces

Proposition The traces of deterministic rational graphs form a boolean algebra

  • f deterministic context-sensitive languages containing non

context-free languages. Question Are there context-free languages not contained in the traces of deterministic rational graphs?

10/25

slide-27
SLIDE 27

Classes of Rational Graphs Structure defined families Deterministic Rational Graphs

Traces

Proposition The traces of deterministic rational graphs form a boolean algebra

  • f deterministic context-sensitive languages containing non

context-free languages. Question Are there context-free languages not contained in the traces of deterministic rational graphs?

10/25

slide-28
SLIDE 28

Classes of Rational Graphs Structure defined families Rational Trees

Rational Trees

Definition (Tree)

  • at most one ancestor per vertex

decidable

  • a single root

decidable

  • connected

undecidable

11/25

slide-29
SLIDE 29

Classes of Rational Graphs Structure defined families Rational Trees

Rational Trees

Definition (Tree)

  • at most one ancestor per vertex

decidable

  • a single root

decidable

  • connected

undecidable

11/25

slide-30
SLIDE 30

Classes of Rational Graphs Structure defined families Rational Trees

Rational Trees

Definition (Tree)

  • at most one ancestor per vertex

decidable

  • a single root

decidable

  • connected

undecidable

11/25

slide-31
SLIDE 31

Classes of Rational Graphs Structure defined families Rational Trees

A simple example - 2n-tree

p r1 a A/A0 0/0 r2 b A/ε 0/0 q r3 b ε/ε 0/1 1/0 1/1 0/0

12/25

slide-32
SLIDE 32

Classes of Rational Graphs Structure defined families Rational Trees

A simple example - 2n-tree

p r1 a A/A0 0/0 r2 b A/ε 0/0 q r3 b ε/ε 0/1 1/0 1/1 0/0 A A0 A00 A000 a a a

12/25

slide-33
SLIDE 33

Classes of Rational Graphs Structure defined families Rational Trees

A simple example - 2n-tree

p r1 a A/A0 0/0 r2 b A/ε 0/0 q r3 b ε/ε 0/1 1/0 1/1 0/0 A A0 A00 A000 a a a ε 00 000 b b b b

12/25

slide-34
SLIDE 34

Classes of Rational Graphs Structure defined families Rational Trees

A simple example - 2n-tree

p r1 a A/A0 0/0 r2 b A/ε 0/0 q r3 b ε/ε 0/1 1/0 1/1 0/0 A A0 A00 A000 a a a ε 00 000 b b b b 1 01 10 11 001 b b b b b

12/25

slide-35
SLIDE 35

Classes of Rational Graphs Structure defined families Rational Trees

Properties of rational trees

Proposition For rational trees

  • inclusion and equality is decidable
  • accessibility (between vertices) is decidable
  • effective rational set of leaves
  • some sub-trees are non-rational

Theorem (Carayol Morvan 06)

  • First order theory of rational trees decidable
  • First order theory with accessibility of rational trees

undecidable

13/25

slide-36
SLIDE 36

Classes of Rational Graphs Structure defined families Rational Trees

Properties of rational trees

Proposition For rational trees

  • inclusion and equality is decidable
  • accessibility (between vertices) is decidable
  • effective rational set of leaves
  • some sub-trees are non-rational

Theorem (Carayol Morvan 06)

  • First order theory of rational trees decidable
  • First order theory with accessibility of rational trees

undecidable

13/25

slide-37
SLIDE 37

Classes of Rational Graphs Structure defined families Rational Trees

Properties of rational trees

Proposition For rational trees

  • inclusion and equality is decidable
  • accessibility (between vertices) is decidable
  • effective rational set of leaves
  • some sub-trees are non-rational

Theorem (Carayol Morvan 06)

  • First order theory of rational trees decidable
  • First order theory with accessibility of rational trees

undecidable

13/25

slide-38
SLIDE 38

Classes of Rational Graphs Structure defined families Rational Trees

Properties of rational trees

Proposition For rational trees

  • inclusion and equality is decidable
  • accessibility (between vertices) is decidable
  • effective rational set of leaves
  • some sub-trees are non-rational

Theorem (Carayol Morvan 06)

  • First order theory of rational trees decidable
  • First order theory with accessibility of rational trees

undecidable

13/25

slide-39
SLIDE 39

Classes of Rational Graphs Structure defined families Rational Trees

Properties of rational trees

Proposition For rational trees

  • inclusion and equality is decidable
  • accessibility (between vertices) is decidable
  • effective rational set of leaves
  • some sub-trees are non-rational

Theorem (Carayol Morvan 06)

  • First order theory of rational trees decidable
  • First order theory with accessibility of rational trees

undecidable

13/25

slide-40
SLIDE 40

Classes of Rational Graphs Structure defined families Rational Trees

Properties of rational trees

Proposition For rational trees

  • inclusion and equality is decidable
  • accessibility (between vertices) is decidable
  • effective rational set of leaves
  • some sub-trees are non-rational

Theorem (Carayol Morvan 06)

  • First order theory of rational trees decidable
  • First order theory with accessibility of rational trees

undecidable

13/25

slide-41
SLIDE 41

Classes of Rational Graphs Structure defined families Rational Trees

Traces

Definition The trace of a tree is the set of path labels from the root to the leaves Conjecture There are context-free languages which are not the trace of any rational tree Example The set of words having the same number of a’s and b’s seems not to be the trace of any rational tree

14/25

slide-42
SLIDE 42

Classes of Rational Graphs Structure defined families Rational Trees

Traces

Definition The trace of a tree is the set of path labels from the root to the leaves Conjecture There are context-free languages which are not the trace of any rational tree Example The set of words having the same number of a’s and b’s seems not to be the trace of any rational tree

14/25

slide-43
SLIDE 43

Classes of Rational Graphs Structure defined families Rational Trees

Traces

Definition The trace of a tree is the set of path labels from the root to the leaves Conjecture There are context-free languages which are not the trace of any rational tree Example The set of words having the same number of a’s and b’s seems not to be the trace of any rational tree

14/25

slide-44
SLIDE 44

Classes of Rational Graphs Structure defined families Rational Trees

Curious fact

Example Given any context-sensitive language L we may construct such a rational graph (green and red states form rational sets)

u ∈ L u ∈ L u ∈ L u ∈ L

Proposition Given any context-sensitive language L (with alphabet X), there is a rational tree T labelled on X ∪ {#} such that Tr(T) ∩ X ∗ = L

15/25

slide-45
SLIDE 45

Classes of Rational Graphs Structure defined families Rational Trees

Curious fact

Example Given any context-sensitive language L we may construct such a rational graph (green and red states form rational sets)

u ∈ L u ∈ L u ∈ L u ∈ L

Proposition Given any context-sensitive language L (with alphabet X), there is a rational tree T labelled on X ∪ {#} such that Tr(T) ∩ X ∗ = L

15/25

slide-46
SLIDE 46

Classes of Rational Graphs Structure defined families Rational Trees

Curious fact

Example Given any context-sensitive language L we may construct such a rational graph (green and red states form rational sets)

u ∈ L u ∈ L u ∈ L u ∈ L

Proposition Given any context-sensitive language L (with alphabet X), there is a rational tree T labelled on X ∪ {#} such that Tr(T) ∩ X ∗ = L

15/25

slide-47
SLIDE 47

Classes of Rational Graphs Structure defined families Rational Trees

Curious fact

Example Given any context-sensitive language L we may construct such a rational graph (green and red states form rational sets)

u ∈ L u ∈ L u ∈ L u ∈ L ε ε ε

Proposition Given any context-sensitive language L (with alphabet X), there is a rational tree T labelled on X ∪ {#} such that Tr(T) ∩ X ∗ = L

15/25

slide-48
SLIDE 48

Classes of Rational Graphs Structure defined families Rational Trees

Curious fact

Example Given any context-sensitive language L we may construct such a rational graph (green and red states form rational sets)

u ∈ L u ∈ L u ∈ L u ∈ L ε ε ε #

Proposition Given any context-sensitive language L (with alphabet X), there is a rational tree T labelled on X ∪ {#} such that Tr(T) ∩ X ∗ = L

15/25

slide-49
SLIDE 49

Classes of Rational Graphs Structure defined families Rational Trees

Curious fact

Example Given any context-sensitive language L we may construct such a rational graph (green and red states form rational sets)

u ∈ L u ∈ L u ∈ L u ∈ L ε ε ε #

Proposition Given any context-sensitive language L (with alphabet X), there is a rational tree T labelled on X ∪ {#} such that Tr(T) ∩ X ∗ = L

15/25

slide-50
SLIDE 50

Classes of Rational Graphs Structure defined families Rational Trees

Rational forests

Proposition It is undecidable to know if a rational graph is a forest Proposition The first order theory of rational forests is decidable Proposition The trace of rational forests between a root and leaves coincide with context-sensitive languages

16/25

slide-51
SLIDE 51

Classes of Rational Graphs Structure defined families Rational Trees

Rational forests

Proposition It is undecidable to know if a rational graph is a forest Proposition The first order theory of rational forests is decidable Proposition The trace of rational forests between a root and leaves coincide with context-sensitive languages

16/25

slide-52
SLIDE 52

Classes of Rational Graphs Structure defined families Rational Trees

Rational forests

Proposition It is undecidable to know if a rational graph is a forest Proposition The first order theory of rational forests is decidable Proposition The trace of rational forests between a root and leaves coincide with context-sensitive languages

16/25

slide-53
SLIDE 53

Classes of Rational Graphs Structure defined families Rational DAG

Rational Directed Acyclic Graphs

Definition A rational DAG is a rational graph with no cycle Proposition It is undecidable to know if a rational graph is a DAG Proposition There is a connected rational DAG with undecidable first-order theory

17/25

slide-54
SLIDE 54

Classes of Rational Graphs Structure defined families Rational DAG

Rational Directed Acyclic Graphs

Definition A rational DAG is a rational graph with no cycle Proposition It is undecidable to know if a rational graph is a DAG Proposition There is a connected rational DAG with undecidable first-order theory

17/25

slide-55
SLIDE 55

Classes of Rational Graphs Structure defined families Rational DAG

Rational Directed Acyclic Graphs

Definition A rational DAG is a rational graph with no cycle Proposition It is undecidable to know if a rational graph is a DAG Proposition There is a connected rational DAG with undecidable first-order theory

17/25

slide-56
SLIDE 56

Classes of Rational Graphs Automata defined families

Plan

1 Definitions

Notations Rational Graphs

2 Structure defined families

Deterministic Rational Graphs Rational Trees Rational DAG

3 Automata defined families

Automatic Graphs Monotonous Rational Graphs Commutative Rational Graphs

4 Conclusion and future works

18/25

slide-57
SLIDE 57

Classes of Rational Graphs Automata defined families Automatic Graphs

Automatic Graphs

Definition A graph over X ∗ × A × X ∗ is automatic if it is recognized by a letter-to-letter transducer followed by a terminal function taking values in (Rat(X ∗) × {ε}) ∪ ({ε} × Rat(X ∗)) Example The previous examples (anbncn-graph and 2n-tree) are automatic Proposition (Hodgson 83) The first order theory of automatic graphs is decidable Theorem (Rispal 01) The traces of automatic graphs are context-sensitive languages

19/25

slide-58
SLIDE 58

Classes of Rational Graphs Automata defined families Automatic Graphs

Automatic Graphs

Definition A graph over X ∗ × A × X ∗ is automatic if it is recognized by a letter-to-letter transducer followed by a terminal function taking values in (Rat(X ∗) × {ε}) ∪ ({ε} × Rat(X ∗)) Example The previous examples (anbncn-graph and 2n-tree) are automatic Proposition (Hodgson 83) The first order theory of automatic graphs is decidable Theorem (Rispal 01) The traces of automatic graphs are context-sensitive languages

19/25

slide-59
SLIDE 59

Classes of Rational Graphs Automata defined families Automatic Graphs

Automatic Graphs

Definition A graph over X ∗ × A × X ∗ is automatic if it is recognized by a letter-to-letter transducer followed by a terminal function taking values in (Rat(X ∗) × {ε}) ∪ ({ε} × Rat(X ∗)) Example The previous examples (anbncn-graph and 2n-tree) are automatic Proposition (Hodgson 83) The first order theory of automatic graphs is decidable Theorem (Rispal 01) The traces of automatic graphs are context-sensitive languages

19/25

slide-60
SLIDE 60

Classes of Rational Graphs Automata defined families Automatic Graphs

Automatic Graphs

Definition A graph over X ∗ × A × X ∗ is automatic if it is recognized by a letter-to-letter transducer followed by a terminal function taking values in (Rat(X ∗) × {ε}) ∪ ({ε} × Rat(X ∗)) Example The previous examples (anbncn-graph and 2n-tree) are automatic Proposition (Hodgson 83) The first order theory of automatic graphs is decidable Theorem (Rispal 01) The traces of automatic graphs are context-sensitive languages

19/25

slide-61
SLIDE 61

Classes of Rational Graphs Automata defined families Monotonous Rational Graphs

Monotonous Rational Graphs

Definition A rational graph is monotonous if for each transition u/v of its transducer either satisfy |u| |v| or |u| |v| Proposition Accessibility is decidable for monotonous graphs Question Is the first order theory of monotonous graphs decidable?

20/25

slide-62
SLIDE 62

Classes of Rational Graphs Automata defined families Monotonous Rational Graphs

Monotonous Rational Graphs

Definition A rational graph is monotonous if for each transition u/v of its transducer either satisfy |u| |v| or |u| |v| Proposition Accessibility is decidable for monotonous graphs Question Is the first order theory of monotonous graphs decidable?

20/25

slide-63
SLIDE 63

Classes of Rational Graphs Automata defined families Monotonous Rational Graphs

Monotonous Rational Graphs

Definition A rational graph is monotonous if for each transition u/v of its transducer either satisfy |u| |v| or |u| |v| Proposition Accessibility is decidable for monotonous graphs Question Is the first order theory of monotonous graphs decidable?

20/25

slide-64
SLIDE 64

Classes of Rational Graphs Automata defined families Monotonous Rational Graphs

Traces of monotonous graphs

Proposition From each rational graph a bisimilar monotonous graph is computable Corollary The traces of monotonous graphs are context-sensitive languages

21/25

slide-65
SLIDE 65

Classes of Rational Graphs Automata defined families Monotonous Rational Graphs

Traces of monotonous graphs

Proposition From each rational graph a bisimilar monotonous graph is computable Corollary The traces of monotonous graphs are context-sensitive languages

21/25

slide-66
SLIDE 66

Classes of Rational Graphs Automata defined families Commutative Rational Graphs

Commutative Rational Graphs

Definition (Commutative graphs) A rational graph is commutative if its transducer is defined over a commutative monoid (Nn, Zn) Example (A commutative rational graph)

22/25

slide-67
SLIDE 67

Classes of Rational Graphs Automata defined families Commutative Rational Graphs

Commutative Rational Graphs

Definition (Commutative graphs) A rational graph is commutative if its transducer is defined over a commutative monoid (Nn, Zn) Example (A commutative rational graph)

p q1 q2 a b 2/4 2/1 3/1 2/4 2/2

22/25

slide-68
SLIDE 68

Classes of Rational Graphs Automata defined families Commutative Rational Graphs

Commutative Rational Graphs

Definition (Commutative graphs) A rational graph is commutative if its transducer is defined over a commutative monoid (Nn, Zn) Example (A commutative rational graph)

p q1 q2 a b 2/4 2/1 3/1 2/4 2/2 2 4 8 16 1 3 5 7 15 a a a b b b b b b b b4

22/25

slide-69
SLIDE 69

Classes of Rational Graphs Automata defined families Commutative Rational Graphs

Commutative Rational Graphs

Definition (Commutative graphs) A rational graph is commutative if its transducer is defined over a commutative monoid (Nn, Zn) Example (A commutative rational graph)

p q1 q2 a b 2/4 2/1 3/1 2/4 2/2 2 4 8 16 1 3 5 7 15 a a a b b b b b b b b4 6 12 b a

22/25

slide-70
SLIDE 70

Classes of Rational Graphs Automata defined families Commutative Rational Graphs

Commutative Rational Graphs

Definition (Commutative graphs) A rational graph is commutative if its transducer is defined over a commutative monoid (Nn, Zn) Example (A commutative rational graph)

p q1 q2 a b 2/4 2/1 3/1 2/4 2/2 2 4 8 16 1 3 5 7 15 a a a b b b b b b b b4 6 12 b a

Tr(G, 2, 1) = n anb2n | n ∈ N

  • ∈ CF({a, b}∗)

22/25

slide-71
SLIDE 71

Classes of Rational Graphs Automata defined families Commutative Rational Graphs

Some results

Theorem (Eilenberg, Sch¨ utzenberger 69) The family of rational sets in a commutative monoid form a Boolean algebra Corollary First order theory is decidable for commutative graphs Proposition Accessibility is undecidable for commutative rational graphs Proposition The families of commutative rational graphs and prefix recognizable graphs are incomparable

23/25

slide-72
SLIDE 72

Classes of Rational Graphs Automata defined families Commutative Rational Graphs

Some results

Theorem (Eilenberg, Sch¨ utzenberger 69) The family of rational sets in a commutative monoid form a Boolean algebra Corollary First order theory is decidable for commutative graphs Proposition Accessibility is undecidable for commutative rational graphs Proposition The families of commutative rational graphs and prefix recognizable graphs are incomparable

23/25

slide-73
SLIDE 73

Classes of Rational Graphs Automata defined families Commutative Rational Graphs

Some results

Theorem (Eilenberg, Sch¨ utzenberger 69) The family of rational sets in a commutative monoid form a Boolean algebra Corollary First order theory is decidable for commutative graphs Proposition Accessibility is undecidable for commutative rational graphs Proposition The families of commutative rational graphs and prefix recognizable graphs are incomparable

23/25

slide-74
SLIDE 74

Classes of Rational Graphs Automata defined families Commutative Rational Graphs

Some results

Theorem (Eilenberg, Sch¨ utzenberger 69) The family of rational sets in a commutative monoid form a Boolean algebra Corollary First order theory is decidable for commutative graphs Proposition Accessibility is undecidable for commutative rational graphs Proposition The families of commutative rational graphs and prefix recognizable graphs are incomparable

23/25

slide-75
SLIDE 75

Classes of Rational Graphs Conclusion and future works

Plan

1 Definitions

Notations Rational Graphs

2 Structure defined families

Deterministic Rational Graphs Rational Trees Rational DAG

3 Automata defined families

Automatic Graphs Monotonous Rational Graphs Commutative Rational Graphs

4 Conclusion and future works

24/25

slide-76
SLIDE 76

Classes of Rational Graphs Conclusion and future works

Conclusion

Conclusion Several families of rational graphs

  • Structural

Deterministic rational graphs Rational trees Rational DAG

  • Automata driven

Future work

  • Some families are promising

Deterministic rational graphs, Monotonous rational graphs, Commutative rational graphs

  • Exhibit a such a family with FO+ACC decidable

25/25

slide-77
SLIDE 77

Classes of Rational Graphs Conclusion and future works

Conclusion

Conclusion Several families of rational graphs

  • Structural

Deterministic rational graphs Rational trees Rational DAG

  • Automata driven

Automatic graphs Monotonous rational graphs Commutative rational graphs Future work

  • Some families are promising

Deterministic rational graphs, Monotonous rational graphs, Commutative rational graphs

  • Exhibit a such a family with FO+ACC decidable

25/25

slide-78
SLIDE 78

Classes of Rational Graphs Conclusion and future works

Conclusion

Conclusion Several families of rational graphs

  • Structural

Deterministic rational graphs Rational trees Rational DAG

  • Automata driven

Automatic graphs Monotonous rational graphs Commutative rational graphs Future work

  • Some families are promising

Deterministic rational graphs, Monotonous rational graphs, Commutative rational graphs

  • Exhibit a such a family with FO+ACC decidable

25/25

slide-79
SLIDE 79

Classes of Rational Graphs Conclusion and future works

Conclusion

Conclusion Several families of rational graphs

  • Structural

Deterministic rational graphs Rational trees Rational DAG

  • Automata driven

Automatic graphs Monotonous rational graphs Commutative rational graphs Future work

  • Some families are promising

Deterministic rational graphs, Monotonous rational graphs, Commutative rational graphs

  • Exhibit a such a family with FO+ACC decidable

25/25