counter machine
Sign in to saveabstract machine used in a formal logic and theoretical computer science
Connections
Turing completeness
Entity
Gödel numbering
Entity
primitive recursive function
Entity
computer
Entity
logic
Entity
International Standard Book Number
Entity
prime number
Entity
integer
Entity
John von Neumann
Entity
computer program
Entity
digital object identifier
Entity
binary numeral system
Entity
square root
Entity
Donald Knuth
Entity
parity
Entity
arithmetic progression
Entity
Turing machine
Entity
JSTOR
Organization
Marvin Minsky
Entity
factorization
Entity