https://www.marcogarosi.it/courses/computability/turing-complete-languages//