点击切换搜索课件文库搜索结果(990)
文档格式:PPT 文档大小:640KB 文档页数:37
一、数据传送指令 二、算术指令 三、逻辑指令 四、串处理指令 五、控制转移指令 六、处理机控制与杂项操作指令
文档格式:PPT 文档大小:383.5KB 文档页数:59
1. What is word? 2. Morphology 3. Lexical change ◼ Formation of new words ◼ Phonological change ◼ Morphosyntactic change ◼ Semantic change ◼ Orthographic change
文档格式:PPT 文档大小:172.5KB 文档页数:24
1.8086的寻址方式 与数据有关的寻址方式:
文档格式:PPT 文档大小:329.5KB 文档页数:21
一、数制 二、数制之间的转换 三、运算 四、数和字符的表示
文档格式:PPTX 文档大小:475.48KB 文档页数:100
The halting problem is undecidable Decidability
文档格式: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)
文档格式:PPTX 文档大小:3.17MB 文档页数:84
南京大学:《形式语言与自动机 Formal Languages and Automata》课程教学资源(PPT课件讲稿)Petri Net
文档格式:PPTX 文档大小:3.01MB 文档页数:69
南京大学:《形式语言与自动机 Formal Languages and Automata》课程教学资源(PPT课件讲稿)Transition System
文档格式:PPTX 文档大小:1.45MB 文档页数:91
Turing Machines Recursive and Recursively Enumerable Languages
文档格式:PPT 文档大小:219KB 文档页数:127
本章将对形式语言和有限自动机理 论中所需的数学基础知识作扼要的 介绍。内容包括集合及其运算、关 系、证明的方法、图与树的概念 以及一些常用术语和形式语言与自 动机的发展
首页上页8384858687888990下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有