Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
-
Updated
May 22, 2026 - TeX
FFFF
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Записки по „Езици, автомати и изчислимост"
Solution of the problem sets of the course COL352- Introduction to Automata and Theory of Computation offered in Second (Holi) Semester 2021-22.
VUTBR - FIT: TIN 2018/2019
This repository contains small Turing Machine programs I wrote while studying theoretical computer science.
Mathematical foundations of computing---A full course on Automata Theory, Computation, Complexity and NP-hardness
Foundations of Computer Science
записки по курса ,,Машини, Езици, Сложност и Изчислимост"
This repository contains my notes on various topics of Theory of Computation. The notes are written in LaTeX and are available in both .tex source and compiled .pdf formats.
A TM project to implement a few Context-Free Grammars in C/C++
Additional LaTeX material for the course Automaten en Berekenbaarheid (2nd year Computer Science @ KU Leuven Kulak)
Python converter that turns JFLAP .jff Turing machine diagrams into LaTeX/TikZ, with example machines and manually curated diagram assets for automata coursework.
A first-principles derivation of physics
Tareas de Computabilidad: fundamentos y aplicaciones
Dějiny a filozofie techniky - Semestrální práce - Alan Turing
High level description language for Turing machines
Appunti di Informatica Teorica, Strutture Dati e Algoritmi
Add a description, image, and links to the turing-machine topic page so that developers can more easily learn about it.
To associate your repository with the turing-machine topic, visit your repo's landing page and select "manage topics."