上下文无关文法（Context-Free Grammar, CFG）是一个4元组G=(V, T, S, P)，其中，V和T是不相交的有限集，S∈V，P是一组有限的产生式规则集，形如A→α，其中A∈V，且α∈(V∪T)*。V的元素称为非终结符，T的元素称为终结符，S是一个特殊的非终结符，称为文法开始符。 设G=(V, T, S, P)是一个CFG，则G产生的语言是所有可由G产生的字符串组成的集合，即L(G)={x∈T* | Sx}。一个语言L是上下文无关语言（Context-Free Language, CFL），当且仅当存在一个CFG G，使得L=L(G)。 *⇒ 例如，设文法G：S→AB A→aA|a B→bB|b 则L(G)={a^nb^m | n,m>=1} 其中非终结符都是大写字母，开始符都是S，终结符都是小写字母。
标签： Context-Free Grammar CFG
上传时间： 2013-12-10
上传用户：gaojiao1999
顺天科技JSP新闻发布系统1.0版 1. 运行环境：JDK 1.4, Resin或Tomcat 2. 数 据 库：access+JDBC-ODBC驱动 3. 其 他：IE5.0+ 本程序在JDK 1.4.2, Resin 3, Mysql 4.18, IE6.0 Win2K 环境测试成功。
标签： JDBC-ODBC Tomcat access Resin
上传时间： 2014-12-03
上传用户：libinxny
基于MCS-51单片机的数字钟设计 [摘要] III [ABSTRACT] IV 引言 1 1绪论 2 1.1 集成电路 2 1.2 主要技术的背景 2 1.2.1 发展历史 2 1.2.2 现状 3 1.2.3 发展趋势 3 2器件简介 4 2.1 LED显示器 4 2.1.1 LED显示器的结构 4 2.1.2 LED的接线形式 5 2.2 AT89C52简介 5 2.2.1 AT89C52主要性能参数： 5 2.2.2 AT89C52单片机的功能特性概述： 6 2.3 DS1302芯片 9 2.3.1 DS1302的性能特性： 9 2.3.2 DS1302数据操作原理 10 2.4 74LS164－八位移位寄存器 14 2.4.1 74LS64简介 14 2.4.2 74LS164逻辑介绍： 15 3硬件电路 17 3.1 线路的设计 17 3.1.1 电源转换模块 18 3.1.2 主控制模块 18 3.1.3 显示模块 19 3.1.4 键盘接口设计 20 3.2 电路图的绘制 20 3.3 电路板的焊接 20 3.4 打开电源前应注意的问题 20 4软件设计部分 21 4.1 阳历程序的设计 21 4.2 时间调整程序设计 21 4.3 阴历程序设计 23 5调试 28 6小结 29 7致谢 30 8参考文献 31 9附录 32
上传时间： 2015-10-17
上传用户：xuan‘nian
基于C/S模式的考试系统的研究与开发 1 1. 前言 1 1.1 MICROSOFT VISUAL STUDIO .NET 2003开发平台和C#语言的特点 1 1.2用C/S模式开发计算机考试系统的优越性 1 2. 系统分析 2 2.1系统基本情况描述 2 2.2 可行性分析 2 2.3 需求分析 3 2.3.1采用SA方法画出计算机考试系统的一套分层数据流图 3 2.3.2数据词典 4 3. 系统设计 4 3.1系统配置 4 3.2系统概要设计 4 3.2.1系统结构图 4 3.2.2模块功能及界面设计 4 3.2.3模块界面设计 5 3.3系统详细设计 6 3.3.1模块详细设计 6
标签： MICROSOFT VISUAL STUDIO 2003
上传时间： 2013-12-26
上传用户：dragonhaixm
摘 要 I Summary II 1.系统概述 1 1.1 系统及需求分析 1 1.1.1 系统需求 1 1.1.2可行性分析 1 1.2系统设计的背景 5 1.3系统的功能简介 8 1.4系统开发的目标 10 2. 系统分析 11 2.1业务流程分析 11 2.2数据流程分析： 13 2.3数据存储分析：实体联系图 14 2.4功能分析：功能层次图 16 3.系统设计 17 3.1软件模块结构设计 17 3．2数据库设计 18 4.系统的功能 23 4．1系统登陆界面： 23 4．2系统主界面： 26 4．3用户管理模块： 38 4．4学生缴费管理模块： 43 5.系统的实现 55 5．1系统开发环境： 55 5.2系统测试： 55 5.3 系统运行与维护： 58 5．4系统的转换方案： 59 6.全文总结 60 致 谢 61 参考文献 62
上传时间： 2015-10-23
上传用户：aa17807091
Stellaris Luminary Micro 系列之 DK-LM3S102 多个学习范例全都是基于 Keil 工程版的范例, 而范例内容列举如下: 1.BitBand 2.Comparator 3.GPIO_JTAG 4.GPIO_LED 5.Hello 6.Interrupts 7.QS_DK_LM3S102 8.SSI_Atmel 9.Timers 10.UART_Out 11.WatchDog 12.RTX_Blinky 13.I2C_Atmel 14.Blinky 等
标签： Comparator Stellaris Luminary BitBand
上传时间： 2015-12-31
上传用户：yzy6007
Stellaris Luminary Micro 系列之 DK-LM3S301 多个学习范例全都是基于 Keil 工程版的范例, 而范例内容列举如下: 1.BitBand 2.Comparator 3.GPIO_JTAG 4.GPIO_LED 5.Hello 6.Interrupts 7.QS_DK_LM3S301 8.SSI_Atmel 9.Timers 10.UART_Out 11.WatchDog 12.PWMgen 等
标签： Comparator Stellaris Luminary BitBand
上传时间： 2015-12-31
上传用户：wangyi39
Stellaris Luminary Micro 系列之 DK-LM3S310 多个学习范例全都是基于 Keil 工程版的范例, 而范例内容列举如下: 1.BitBand 2.Comparator 3.GPIO_JTAG 4.GPIO_LED 5.Hello 6.Interrupts 7.QS_DK_LM3S310 8.SSI_Atmel 9.Timers 10.UART_Out 11.WatchDog 12.PWMgen 等
标签： Comparator Stellaris Luminary BitBand
上传时间： 2013-12-27
上传用户：llandlu
Stellaris Luminary Micro 系列之 DK-LM3S316 多个学习范例全都是基于 Keil 工程版的范例, 而范例内容列举如下: 1.BitBand 2.Comparator 3.I2C_Atmel 4.GPIO_LED 5.Hello 6.Interrupts 7.QS_DK_LM3S316 8.SSI_Atmel 9.Timers 10.UART_Out 11.WatchDog 12.PWMgen 等
标签： Comparator Stellaris Luminary BitBand
上传时间： 2014-01-27
上传用户：moshushi0009
Stellaris Luminary Micro 系列之 DK-LM3S801 多个学习范例全都是基于 Keil 工程版的范例, 而范例内容列举如下: 1.BitBand 2.Comparator 3.GPIO_JTAG 4.GPIO_LED 5.Hello 6.Interrupts 7.QS_DK_LM3S801 8.SSI_Atmel 9.Timers 10.UART_Out 11.WatchDog 12.PWMgen 13.I2C_Atmel 等
标签： Comparator Stellaris Luminary BitBand
上传时间： 2015-12-31
上传用户：www240697738
