Computable classifications of continuous, transducer, and regular functions

Johanna N. Y. Franklin, Rupert Hölzl, Alexander Melnikov +2

We develop a systematic algorithmic framework that unites global and local classification problems using index sets. We prove that the classification problem for continuous (binary…