Robert Manson Sawko, Malgorzata Zimon
SIAM/ASA JUQ
Paper
LISP program-size complexity IV
Abstract
We present a new "character-string" oriented dialect of LISP in which the natural LISP halting probability asymptotically has maximum possible LISP complexity. © 1992.
Related
James Lee Hafner
Journal of Number Theory
R.B. Morris, Y. Tsuji, et al.
International Journal for Numerical Methods in Engineering
Ronen Feldman, Martin Charles Golumbic
Ann. Math. Artif. Intell.