[Perl-flat-cvs-notify] blokhead/lib FLAT.pm,1.3,1.4

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

Update of /cvsroot/perl-flat/blokhead/lib
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv20501

Modified Files:
	FLAT.pm 
Log Message:
initial POD for FLAT.pm -- mostly to test the cvs commit email spammer



Index: FLAT.pm
===================================================================
RCS file: /cvsroot/perl-flat/blokhead/lib/FLAT.pm,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** FLAT.pm	23 Feb 2006 14:26:02 -0000	1.3
--- FLAT.pm	24 Feb 2006 00:12:39 -0000	1.4
***************
*** 60,61 ****
--- 60,190 ----
  
  1;
+ 
+ =head1 NAME
+ 
+ FLAT - Formal Language & Automata Toolkit
+ 
+ =head1 SYNOPSIS
+ 
+ FLAT.pm is the base class of all regular language objects. For more
+ information, see other POD pages.
+ 
+ =head1 USAGE
+ 
+ All regular language objects in FLAT implement the following methods.
+ Specific regular language representations (regex, NFA, DFA) may implement
+ additional methods that are outlined in the repsective POD pages.
+ 
+ =head2 Conversions Among Representations
+ 
+ =over
+ 
+ =item $lang-E<gt>as_nfa
+ 
+ =item $lang-E<gt>as_dfa
+ 
+ =item $lang-E<gt>as_min_dfa
+ 
+ =item $lang-E<gt>as_regex
+ 
+ Returns an equivalent regular language to $lang in the desired
+ representation. Does not modify $lang (even if $lang is already in the
+ desired representation).
+ 
+ For more information on the specific algorithms used in these conversions,
+ see the POD pages for a specific representation.
+ 
+ =back
+ 
+ =head2 Closure Properties
+ 
+ =over
+ 
+ =item $lang1-E<gt>union($lang2, $lang3, ... )
+ 
+ =item $lang1-E<gt>intersect($lang2, $lang3, ... )
+ 
+ =item $lang1-E<gt>concat($lang2, $lang3, ... )
+ 
+ =item $lang1-E<gt>symdiff($lang2, $lang3, ... )
+ 
+ Returns a regular language object that is the union, intersection,
+ concatenation, or symmetric difference of $lang1 ... $langN, respectively.
+ The return value will have the same representation (regex, NFA, or DFA) 
+ as $lang1.
+ 
+ =item $lang1-E<gt>difference($lang2)
+ 
+ Returns a regular language object that is the set difference of $lang1 and
+ $lang2. Equivalent to
+ 
+   $lang1->intersect($lang2->complement)
+ 
+ The return value will have the same representation (regex, NFA, or DFA) 
+ as $lang1.
+ 
+ =item $lang-E<gt>kleene
+ 
+ =item $lang-E<gt>star
+ 
+ Returns a regular language object for the Kleene star of $lang. The return
+ value will have the same representation (regex, NFA, or DFA) as $lang.
+ 
+ =item $lang-E<gt>complement
+ 
+ Returns a regular language object for the complement of $lang. The return
+ value will have the same representation (regex, NFA, or DFA) as $lang.
+ 
+ =item $lang-E<gt>reverse
+ 
+ Returns a regular language object for the stringwise reversal of $lang.
+ The return value will have the same representation (regex, NFA, or DFA)
+ as $lang.
+ 
+ =back
+ 
+ =head2 Decision Properties
+ 
+ =over
+ 
+ =item $lang-E<gt>is_finite
+ 
+ =item $lang-E<gt>is_infinite
+ 
+ Returns a boolean value indicating whether $lang represents a
+ finite/infinite language.
+ 
+ =item $lang-E<gt>is_empty
+ 
+ Returns a boolean value indicating whether $lang represents the empty
+ language.
+ 
+ =item $lang1-E<gt>equals($lang2)
+ 
+ Returns a boolean value indicating whether $lang1 and $lang2 are
+ representations of the same language.
+ 
+ =item $lang1-E<gt>is_subset_of($lang2)
+ 
+ Returns a boolean value indicating whether $lang1 is a subset of
+ $lang2.
+ 
+ =item $lang-E<gt>contains($string)
+ 
+ Returns a boolean value indicating whether $string is in the language
+ represented by $lang.
+ 
+ =back
+ 
+ =head1 AUTHORS & ACKNOWLEDGEMENTS
+ 
+ FLAT is written by Mike Rosulek E<lt>mike at mikero dot comE<gt> and Brett
+ Estrade E<lt>estradb at mailcan dot comE<gt>.
+ 
+ Initial version by Brett Estrade was work towards an MS thesis at the
+ University of Southern Mississippi.
+ 
+ =head1 LICENSE
+ 
+ This module is free software; you can redistribute it and/or modify it under
+ the same terms as Perl itself.