上下文無關文法（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
OReilly.Ajax.on.Rails.Dec.2006. ISBN-10: 0-596-52744-6. Learn to build dynamic, interactive web applications using the two most important approaches to web development today: Ajax and the phenomenally efficient Ruby on Rails platform. This book teaches intermediate to advanced web developers how to use both Ajax and Rails to quickly build high-performance, scalable applications without being overwhelmed with thousands of lines of JavaScript code. More than just recipes, you also get a thorough, low-level understanding of what s happening under the hood.
標簽： interactive OReilly dynamic 52744
上傳時間： 2015-10-07
上傳用戶：獨孤求源
RTX-51 is a runtime library that, together with C51, allows real-time systems to be implemented for all processors of the 8051 family (e.g., 8051, 8052, 80515, etc.), except for the 8?C751 and 8?C752. RTX-251 extends the functionality of the RTX-51 to the new intel MCSÒ 251 family of processors. It is available as a set of runtime libraries supporting the binary and the source mode to be used with the C251.
標簽： implemented real-time together runtime
上傳時間： 2013-12-13
上傳用戶：refent
圖的深度優先遍歷和廣度優先遍歷，以鄰接矩陣方式輸入。（按照提示輸入）！ - The chart depth first spreads the calendar and the breadth first spreads the calendar, is next the matrix way input. (According
標簽：
上傳時間： 2014-01-27
上傳用戶：徐孺
％BIQPBOX Bisection reflective line search for sqpbox ％ [nx,nsig,alpha] = BIQPBOX(s,c,strg,x,y,sigma,l,u,... ％ oval,po,normg,DS,mtxmpy,data,H) ％ returns the new feasible point nx, the corresponding sign vector nsig, ％ and the step size of the unreflected step, alpha. ％ Copyright (c) 1990-98 by The MathWorks, Inc. ％ $Revision: 1.2 $ $Date:
標簽： BIQPBOX reflective Bisection search
上傳時間： 2013-12-17
上傳用戶：sk5201314
Student status management system is development two aspects that typical information management system, IMS( MIS), its development includes primarily the background database creates with support and the front end applies the procedure.Creates to rise to the former request the consistency of data is strong with the integrity, the library that the safeness of data like.But request the latter very much to apply the procedure function complete, easy usage etc. characteristics.
標簽： management development information Student
上傳時間： 2015-11-01
上傳用戶：1101055045
This paper presents an interactive technique that produces static hairstyles by generating individual hair strands of the desired shape and color, subject to the presence of gravity and collisions. A variety of hairstyles can be generated by adjusting the wisp parameters, while the deformation is solved efficiently, accounting for the effects of gravity and collisions. Wisps are generated employing statistical approaches. As for hair deformation, we propose a method which is based on physical simulation concepts but is simplified to efficiently solve the static shape of hair. On top of the statistical wisp model and the deformation solver, a constraint-based styler is proposed to model artificial features that oppose the natural flow of hair under gravity and hair elasticity, such as a hairpin. Our technique spans a wider range of human hairstyles than previously proposed methods, and the styles generated by this technique are fairly realistic.
標簽： interactive hairstyles generating technique
上傳時間： 2013-12-20
上傳用戶：sssl
Spikes can be taken as absolute quantities of measuring values which are large than approximately four (expressed as variable [Times_SD] in the program)times of the standard deviation of the time series, and can be removed by repeating 3 times with each time series. When a measuring value with the deviation from the mean larger than four times of the standard deviation, the variable can be taken as NO_VALUE, and the number of spikes is saved into the variable [SpikeNum]. If the variable [Times_SD] is taken as four, many records will be removed, so the variable [Times_SD] can be taken as larger, for example eight.
標簽： approximately quantities measuring absolute
上傳時間： 2015-11-09
上傳用戶：yangbo69
一:需求分析 1. 問題描述 魔王總是使用自己的一種非常精練而抽象的語言講話,沒人能聽懂,但他的語言是可逐步解釋成人能聽懂的語言,因為他的語言是由以下兩種形式的規則由人的語言逐步抽象上去的: ----------------------------------------------------------- (1) a---> (B1)(B2)....(Bm) (2)[(op1)(p2)...(pn)]---->[o(pn)][o(p(n-1))].....[o(p1)o] ----------------------------------------------------------- 在這兩種形式中,從左到右均表示解釋.試寫一個魔王語言的解釋系統,把 他的話解釋成人能聽得懂的話. 2. 基本要求: 用下述兩條具體規則和上述規則形式(2)實現.設大寫字母表示魔王語言的詞匯 小寫字母表示人的語言的詞匯 希臘字母表示可以用大寫字母或小寫字母代換的變量.魔王語言可含人的詞匯. (1) B --> tAdA (2) A --> sae 3. 測試數據: B(ehnxgz)B 解釋成 tsaedsaeezegexenehetsaedsae若將小寫字母與漢字建立下表所示的對應關系,則魔王說的話是:"天上一只鵝地上一只鵝鵝追鵝趕鵝下鵝蛋鵝恨鵝天上一只鵝地上一只鵝". | t | d | s | a | e | z | g | x | n | h | | 天 | 地 | 上 | 一只| 鵝 | 追 | 趕 | 下 | 蛋 | 恨 |
上傳時間： 2014-12-02
上傳用戶：jkhjkh1982
In addition to individual algorithm, Demonstration System is a "data structure" (C language version) book algorithm corresponding to the code (CPP) and the test operating procedures (VC + +6.0 to the EXE). Through the system can demonstrate that the algorithm source code and operating results
標簽： Demonstration individual algorithm structure
上傳時間： 2013-12-24
上傳用戶：change0329
<li id="weqie"></li>