The universal computer The Road from Leibniz to Turing Martin Davis

模拟DFA的Turing-MachineTM 模拟DFA的标准图灵机(TM)。 结果TM可以决定DFA是接受还是拒绝字符串。 输入包括已编码的DFA和需要输入到DFA中的已编码的字符串。 TM将在换能

描述了Turing用户模式的创建,简单的介绍的创建方法。

旋转机器的动画视觉工具包 大学论文项目:目标是创建一个动画学习应用程序,用于研究,创建和模拟图灵机的执行

turing5-static-data

COMPUTATIONAL STUDIES OF PATTERN FORMATION IN TURING SYSTEMS Teemu Leppänen Dissertation for the deg

PJBlog2 Martin Style

英文清晰版，MartinFowler大作，软件设计人员必看。

本书向读者提供了IDL的详细描述及如何使用IDL方面的知识，基于示例、由浅入深地阐述了各种IDL构造，并提供了示例C++和VB代码。本书分为两大部分，共10章。第一部分包括前6章，这部分完整地描述了I

IntroductiontoDynamicSystemsMartinCorless

DomainSpecificLanguagesBy:MartinFowlerPublisher:Addison-WesleyProfessionalPub.Date:September24,2010P