GitHub - ajuncosa/ft_turing: Functional implementation in OCaml of a single infinite tape Turing machine. · GitHub

Repository navigation

ft_turing

Public

About

Functional implementation in OCaml of a single infinite tape Turing machine.

functional-programming ocaml

0 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
machine_descriptions		machine_descriptions
src		src
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
create_utm.py		create_utm.py

Repository files navigation

Some useful links:

Turing Machines (Stanford Encyclopedia of Philosophy)
Machines de Turing
OCaml Programming: Correct + Efficient + Beautiful
Data Structures and Functional Programming (Cornell University CS3110 Spring 2012 lecture notes)
Module Pervasives

About

Functional implementation in OCaml of a single infinite tape Turing machine.

functional-programming ocaml

0 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages