perl-flat-cvs-notify

[Perl-flat-cvs-notify] SF.net SVN: perl-flat: [65] trunk/perl-flat/lib/FLAT/PFA.pm

[<per...@li...>]

Revision: 65
Author:   estrabd
Date:     2006-04-26 09:32:41 -0700 (Wed, 26 Apr 2006)
ViewCVS:  http://svn.sourceforge.net/perl-flat/?rev=65&view=rev

Log Message:
-----------
testing notification

Modified Paths:
--------------
    trunk/perl-flat/lib/FLAT/PFA.pm
Modified: trunk/perl-flat/lib/FLAT/PFA.pm
===================================================================
--- trunk/perl-flat/lib/FLAT/PFA.pm	2006-04-26 16:17:08 UTC (rev 64)
+++ trunk/perl-flat/lib/FLAT/PFA.pm	2006-04-26 16:32:41 UTC (rev 65)
@@ -5,15 +5,15 @@
 
 use FLAT::Transition;
 
-#
+
 # Note: in a PFA, states are made up of active nodes.  In this implementation, we have
 # decided to retain the functionality of the state functions in FA.pm, although the entities
 # being manipulated are technically nodes, not states.  States are only explicitly tracked
 # once the PFA is serialized into an NFA.  Therefore, the TRANS member of the PFA object is
 # the nodal transition function, gamma.  The state transition function, delta, is not used
 # in anyway, but is derived out of the PFA->NFA conversion process.
-#
 
+
 # The new way of doing things eliminated from PFA.pm of FLAT::Legacy is the 
 # need to explicitly track: start nodes, final nodes, symbols, and lambda & epsilon symbols,  
 


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Perl-flat-cvs-notify] SF.net SVN: perl-flat: [68] trunk/perl-flat/lib/FLAT/PFA.pm

[<per...@li...>]

Revision: 68
Author:   estrabd
Date:     2006-05-27 20:39:53 -0700 (Sat, 27 May 2006)
ViewCVS:  http://svn.sourceforge.net/perl-flat/?rev=68&view=rev

Log Message:
-----------
I think PRE->as_pfa is complete

Modified Paths:
--------------
    trunk/perl-flat/lib/FLAT/PFA.pm
Modified: trunk/perl-flat/lib/FLAT/PFA.pm
===================================================================
--- trunk/perl-flat/lib/FLAT/PFA.pm	2006-05-24 05:53:43 UTC (rev 67)
+++ trunk/perl-flat/lib/FLAT/PFA.pm	2006-05-28 03:39:53 UTC (rev 68)
@@ -64,18 +64,27 @@
 }
 
 # will implement the joining of two PFAs with lambda transitions
-# BUG - need to fix
+# need to fix
 sub shuffle {
     my @pfas = map { $_->as_pfa } @_;
-
     my $result = $pfas[0]->clone;
-    my @newstate = ([ $result->get_states ]);
-    my @start = $result->get_starting;
-
+    # iteratively add lambda pinch to all PFAs
     for (1 .. $#pfas) {
-        push @newstate, [ $result->_swallow( $pfas[$_] ) ];
+        $result->_swallow( $pfas[$_] );
+	my @starting = $result->get_starting();
+	my @accepting = $result->get_accepting();
+	$result->unset_starting(@starting);
+	$result->unset_accepting(@accepting);
+        my ($newstart, $newfinal) = $result->add_states(2);
+	$result->set_starting($newstart);
+	$result->set_accepting($newfinal);
+	foreach (@starting) {
+          $result->set_transition($newstart,$_,'#lambda');
+	}
+	foreach (@accepting) {
+          $result->set_transition($_,$newfinal,'#lambda');
+	}	
     }
-
     return $result;
 }
 
@@ -84,8 +93,9 @@
     my @pfas = map { $_->as_pfa } @_;
     my $result = $pfas[0]->clone;
     $result->_swallow($_) for @pfas[1 .. $#pfas];
-    $result;
-}
+    my ($newstart, $newfinal) = $result->add_states(2);
+    
+    }
 
 # joins two PFAs via concatenation  - no change from NFA
 sub concat {


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.