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
Slides
2
The Universal Turing Machine
Slides
3
The Halting Problem & Decidability
Slides