The Solvability of the Halting Problem for 2-State Post Machines.

Stål Aanderaa Patrick C. Fischer

Published in: J. ACM (1967)

Keyphrases

information retrieval
information systems
digital libraries
search space
hidden markov models
state space
multi class
state variables