Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@n-alex-goncalves
n-alex-goncalves authored Aug 1, 2023
1 parent 0e15951 commit 1ab4401
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<img src="img/logo.PNG">
</a>

Website: https://n-alex-goncalves.github.io/Turing-Machine-Lambda-Calculus-Intepreter/
Website: https://n-alex-goncalves.github.io/TuringMachineLambdaCalculusIntepreter/

This is a web application that provides an interpreter for simulating and translating between the lambda calculus system and Turing machines. The application can translate in both directions, converting from the weak lambda calculus to the multi-tape Turing machine, or from the single-tape Turing machine to the weak lambda calculus.

Expand Down

0 comments on commit 1ab4401

Please sign in to comment.