#19924: Automaton: Add Reversal
-------------------------+-------------------------------------------------
Reporter: mcognetta | Owner:
Type: | Status: new
enhancement | Milestone: sage-7.1
Priority: minor | Keywords: Finite State Machines,
Component: finite | Closure Properties, Automata
state machines | Authors:
Merged in: | Report Upstream: N/A
Reviewers: | Branch:
Work issues: | Dependencies:
Commit: |
Stopgaps: |
-------------------------+-------------------------------------------------
Deterministic Finite Automata are closed under reversal. The
FiniteStateMachine class has several closure operations implemented that
the Automaton class inherits, but not reversal. This patch would add the
reversal closure operation to the Automaton class.
See:
http://infolab.stanford.edu/~ullman/ialc/spr10/slides/rs2.pdf
--
Ticket URL: <http://trac.sagemath.org/ticket/19924>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
