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

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call