Functional and Logic Programming - Logic Project - Turing Machine
prolog logic-programming swi-prolog turing-machine theoretical-computer-science turing-machine-simulator vut vut-fit flp
- Updated
Aug 13, 2021 - Prolog
Functional and Logic Programming - Logic Project - Turing Machine
A universal turing machine implemented in SWI-Prolog with sample machines from Alan Turing original paper in 1936
Implementation of nondeterministic turing machine with Prolog
Functional and Logic Programming - Logic Project - Turing Machine
Turing machine implementation in SWI Prolog.
Add a description, image, and links to the turing-machine-simulator topic page so that developers can more easily learn about it.
To associate your repository with the turing-machine-simulator topic, visit your repo's landing page and select "manage topics."