Theo project is a simulator for Turing Machines and Finite Automatons. Its a simulator for various machine concepts found in theoretical computer science

图灵机，又称确定型图灵机，是英国数学家阿兰·图灵于1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。-Turing machine, also known as deterministic Turing machine, a British mathematician Alan Turing proposed in 1936, an abstract model, its more abstract meaning of a