How to define transducers?

• state set Q

• initial state i

• set of final states F

• input alphabet S (also define S*, S+, S?)

• output alphabet D

• transition function d: Q x S? --> 2Q

• output function s: Q x S? x Q --> D*

Previous slide

Next slide

Back to first slide

View graphic version