#15078: new module: finite state machines, automata, transducers
-------------------------------------------------+-------------------------
Reporter: dkrenn | Owner:
Type: enhancement | Status:
Priority: major | needs_review
Component: combinatorics | Milestone: sage-5.13
Keywords: finite state machines, | Resolution:
automaton, transducer | Merged in:
Authors: Clemens Heuberger, Daniel | Reviewers:
Krenn, Sara Kropf | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------------------+-------------------------
Comment (by dkrenn):
Many thanks for your comments.
Replying to [comment:25 slabbe]:
> 1. There should be a new `_repr_` method for Automaton and Transducer (I
am sorry I forgot to mention this repr method in my previous comment):
Done.
> 2. The documentation of `FiniteStateMachine` should include a two line
paragraph (maybe before the INPUT block) saying why the user wants to use
this class and why the user should prefer to use another class like
Automaton or Transducer. For instance : "For determinisation and
minimisation, use Automaton class".
Done (Added after the output block, where Automata and Transducer are
mentioned; I think this is a good place for it. Also added links to
minimization, simplification,... there)
> 3. Documentation of Automaton (and Transducer):
>
> {{{
> class Automaton(FiniteStateMachine):
> """
> This creates an automaton, which is a special type of a finite
> state machine.
> }}}
>
> Why is it special? Mention methods that are defined for Automaton and
not for `FiniteStateMachine`. Same comments for Transducer.
>
> The first example of the documentation of `FiniteStateMachine` uses
`word_out` which is not the best first example for the user using
`Automaton`. So, I suggest to add an `EXAMPLES::` section in the doc of
Automaton class containing the creation of at least one non empty
Automaton.
Rewritten and examples added.
> 4. A typo (finial) :
Corrected.
These changes can be found in
http://trac.sagemath.org/attachment/ticket/15078/trac_15078_fsm_automata_transducers.8.patch
(which runs in 5.13.beta3).
--
Ticket URL: <http://trac.sagemath.org/ticket/15078#comment:26>
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/groups/opt_out.
