TURING MACHINE COMPUTABILITY OF RULE DRIVEN SYSTEMS

摘要

A rule driven system is described, that it is calculated by a restricted turing machine. Gives semi-combinatorial descriptions to turing machine.