Projet académique visant à implémenter et simuler des constructions théoriques de machines de Turing. Il permet d'émuler des machines fonctionnant sur des alphabets à n symboles avec une machine binaire, de visualiser des graphes de flux de contrôle, et de simuler des machines à bandes multiples. Les exemples incluent des calculs comme le castor affairé ou des opérations logiques comme le XOR.