#16762: Extend FiniteStateMachine.product_FiniteStateMachine: keep isolated
states
-------------------------+-------------------------------------------------
Reporter: cheuberg | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.3
Component: finite | Keywords: product_FiniteStateMachine,
state machines | isolated state
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-------------------------+-------------------------------------------------
Isolated states are currently not created in
{{{FiniteStateMachine.product_FiniteStateMachine}}}. This may lead to
products without any states. This is not desirable: there might be final
output words, hooks, etc.
Planned behaviour:
{{{
sage: F = Transducer(initial_states=[0])
sage: F.add_state(1)
1
sage: G = Transducer(initial_states=['A'])
sage: F.product_FiniteStateMachine(G, None).states()
[(0, 'A')]
sage: F.product_FiniteStateMachine(
....: G, None, only_accessible_components=False).states()
[(0, 'A'), (1, 'A')]
}}}
Current behaviour is that the two last tests yield {{{[]}}}.
--
Ticket URL: <http://trac.sagemath.org/ticket/16762>
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.
