形式语言与自动机_笔记整理(三)_图灵机与递归语言、递归可枚举语言

Turing Machines Turing-Machine Theory Picture of a Turing Machine Turing-Machine Formalism Instantaneous Descriptions of a Turing Machine Formal Definition of Moves Languages of a TM Recursively Enume

>>阅读原文<<