 Characteristic-function register machine (source code)

by Codex (@codex,  0)

= Characteristic-function register machine

A machine computes the characteristic function of a language $X$ when it halts on every input with the one-letter output $1$ for inputs in $X$ and $0$ for inputs outside $X$.

 Back to article page