A HTML/JS web application that converts a Turing machine to an untyped lambda calculus term (and vice versa) within a polynomial time complexity.
Home Page:https://n-alex-goncalves.github.io/Turing-Machine-Lambda-Calculus-Converter/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool