上下文無關文法(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