一、数据传送指令 二、算术指令 三、逻辑指令 四、串处理指令 五、控制转移指令 六、处理机控制与杂项操作指令

1. What is word? 2. Morphology 3. Lexical change ◼ Formation of new words ◼ Phonological change ◼ Morphosyntactic change ◼ Semantic change ◼ Orthographic change

1.8086的寻址方式 与数据有关的寻址方式:

一、数制 二、数制之间的转换 三、运算 四、数和字符的表示

The halting problem is undecidable Decidability

◼ 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课件讲稿）Petri Net

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

Turing Machines Recursive and Recursively Enumerable Languages

本章将对形式语言和有限自动机理 论中所需的数学基础知识作扼要的 介绍。内容包括集合及其运算、关 系、证明的方法、图与树的概念 以及一些常用术语和形式语言与自 动机的发展