Decomposing Finite-Valued Transducers and Deciding Their Equivalence.

Published in: SIAM J. Comput. (1993)

Keyphrases

finite automata
linear separability
unit length
finite number
multi valued
valued logic
database
image processing
description logics
regular expressions