#16191: FiniteStateMachine: implement final_word_out
-----------------------------+----------------------------------------
Reporter: cheuberg | Owner:
Type: task | Status: new
Priority: major | Milestone: sage-6.2
Component: combinatorics | Keywords: finite_state_machine
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-----------------------------+----------------------------------------
Implement {{{FSMState.final_word_out}}} in order to accomodate
subsequential transducers in this package. A transducer is said to be
subsequential if it is deterministic, every state
is final and it has a final output word for each final state, i.e., when
reading an input and reaching some final state along some path, then the
final output word of this state is appended to the output labels collected
along the path.
This will facilitate various transducers, e.g., when we currently have to
read a sufficiently large number of zeros in order to flush some more
output.
Once this is implemented, {{{FiniteStateMachine.asymptotic_moments}}} (cf.
#16145) should be modified: enforce that all states are final and simplify
the examples by introducing final output words.
I do know that Sara Kropf is working on that; I currently need a ticket
number in order to include a warning in
{{{FiniteStateMachine.asymptotic_moments}}} (cf. #16145).
--
Ticket URL: <http://trac.sagemath.org/ticket/16191>
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.
