一种图灵机识别语言算法的进一步描述①②

摘要

图灵机是作为一种可计算性的数学模型提出的，为计算机的发展奠定了理论基础。该文针对计算理论导引教材中一个图灵机算法实例的描述中不够完善的地方加以改进，从而保证了该图灵机描述的严谨性与可靠性。