++ed by:
1 non-PAUSE user
Author image Brendt Wohlberg

NAME

XML::DTD::Automaton - Perl module representing a finite automaton

SYNOPSIS

  use XML::DTD::Automaton;

  my $fsa = XML::DTD::Automaton->new;
  my $idxa = $fsa->mkstate('state label A');
  my $idxb = $fsa->mkstate('state label B');
  $fsa->mktrans($idxa, $idxb, 'transition symbol');

ABSTRACT

  XML::DTD::Automaton is a Perl module representing a finite automaton.

DESCRIPTION

  XML::DTD::Automaton is a Perl module representing a finite
  automaton. The following methods are provided.
new
 my $fsa = XML::DTD::Automaton->new;

Construct a new XML::DTD::Automaton object

isa
  if (XML::DTD::Automaton->isa($atd)) {
  ...
  }

Test object type

state
 my $idx = $fsa->mkstate('state label');
 my $state = $fsa->state($idx);

Get an XML::DTD::FAState object reference from a state index

index
 my $state = $fsa->state($idx0);
 ...
 my $idx1 = $fsa->index($state);

Get a state index from an XML::DTD::FAState object reference

final
 my $flg = $fsa->final($idx);

Determine whether a state is marked final

setfinal
 $fsa->setfinal($idx);

Mark a state as final

mkstate
 my $idxa = $fsa->mkstate('state label A');
 my $idxb = $fsa->mkstate('state label B', 1); # A final state

Construct a new state

mktrans
 $fsa->mktrans($idxa, $idxb, 'transition symbol');
 $fsa->mktrans($idxa, $idxb, ''); # An epsilon transition

Construct a new transition

rmtrans
 $fsa->rmtrans($idxa, $idxb, 'transition symbol');

Remove a transition

epselim
 $fsa->epselim;

Eliminate epsilon transitions

rmunreach
 $fsa->rmunreach;

Remove unreachable states

isdeterministic
 if ($fsa->isdeterministic) {
 ...
 }

Determine with the automaton is deterministic

accept
 if ($fsa->accept(['a', 'a', 'b', 'c', 'a'])) {
 ...
 }

If the automaton is deterministic, determine whether the symbol sequence is accepted

string
 print $fsa->string;

Construct a string representation of the automaton

writexml
  $xo = new XML::Output({'fh' => *STDOUT});
  $fsa->writexml($xo);

Write an XML representation of the automaton

SEE ALSO

XML::DTD::FAState

AUTHOR

Brendt Wohlberg <wohl@cpan.org>

COPYRIGHT AND LICENSE

Copyright (C) 2006,2010 by Brendt Wohlberg

This library is available under the terms of the GNU General Public License (GPL), described in the GPL file included in this distribution.