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 |