大学语言文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：544.5KB　文档页数：86

9.1 结构体 9.2 共用体 9.3 枚举类型与类型命名

清华大学：《汇编语言程序设计》第九章 BIOS和DOS中断

文档格式：PPT　文档大小：66KB　文档页数：10

一、DOS中断调用二、BIOS中断调用

西华师范大学：《汇编语言程序设计》第二章 IBM PC微型计算机

文档格式：PPS　文档大小：850KB　文档页数：60

一、硬件( Hardware) 控制器、运算器存储器输入设备和输出设备软件(Software)

南京大学：《形式语言与自动机 Formal Languages and Automata》课程教学资源（PPT课件讲稿）Decidability, Complexity（P, NP, NPC and related）

文档格式：PPTX　文档大小：475.48KB　文档页数：100

The halting problem is undecidable Decidability

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

文档格式：PPT　文档大小：4.56MB　文档页数：60

◼ 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

文档格式：PPTX　文档大小：3.17MB　文档页数：84

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

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

文档格式：PPTX　文档大小：3.01MB　文档页数：69

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

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

文档格式：PPTX　文档大小：1.45MB　文档页数：91

Turing Machines Recursive and Recursively Enumerable Languages

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

文档格式：PPTX　文档大小：870.24KB　文档页数：106

Definitions Equivalence to Finite Automata

南京大学：《形式语言与自动机 Formal Languages and Automata》课程教学资源（PPT课件讲稿）Properties of CFL（The Pumping Lemma for CFL’s）

文档格式：PPTX　文档大小：320.44KB　文档页数：54

Statement Applications