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