Update of /cvsroot/perl-flat/flat4cpan/t/input
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv3762/t/input
Added Files:
dfa.1 nfa.1 nfa.2 nfa.3 nfa.4 nfa.5 nfa.6 nfa.7 pfa.1 pfa.2
pfa.3
Log Message:
more tests...input and output files now
--- NEW FILE: pfa.1 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
# PFA 1
START :: 1 # start node(s)
FINAL :: 4,6 # end nodes
LAMBDA :: lambda # how lambda split/sync is represented
EPSILON :: epsilon # how epsilon transition is represented
0:
epsilon 1
1:
lambda 2,5
2:
c 3
3:
c 3
d 4
4:
c 3
d 4
5:
a 5
b 6
6:
--- NEW FILE: pfa.2 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
# PFA 2
START :: 1 # start node(s)
FINAL :: 5,6 # end nodes
LAMBDA :: lambda # how lambda split/sync is represented
EPSILON :: epsilon # how epsilon transition is represented
1:
a 2
2:
lambda 3,4
3:
b 5
4:
c 6
5:
6:
--- NEW FILE: pfa.3 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
# PFA 1
START :: 1,2 # start node(s)
FINAL :: 6 # end nodes
LAMBDA :: lambda # how lambda split/sync is represented
EPSILON :: epsilon # how epsilon transition is represented
1:
a 3
2:
b 4
3:
lambda 5
4:
lambda 5
5:
c 6
6:
--- NEW FILE: dfa.1 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
START :: 0
FINAL :: 2,2_5,2_4_5
0:
a 1_3
b 2
1_3:
a 2
b 2_4_5
2:
c 4
4:
b 5
5:
c 1
1:
b 2_5
2_5:
c 1_4
1_4:
b 2_5
2_4_5:
c 1_4
b 5
--- NEW FILE: nfa.6 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
# NFA 7
START :: 0 # start state
FINAL :: 2 # end states
EPSILON :: epsilon # how epsilon transition is represented
0:
epsilon 3
a 1
1:
b 2,5
2:
3:
b 4
4:
epsilon 2
a 1
--- NEW FILE: nfa.7 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
#
# State Transition File
# The detection of of an '&' or 'epsilon' flags this FSA as nondetermininstic
# Otherwise, it is treated as deterministic
#
0:
epsilon 1 # nfa detected bc of 'epsilon'
a 2
b 3
1:
a 2 & 4 # nfa could also be flagged when this '&' is detected
2:
b 3 & 4
3:
epsilon 4
4:
a 0
--- NEW FILE: nfa.4 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
START :: 0
FINAL :: 2
EPSILON :: epsilon
0:
epsilon 1,5
1:
a 3
2:
b 3,4
c 2
3:
epsilon 2
b 5
4:
epsilon 3
c 2,5
5:
epsilon 1,2
c 3
--- NEW FILE: nfa.5 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
# NFA 5
START :: 0 # start state
FINAL :: 3,8,9,10,15 # end states
EPSILON :: epsilon # how epsilon transition is represented
0:
d 1
c 6
s 13
1:
o 2
i 4
2:
g 3
3:
epsilon 9
4:
g 5
5:
6:
a 7
u 11
7:
t 8
8:
epsilon 9
9:
epsilon 10
10:
11:
t 12
12:
13:
k 14
i 16
14:
y 15
15:
epsilon 10
16:
t 17
17:
18:
--- NEW FILE: nfa.2 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
START :: 0
FINAL :: 5
EPSILON :: epsilon
0:
epsilon 1,4
a 1
1:
b 2
2:
epsilon 3
c 3
3:
c 2
d 4
4:
epsilon 5
e 5
5:
--- NEW FILE: nfa.3 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
START :: 0
FINAL :: 2
EPSILON :: epsilon
0:
epsilon 1,3
b 2
1:
a 2,4
2:
b 5
3:
c 2,6
4:
epsilon 5
a 2,4 # loops back to itself
5:
a 4
b 5 # loops back to itself
c 6
6:
a 5
c 6 # loops back to itself
--- NEW FILE: nfa.1 ---
# $Revision: 1.1 $ $Date: 2006/02/24 21:27:16 $ $Author: estrabd $
# NFA 1
START :: 0 # start state
FINAL :: 2 # end states
EPSILON :: epsilon # how epsilon transition is represented
0:
a 1,3
b 2
1:
b 2,5
2:
c 4
3:
a 2
b 4
4:
b 5
5:
c 1
x 6
6:
x 2
|
