◼ knowledge of a basic formalism for modeling timed systems ◼ basic understanding of verification algorithms for timed systems (useful for practical modeling and verification)

南京大学：《形式语言与自动机 Formal Languages and Automata》课程教学资源（PPT课件讲稿）Transition System

Definitions Equivalence to Finite Automata

Definition Moves of the PDA Languages of the PDA Deterministic PDA’s

南京大学：《形式语言与自动机 Formal Languages and Automata》课程教学资源（PPT课件讲稿）Finite Automata

本章主要介绍几种常用的低压电器，基本的控制环节和保护环节的典型电路。 8.1 常用控制电器介绍 8.2 三相异步电动机的基本控制线路 8.3 行程控制 8.4 时间控制 8.5 顺序控制

实验一 戴维南定理与诺顿定理 实验二 日光灯电路及功率因数提高方法的研究 实验三 三相交流电路 实验四 三相异步电动机正反转控制 实验五 常用电子仪器的使用 实验六 单级放大电路 实验七 门电路逻辑功能及测试 实验八 数字电子秒表 附录 常用半导体集成电路引脚图

实验一 戴维南定理与诺顿定理 实验二 日光灯电路及功率因数提高方法的研究 实验三 三相交流电路 实验四 一阶RC电路的暂态响应 实验五 三相异步电动机正反转控制

5.1.1 确定的下推自动机 5.1.2 不确定的下推自动机 5.1.3 PDA接收语言的两种方式 5.1.4 广义PDA和单态PDA 5.2 上下文无关文法和范式 5.3 PDA与上下文无关语言

6.1 图灵机的基本模型 6.2 图灵机作为非负整数函数计算模型 6.3 图灵机的构造技术