#15078: new module: finite state machines, automata, transducers
-------------------------------------+-------------------------------------
Reporter: dkrenn | Owner:
Type: enhancement | Status: closed
Priority: major | Milestone: sage-5.13
Component: combinatorics | Resolution: fixed
Keywords: finite state | Merged in: sage-5.13.beta5
machines, automaton, transducer | Reviewers: Volker Braun,
Authors: Clemens | Frédéric Chapoton, Vincent
Heuberger, Daniel Krenn, Sara | Delecroix, Darij Grinberg,
Kropf | Sébastien Labbé
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by cheuberg):
Replying to [comment:32 slabbe]:
> - The basics operations (union, concatenation, intersection,
complement, Kleene star) on automaton are not implemented. This might be
bad because maybe the chosen representation is not suitable to answer to
those basic operations in an efficient way. Or maybe the representation is
suitable... Nobody knows.
intersection now is in #16061
> - Documentation of
[http://www.sagemath.org/doc/reference/combinat/sage/combinat/finite_state_machine.html
top level module] should not mention FSMState. Also, it should contain
good examples of automaton and of transducers.
One more example has been added in #16143: Standard Binary -> Gray Code.
--
Ticket URL: <http://trac.sagemath.org/ticket/15078#comment:37>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
