#16538: FiniteStateMachine.process: follow all paths if machine is non-
deterministic
-------------------------------------+-------------------------------------
Reporter: cheuberg | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: finite state | Resolution:
machines | Merged in:
Keywords: | Reviewers:
finite_state_machine | Work issues:
Authors: Daniel Krenn | Commit:
Report Upstream: N/A | 51d35dc08fc621267d95919eb07bb5017bb653bd
Branch: u/dkrenn/fsm | Stopgaps:
/process-iterator-nondet |
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Daniel Krenn', 'oldvalue': ''}):
* status: new => needs_review
* commit: => 51d35dc08fc621267d95919eb07bb5017bb653bd
* author: => Daniel Krenn
Old description:
> Prior to #16539, a (more or less) random path was chosen in case of
> ambiguity
> in {{{FiniteStateMachine.process}}}. In #16539, this undesired behaviour
> is replaced by a {{{NonImplementedError}}}.
>
> However, ideally, in the case of non-deterministic machines, all possible
> paths should be considered. This shall be implemented in this ticket.
> Daniel Krenn is in the process of preparing a branch.
New description:
Prior to #16539, a (more or less) random path was chosen in case of
ambiguity
in {{{FiniteStateMachine.process}}}. In #16539, this undesired behaviour
is replaced by a {{{NonImplementedError}}}.
However, ideally, in the case of non-deterministic machines, all possible
paths should be considered. This shall be implemented in this ticket.
--
Comment:
Last 10 new commits:
||[http://git.sagemath.org/sage.git/commit/?id=07e353ae47e4e7afdab70c20f5723257d66bea48
07e353a]||{{{FiniteStateMachine: rewritten code after #16067}}}||
||[http://git.sagemath.org/sage.git/commit/?id=f9d6e0e89f75619930946a46a7300723726c402a
f9d6e0e]||{{{FiniteStateMachine.deepcopy: additional doctest}}}||
||[http://git.sagemath.org/sage.git/commit/?id=fd618dcb88bf9771419caf8d86ce617b644e6e54
fd618dc]||{{{Merge remote-tracking branch 'aau/fsm/deepcopy_doctest' into
fsm/code-cleanup-post-16067}}}||
||[http://git.sagemath.org/sage.git/commit/?id=4eef9c8be87f02a8e100899a471cb1e6e5841a51
4eef9c8]||{{{trac #16580: use OrderedDict instead of dict to have non-
random output}}}||
||[http://git.sagemath.org/sage.git/commit/?id=6dc0eca28f10488f8a0430cba8cdc6c5902d6b47
6dc0eca]||{{{trac #16580: only use integer labels in doctests for
latex_options}}}||
||[http://git.sagemath.org/sage.git/commit/?id=102be36393c29989a9c8a2346c1f087e5c03ad04
102be36]||{{{Merge commit '1bfb513ca3a9dc11a232bdd6ee31625fe5822572'
(#16557) of trac.sagemath.org:sage into fsm/code-cleanup-post-16067}}}||
||[http://git.sagemath.org/sage.git/commit/?id=7e225f1de286b53a1c480b00781f9120f5344bd8
7e225f1]||{{{Merge remote-tracking branch 'aau/fsm/code-cleanup-
post-16067' into fsm/process-iterator-nondet}}}||
||[http://git.sagemath.org/sage.git/commit/?id=59d736ba5d370b2644b4bf399cbf04fa03cc9489
59d736b]||{{{again some small corrections in doctests (word_in
transposition)}}}||
||[http://git.sagemath.org/sage.git/commit/?id=15d09a9e57c64f354583166335688bda8839df2d
15d09a9]||{{{trac #16538: word of tuples (instead of word of lists), one
more transposition}}}||
||[http://git.sagemath.org/sage.git/commit/?id=51d35dc08fc621267d95919eb07bb5017bb653bd
51d35dc]||{{{reworded docstring}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/16538#comment:3>
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.
