Programming Languages
Home
csci-env
Part I: Theory of Computation
▶ Turing Machines
Home
Part I: Theory of Computation
☑ History of Computation
▶ Formal Languages
▶ Turing Machines
☐ Lambda Calculus
☐ Rewriting Rules
☐ Arithmetics
☐ Programming in LC
Part II: Lisp and Clojure
☐ Lisp
☐ Clojure: Constructs & Scoping
☐ Loops
☐ Data Structures
☐ Functional Programming
☐ Macro Programming
Part III: Types and Kotlin
☐ Type Systems
? Kotlin - the programming language
? Function Programming in Kotlin
? Some Examples of Kotlin
On this page
1
Designing Turing Machines
2
The Universal Turing Machine
3
The Halting Problem & Decidability
▶ Turing Machines
1
Designing Turing Machines
PDF
2
The Universal Turing Machine
PDF
3
The Halting Problem & Decidability
PDF