《形式语言与自动机》1绪论要点.ppt

* College of Computer Science Technology, BUPT 根据结构不同，自动机又可分为有限自动机，下推自动机，图灵机等。 下推自动机可以看作是由一条输入带，一个有限控制器和一个下推栈组成。 基本图灵机由一个具有读写头的有限控制器和一条无限带组成。 使用自动机，可以形式化的描述现实世界中的一些问题。 * College of Computer Science Technology, BUPT 3．形式语言与自动机的关系 形式语言和自动机是密切相关的。 形式语言 ―― 字符串 自动机 ―― 字符串的识别系统 根据复杂程度可将形式语言分类，根据自动机的接受能力、处理能力的不同也将自动机分类。二者之间具有较好的对应关系。 * College of Computer Science Technology, BUPT * College of Computer Science Technology, BUPT 语言与有限自动机（Finite Automata） 设 T = ? 0, 1 ?， L = ? ω ?ω中至少有一个0 ?， 如 0011, 10, 110111 ? L, 而11, ?, 1111 ? L。 下图是一个可接受该语言的有限状态自动机? * College of Computer Science Technol