Articles with example Lisp (programming language) code Computability theory Theorems in theory of computation Sm n theorem