< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
本程序要求用户在控制台里输入非终极符，终结符与产生式，然后对用户输入的文法进行分析，得出first集 与follow 集，并打印出预测分析表用户决定是否继续进行句型分析，如继续则给出符号分析栈的实现，从而判断刚输入的句子是否为符合该文法的句子。 该程序遵循LL（1） 文法FIRST（A）的构造：是A的所有可能推导的开头终结符或可能的ε FOLLOW（A）是所有句型中出现在紧接A之后的非终结符或“#” 预测分析程序 构造LL（1）分析表 ⅰ，构造文法中所有元素的FIRST和FOLLOW集合 ⅱ，对文法G的每个产生式A->α执行第三步和第四步 ⅲ，对每个终结符a∈FIRST（α）,把A->α加至M[A，a] ⅳ，若ε∈FIRST（α），则对任何b∈FOLLOW(A)把A->α加至M[A，b]中 ⅴ，把所有无定义的M[A，a]标上“出错标志”
上传时间： 2013-12-27
上传用户：jackgao
sourceforge历史版本完整下载: http://sourceforge.net/project/showfiles.php?group_id=202044 提供了基于b树索引算法的文件数据数据库模块详见storage/目录下面的 btree.c与pager.c container目录为常用的容器实现，如果rbtree avltree map heap list vector hashtable deque T树 B树, test目录为测试程序代码经过初步测试，比较稳定。 os_api:装一些操作系统相关的接口函数。已完成event mutex sem thread pipe相关的封装 advance_container:提供优先级消息队列,普通消息队列，定时器容器。 frame:目前提供了listerner（linux下版本，模仿ace的反应器）定时器 algorithm:补充了堆排序 与快速排序 所有代码均已在windows linux与uclinux + arm44b0平台下测试 欢迎交流 msn:lsccsl@163.net mail:lsccsl@tom.com
标签： sourceforge showfiles group_id project
上传时间： 2016-07-16
上传用户：lili123
高斯－塞德尔迭代法算法： 设方程组AX=b 的系数矩阵的对角线元素 ，M为迭代次数容许的最大值， 为容许误差。 ① 取初始向量 ，令k=0 ② 对 计算 ③ 如果 ，则输出 ，结束；否则执行④， ④ 如果 ，则不收敛，终止程序；否则 ，转②。
上传时间： 2014-01-22
上传用户：集美慧
该程序的功能是把演示板当做一个按键计数器。接通电源时，按下IDE软软件的运行键6只数码管全显示000000。 每按下开关S3（RB0）时，计数器的值加1，数码管显示也增加1，然后松开按钮；以些类推，反复循环。 2、程序中包含按键按下检测跟释放检测，并且都伴有一定的延时去抖功能，只有在一次按键被释放后才进行第2次按键的判断 3、程序中需开启B口的内部弱上拉功能，因DEMO板上无上拉电阻；并把A口全部设置为普通I/O口，上电复位后A口为模拟输入口
上传时间： 2016-08-30
上传用户：frank1234
自己的51开发板源代码B，里面包含有LCD1602实验，lcd12864实验，ps2 lcd1602，串口通讯，红外遥控，计算器，继电器控制，矩阵键盘等实验程序，内容丰富
上传时间： 2016-09-06
上传用户：wab1981
IEEE 802.11a/b/g 服务器端AP，应用程序。
上传时间： 2014-11-30
上传用户：zhichenglu
B/S模式的网络聊天室，客户端使用浏览器和服务器端的java应用程序进行通信
上传时间： 2013-12-22
上传用户：王小奇
实现B-树的创建、插入、删除、遍历等功能，并以层序方式通过程序台显示输出。
上传时间： 2016-11-04
上传用户：jeffery
C语言是在 70年代初问世的。一九七八年由美国电话电报公司(AT&T)贝尔实验室正式 发表了C 语言。同时由B.W.Kernighan和 D.M.Ritchit合著了著名的“THE C PROGRAMMING LANGUAGE”一书。通常简称为《K&R》，也有人称之为《K&R》标准。但是，在《K&R》中并 没有定义一个完整的标准C语言，后来由美国国家标准学会在此基础上制定了一个C 语言 标准，于一九八三年发表。通常称之为ANSI C。 当代最优秀的程序设计语言
标签： Kernighan Ritchit PROGRA THE
上传时间： 2016-12-23
上传用户：chens000
