Characteristic-function register machine
ID: characteristic-function-register-machine
A machine computes the characteristic function of a language when it halts on every input with the one-letter output for inputs in and for inputs outside .
New to topics? Read the docs here!