TAJA - Documentation

Syntax of file .ta

You can edit yourself your automata if you respect the follow syntax:

Length of tree-tuples:
length

Symbols:
List of symbols (name/arity).

States:

List of states.

Transitions:
List of transitions rules.

SymbolRRs:
( Necessary only if the length of tree-tuples is > 1 , )
List of symbols (name/arity)
.

(do not forgot the dot!)

Example for an automaton with tree-tuples of length 1 ( i.e. a tree automaton ) :

Length of tree-tuples:
1

Symbols:
1/0
0/0
and/2

States:
q0
q1 (final)

Transitions:
1->q1
0->q0
and(q0,q0)->q0
and(q0,q1)->q0
and(q1,q0)->q0
and(q1,q1)->q1
.
Example for an automaton with tree-tuples of length 2:

Length of tree-tuples:
2

Symbols:
a|a/0
#|a/0
f|a/1
g|a/2
a|#/0
#|#/0
f|#/1
g|#/2
a|f/1
#|f/1
f|f/1
g|f/2
a|g/2
#|g/2
f|g/2
g|g/2

States:
q
q1
q2 (final)

Transitions:
a|a->q
f|#(q)->q1
g|g(q1,q1)->q2

SymbolRRs:
a/0
#/0
f/1
g/2
.
Back to Table of Contents