Abstract
AbstractAn injection structure \({\mathcal A}= (A,f)\) is a set A together with a one-place one-to-one function f. \({\mathcal A}\) is a Finite State Transducer (abbreviated FST) injection structure if A is a regular set, that is, the set of words accepted by some finite automaton, and f is realized by a deterministic finite-state transducer. We study the complexity of the character of an FST injection structure. We also examine the effective categoricity of such structures.KeywordsComputability theoryInjection structuresAutomatic structuresFinite state automataFinite state transducers
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have