上下文无关文法（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
GNU Make 使用手册（中译版） Make 可自动决定一个大程序中哪些文件需要重新编译，并发布重新编译它们的命令。本版本GNU Make使用手册由Richard M. Stallman and Roland McGrath编著，是从Paul D. Smith撰写的V3.76版本发展过来的。 GNU Make符合IEEE Standard 1003.2-1992 (POSIX.2) 6.2章节的规定
上传时间： 2015-09-26
上传用户：aix008
请将您需要的文件或目录拷贝到硬盘中。当\Source目录下的源文件被拷贝到硬盘上时，源文件的属性可能变为只读的，在编译之前应该将它们的属性改为可读写的。 \Source目录中的vcip.dsw包含了全书的所有项目，在Visual C++中打开它就能控制全部的代码。 光盘中各目录的内容如下所示： \Bin 本书所有示例的可执行文件，可直接在光盘中运行 \Images 用于图像处理测试的图像文件 \Source\ShowDIB 第2章2.5节示例的源程序 \Source\ViewDIB 第3章3.4节示例的源程序 \Source\EffectShow 第4章4.10节示例的源程序 \Source\TransformShow 第5章5.7节示例的源程序 \Source\ColorProcess 第6章6.10节示例的源程序 \Source\ImageProcess 第7章7.14节示例的源程序 \Source\Huffman 第8章8.1节示例的源程序 \Source\LZW 第8章8.1节示例的源程序 \Source\RLE 第8章8.1节示例的源程序 \Source\ViewImage 第8章8.7节示例的源程序 \Source\ImageLib 第9章9.1节图像工具库ImageLib的源程序 \Source\ImageBoard 第9章9.2节图像处理工具ImageBoard的源程序
上传时间： 2013-12-22
上传用户：jiahao131
本备忘录的状态 本文档讲述了一种Internet社区的Internet标准跟踪协议，它需要进一步进行讨论和建议以得到改进。请参考最新版的“Internet正式协议标准”(STD1)来获得本协议的标准化程度和状态。本备忘录的发布不受任何限制。 摘要 本文档描述了对于IPv6的路径MTU探索。它很大程度上是从RFC1191（描述了对于IPv4的路径MTU探索）发展而来的。 目 录 摘 要 1 1 引言 2 2 术语 2 3 协议概述 3 4 协议需求 4 5 执行问题 5 5．1 分层 5 5．2 存储PMTU信息 5 5．3 清除陈旧PMTU信息 7 5．4 TCP层动作 7
上传时间： 2014-01-01
上传用户：李梦晗
婴儿出生信息登记系统 .按键1可以录入一条婴儿材料，其中婴儿母亲、婴儿性别和护理人员代码不能为空，其他数据如果需要为空请输入 / 。 2.按键2可以查看婴儿材料保存文件里面的所有婴儿材料。 3.按键3可以通过输入婴儿父母姓名、婴儿性别、婴儿出生医院或者婴儿出生日期进行查找。 4.按键4可以显示超低重婴儿材料，超低重婴儿标准是低于1kg。 5.按键5可以通过输入婴儿编号确定需要修改材料的婴儿，然后可以通过输入所需修改的项目，对婴儿材料除婴儿编号以外的数据进行修改。 6.按键6可以通过输入婴儿编号来确定要删除的婴儿材料。 7.按键7查看使用说明。 8.按键8退出婴儿信息登记系统。
上传时间： 2013-12-24
上传用户：BIBI
The latest release, ver 1.16 of the ARM (7TDMI, 720T, 920T) port for uC/OS-II V2.61 (and higher) includes ports for the following platforms: 1. S3c2410x ( ARM920T from Samsung ) on SMDK2410 eval board. 2. LPC2xxx - LPC210x & LPC213x ( ARM7TDMI-S from Philips ) on IAR s Kickstart & OLIMEX boards. 3. EP7312 ( ARM720T from CIRRUS ) on CDK238 eval board. Should also work on boards based on the CS89712. Tool-chains: GCC 3.3.2, ADS 1.2 & SDT 2.51. Op-modes: Pure ARM & ARM-THUMB interworked. Endianess: Big endian & Little endian modes
标签： release latest higher OS-II
上传时间： 2014-01-26
上传用户：小眼睛LSL
二次开发模块 一、条形码的批量生成， 款式：由存货(7)+颜色(2)+尺码(2)+供应码(2)+年份(4)+月份(2)+流水号(6)自由组合生成 面料：由存货(7)+颜色(2)+供应码(2)自由组合生成 （1）由于每件款式的条码是唯一的，其数据量相当大，在数据库存储方面若按以往的方式处理，估计数据库是无法承受。故需采用新的存储方式，在这存储方面就需花较多的时间方可解决。 （2）条码生成后需同时往用友数据库（表：InventoryBarCodeSet）插入数据，以供用友制单时提供对应关系。
上传时间： 2014-09-11
上传用户：康郎
移植qtopia必备库源代码，总共六个,分别是 e2fsprogs-1.38.tar.gz jpegsrc.v6b.tar.gz qt-embedded-2.3.10-free.tar.gz qtopia-free-source-2.1.1.tar.bz2 qt-x11-2.3.2.tar.gz tmake-1.13.tar.gz
上传时间： 2015-12-30
上传用户：shizhanincc
使用Flash提供的Web Service的能力，利用這個能力與SOAP Server連接並做資料的存取。而這篇文章將以一個極簡單的範例來說明如何透過Flash取得想要的資料。關於SOAP Server的製作請參考之前撰寫的"Pyhon的SOAP Library"這篇文章，這篇文章有教大家如何使用python這個程式語言實作一個RPC Server，提供其他程式作遠端呼叫。我提供RPC Server的製作，而我會使用python來架構RPC Server，使用python內建的函式庫來實作該Server。 需要工具； 1. Flash 8.0 2. Python 2.3 以上
上传时间： 2014-01-25
上传用户：cc1915
We have a group of N items (represented by integers from 1 to N), and we know that there is some total order defined for these items. You may assume that no two elements will be equal (for all a, b: a<b or b<a). However, it is expensive to compare two items. Your task is to make a number of comparisons, and then output the sorted order. The cost of determining if a < b is given by the bth integer of element a of costs (space delimited), which is the same as the ath integer of element b. Naturally, you will be judged on the total cost of the comparisons you make before outputting the sorted order. If your order is incorrect, you will receive a 0. Otherwise, your score will be opt/cost, where opt is the best cost anyone has achieved and cost is the total cost of the comparisons you make (so your score for a test case will be between 0 and 1). Your score for the problem will simply be the sum of your scores for the individual test cases.
标签： represented integers group items
上传时间： 2016-01-17
上传用户：jeffery
