形式课程文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：9.17MB　文档页数：137

●组合体的组合形式 ●组合体视图的画法 ●看组合体视图的方法 ●组合体的尺寸注法

南京大学：《形式语言与自动机 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

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

文档格式：PPTX　文档大小：349.58KB　文档页数：68

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

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

文档格式：PPTX　文档大小：478.29KB　文档页数：99

Formalism Derivations Backus-Naur Form Left- and Rightmost Derivations