coq-library-undecidability icon indicating copy to clipboard operation
coq-library-undecidability copied to clipboard

Published 20 hours ago • verified publisher icon uds-psl

replaced TM/Univ by top-level UTM construction

Open mrhaandi opened this issue 2 years ago • 0 comments

Universal, binary Turing machine with 1 tape The construction is via a universal Krivine machine simulation.

mrhaandi avatar Sep 01 '22 13:09 mrhaandi