#16548: FiniteStateMachine: enhance _composition_explorative_
-------------------------------------+-------------------------------------
Reporter: skropf | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: finite state | Resolution:
machines | Merged in:
Keywords: | Reviewers:
finite_state_machine, composition | Work issues:
Authors: Clemens Heuberger | Commit:
Report Upstream: N/A | 9741adc8165b9c818ef617eda40ac45b003fae8c
Branch: | Stopgaps:
u/cheuberg/fsm/composition |
Dependencies: #16538, #16758 |
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Clemens Heuberger', 'oldvalue': ''}):
* status: new => needs_review
* author: => Clemens Heuberger
* dependencies: #16538 => #16538, #16758
* branch: => u/cheuberg/fsm/composition
* keywords: finite_state_machine => finite_state_machine, composition
* commit: => 9741adc8165b9c818ef617eda40ac45b003fae8c
Old description:
> At the moment, there is a {{{NotImplementedError}}} if
> {{{FiniteStateMachine._composition_explorative_}}} is used with a
> transducer with non-empty final word out.
>
> This will be changed by using {{{FiniteStateMachine.process}}} when
> #16538 is fixed.
New description:
At the moment, there is a {{{NotImplementedError}}} if
{{{FiniteStateMachine._composition_explorative_}}} is used with a
transducer with non-empty final word out.
Furthermore, {{{_composition_explorative_}}} could not handle non-
deterministic machines.
Both is now changed by using {{{FiniteStateMachine.process}}}.
--
Comment:
Last 10 new commits:
||[http://git.sagemath.org/sage.git/commit/?id=61f6acf619b2c13010ea4c420743fc05fededc8b
61f6acf]||{{{trac #16758: Use class of outer machine in composition}}}||
||[http://git.sagemath.org/sage.git/commit/?id=4df0412d4f8c068abf5de75c9c92b796b7f57108
4df0412]||{{{Merge remote-tracking branches 'fsm/process-iterator-nondet'
(#16538) and 'aau/fsm/composition-types' (#16758) into
fsm/composition}}}||
||[http://git.sagemath.org/sage.git/commit/?id=f988916af0c785a3f73a4a4f18b1e878b1c5627b
f988916]||{{{trac #16548: Implemented _composition_explorative_ using new
process iterator}}}||
||[http://git.sagemath.org/sage.git/commit/?id=0de44fd880d607ddd208009a8e2490d1ed70f867
0de44fd]||{{{trac #16548: Minor documentation improvements}}}||
||[http://git.sagemath.org/sage.git/commit/?id=f898b6cb46191fc0f23f63b0d17da99df3637051
f898b6c]||{{{trac #16548: Additional doctests}}}||
||[http://git.sagemath.org/sage.git/commit/?id=463e9801b4a72bdbf9593c8df575323cacb4fc9b
463e980]||{{{trac #16548: Corrected handling of non-deterministic final
output}}}||
||[http://git.sagemath.org/sage.git/commit/?id=f88ac35053b0ea12c4f10a75545a12735439bc89
f88ac35]||{{{trac #16548: set output alphabet}}}||
||[http://git.sagemath.org/sage.git/commit/?id=46937f7c2a87399211bba6d59dfe31151dba0ddd
46937f7]||{{{trac #16548: delete incorrect doctest}}}||
||[http://git.sagemath.org/sage.git/commit/?id=9ce3ac914c8d4bd1efc4091bccaff99c8cdda260
9ce3ac9]||{{{trac #16548: disable preparation for multitape mode}}}||
||[http://git.sagemath.org/sage.git/commit/?id=9741adc8165b9c818ef617eda40ac45b003fae8c
9741adc]||{{{trac #16548: more doctests on alphabets at composition}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/16548#comment:1>
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.
