项目描述 ：
Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.

高级语言： JavaScript

项目主页：

项目地址: git://github.com/eric11eca/AutomatonStudio.git

创建时间： 2020-07-20T23:15:26Z
项目社区：https://github.com/eric11eca/AutomatonStudio
开源协议：Apache License 2.0
下载