Ruso37/Turing-Machine-Project

A Python-based project exploring Decidability and Undecidability using Turing Machine simulations

Language: Python - Size: 9.77 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 0

Shweta31410/Turing-Machine-Project

A Python-based project exploring Decidability and Undecidability using Turing Machine simulations

Language: Python - Size: 5.86 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

schependom/KULAK_automaten-en-berekenbaarheid

Additional LaTeX material for the course Automaten en Berekenbaarheid (2nd year Computer Science @ KU Leuven Kulak)

Language: TeX - Size: 2.48 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

vedgar/izr

Language: TeX - Size: 17.6 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

infof408/solutions

:pencil: Solutions to the exercise sessions

Language: TeX - Size: 178 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 2

europ/VUTBR-FIT-TIN

VUTBR - FIT: TIN 2018/2019

Language: TeX - Size: 13.4 MB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 2