Opened 7 years ago

#18130 new defect

Automaton: Conversion from transducer keeps output labels

Reported by: cheuberg Owned by:
Priority: major Milestone: sage-6.6
Component: finite state machines Keywords:
Cc: skropf, dkrenn Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Conversion of a transducer to an automaton should behave like input_projection.

Current behaviour:

sage: T = Transducer([(0, 0, 1, 2)])
sage: Automaton(T).transitions()
[Transition from 0 to 0: 1|2]

Change History (0)

Note: See TracTickets for help on using tickets.