終結符和非終結符在電腦科學和語言學的领域是用來指定推導規則的元素。在某個形式語法之中,終結符和非終結符是兩個不交的集合。 終結符是一個形式語言的基本符號。就是說,它們能在一個形式語法的推導規則的輸入或輸出字符串存在,而且它們不能被分解成更小的單位。確切地說,一個語法的規則不能改變終結符。例如說,下面的語法有兩個規則:...
3 KB (423 words) - 02:31, 8 February 2022
一个分析栈,用于储存等待处理的终结符与非终结符的。 一张分析表,标记了是否存在可用于目前分析栈与下一个输入符号的语法规则。 分析器根据分析栈的栈顶符号(行)以及当前输入流中的符号(列)来决定使用哪一条规则。 当分析器一开始执行时,分析栈中已经有两个符号: [ S, $ ] '$'时一个特殊的终结符...
13 KB (2,058 words) - 04:49, 17 December 2024
与递归语言的区别,后者是前者的一个真子集,是能够被一个总停机的图灵机判定的语言。 1-型文法(上下文相关文法)生成上下文相关语言。这种文法的产生式规则取如 αAβ -> αγβ 一样的形式。这里的A 是非终结符号,而 α, β 和 γ 是包含非终结符号与终结符号的字串;α, β 可以是空串,但...
4 KB (513 words) - 09:48, 29 November 2022
非终结符A的解析函数的递归调用。 序列操作符 e1e2 首先调用 e1, 如果 e1成功, 接着对 e1 消耗剩下的输入字符串调用 e2, 最后返回结果。如果 e1 或者 e2 失败,那么序列表达式 e1e2 失败。 选择操作符 e1 / e2 首先调用 e1, 如果...
16 KB (2,360 words) - 10:43, 28 April 2024
形式,使其适合预测性解析。预测性解析器也可以使用 ANTLR 之类的工具自动生成。 预测性解析器可以用每个非终结符号的过渡图来描述,其中初始状态和最终状态之间的界限由生成规则右侧的符号(终结符和非终结符)来界定。 以下类似 EBNF 的文法(用于尼克劳斯·维尔特的 PL/0(英语:PL/0) 编程语言,出自...
11 KB (1,276 words) - 19:33, 7 February 2023
范式的,当且仅当所有产生规则都有如下形式: AB → CD 或 A → BC 或 A → B 或 A → α 这里的 A, B, C 和 D 是非终结符而 α 是终结符。 所有 Kuroda 范式的文法都是单调的,因此生成上下文有关语言。反过来说,所有不生成空串的上下文有关语言都可以被 Kuroda 范式的文法所生成。...
854 bytes (125 words) - 17:41, 5 August 2019
非终结符 和/或 终结符,或者推导方案可以由一个单一的非终结符或终结符端或空串组成。如果一个简单的分析程序适用于这些推导方案,语法分析组合子可以用来组合这些分析器,返回一个新的分析器,这可以识别出的任何推导方案。 在支持 运算符重载 的语言中,一个语法分析组合子可以使用 中缀 操作符...
5 KB (940 words) - 14:35, 9 June 2023
在上下文無關文法內裡的說法,若一個非终结符號(non-terminal)r有任何直接的文法規則或者透過多個文法規則,推導出的句型(sentential form)其中最左邊的符號 又會出現r,則我們說這個非终结符號r是左遞歸的。 使用類似的方式我們可以定義出某文法本身是左遞歸的。 "一個文法是左遞歸的,若我們可以找出其中存在某非...
12 KB (1,826 words) - 22:02, 24 September 2021
非终结符 A,可以通过产生式规则生成一个以 A 为最左边符号的字符串,那么上下文无关语言的文法就是左遞歸的。 尽管有大量关于语法分析算法的文献,但这些算法大多假设要被分析的语言最初是通过生成式文法来描述的,并且目标是将生成式文法转换成一个有效的语法分析器。严格地说,生成文法不能在任何方面都与...
21 KB (3,296 words) - 18:51, 27 September 2024
G=(V,\Sigma ,R,S)} 这里的 V {\displaystyle V} 是“非终结”符号或变量的有限集合。它们表示在句子中不同类型的短语或子句。 Σ {\displaystyle \Sigma } 是“终结符”的有限集合,无交集于 V {\displaystyle V} ,它们构成了句子的实际内容。...
5 KB (965 words) - 12:40, 8 July 2021
在C语言中,字符串是以字符数组的形式进行存储的,且在数组中以'\0'作为终结符。由于'\0'在ASCII中表示空字符(NULL),即在语意上不可能有有效字符与之重复,故用其来表示字符串的结尾至少在ASCII编码下是合理的。 在C++语言中,除了继承了C语言中的这种...
2 KB (439 words) - 07:00, 24 September 2021
非利卡语一樣』產生這麼多的爭議」。 阿非利卡语原本是一種在南非所使用的荷兰语方言,基本上是在1652年到1705年之間、由信仰基督新教的歐洲移民以及被荷兰东印度公司帶到南非的契約工人與奴隸所共同發展出來的。這些歐洲移民大多數都是荷蘭移民,也有不少德國及法國移民。此外,也還有一些來自蘇格蘭與...
28 KB (3,252 words) - 12:11, 15 December 2024
随着大不里士的攻克萨非王朝的开始,1501年5月伊斯迈尔一世立大不里士为其首都,自称为阿塞拜疆沙阿,他继续向伊朗西北扩展他的领域。1502年他自称伊朗沙阿。此后他击退了鄂圖曼帝国的进攻,消灭了白羊王朝的余党,并继续扩张:1503年他占领哈马丹、1504年设拉子和克尔曼,同年入侵馬贊德蘭終結...
20 KB (2,869 words) - 05:28, 16 May 2024
SQL (category 包含FAST标识符的维基百科条目)
SQL语句也包括分號(";")语句终结符。尽管并不是每个平台都必需,但它是作为SQL语法的标准部分定义的。 无意义的空白在SQL语句和查询中一般会被忽略,更容易格式化SQL代码便于阅读。 SQL是高级的非過程化編程語言,它允许用户在高层数据结构上工作。它不要求用户指定...
21 KB (2,200 words) - 18:29, 14 September 2023
XML Schema (category 包含GND标识符的维基百科条目)
use)表示复杂数据类型与属性声明的关系,指出属性是必需的还是可选的,在什么时候使用这种数据类型。 元素粒子(element particle)类似于表示复杂类型与元素的关系,指出元素在上下文中出现的最大与最小次数。类似于元素粒子,内容模型可以包括模型群粒子,在语法上相当于非终结符:定义了允许的元素序列的选择与...
15 KB (2,190 words) - 06:07, 24 May 2024
ALGOL 60 (category 包含GND标识符的维基百科条目)
除了表示标签的标识符之外,一个标识符,如果出现在一个块中,而且并非声明于这个块中,则它非局部(英语:Non-local variable)于这个块,就是说它在这个块里面和在紧邻其外的层级中所表示的是同一个实体。 因为块中的语句自身可以是一个块,局部和非局部于一个块的概念,必须递归地去理解,就是说非...
62 KB (6,313 words) - 13:14, 4 November 2024
可移植可执行 (section MS-DOS头与MS-DOS stub)
Name: 8字节的ASCII字符串。表示节的名称。节名称开始于一个点号(例如,.reloc)。如果节名称正好包含8个字符,就会省略null终结符。如果节名称小于8个字符,就会使用null字符来填充数组Name。映像文件不能使用超过8个字符的节名称。然而,在对象文件中,节名称可以更长一些,...
15 KB (2,492 words) - 06:51, 17 July 2024
獨斷先行、但意外地非常溫柔!而且,還是個處男!」 與一對於他的評價:「堅強、勇敢,似乎是值得信任的人?在學校遇到困難的時候優君幫助了我。」 體內寄宿著終結的熾天使 「第二號角」──鹽之王。 在名古屋決戰後四個月,和米迦、筱婭隊、鳴海共同行動。現在與化為鬼咒裝備的米迦擺脫紅蓮的計劃,透過記憶回朔尋找...
104 KB (16,439 words) - 06:41, 4 November 2024
非洲多樣的氣候是豐富生態資源與礦產資源的寶地,同時也是世界古人類和古文明的发祥地之一。目前世界上最古老的人類化石就是在東非發現的,而非洲東北角的埃及也是世界文明发源地之一。 阿非利加一词来源于拉丁文aprica,意為陽光灼熱之地 阿非利加是北非柏柏尔人所崇信的一位女神的名字 源自羅馬帝國在北非設立的阿非利加行省。...
56 KB (3,484 words) - 03:56, 18 December 2024
字面均分別向ISO秘書處歐洲計算機製造商協會申請相對應之終結字元。經由資訊工業策進會之協助申請,1993年2月1日CNS 11643第一、第二字面正式獲得終結字元:47和48,1994年3月25日CNS 11643第三至第七字面也正式獲得終結字元:49 - 4D。 2021年版CNS 11643字面配置如下:...
20 KB (2,309 words) - 13:07, 8 November 2024
\omega } 表示,但易与渦度的符号混淆) 天体力学中的近心点经度 宇宙学中的同移距离 ρ代表: 极坐标系,柱坐标系和球坐标系中的半径 统计学中的相关系数 金融数学中的利率敏感度 密度 电阻率 APL语言中的变形运算符 矩阵的秩 Σ代表: 求和算子 协方差矩阵 形式语言中的终结符号的集合 σ代表: 黑体辐射的斯特藩-玻尔兹曼常数...
22 KB (2,547 words) - 14:40, 10 August 2024
巴拿馬運河區 (category 包含FAST标识符的维基百科条目)
終結運河區作為美國海外領土的地位,自此以後美國把大部份原運河區的行政權交還,但部分軍事基地、軍隊住房、學校則繼續由美國管轄。當這些地區也逐漸歸還巴拿馬後,1999年12月31日美國完全撤出運河區。 巴拿馬運河區是美國非建制屬地及非...
17 KB (481 words) - 15:50, 18 November 2024
終結以及近代早期的開始。 天主教的革新——反宗教改革。 宗教戰爭 – 歐洲各宗教改革運動歷經許多流血戰事,如1610年亨利四世遇刺駕崩,法國再度内戰,新教信徒大量逃亡。1618年德國路德派因不滿《奧格斯堡和約》被毁,由瑞典國王古斯塔夫二世領導,與...
26 KB (3,854 words) - 12:13, 25 November 2024
《混亂的終結》是史蒂芬·金所著的短篇小說,最先刊登在於1986年《全知雜誌》10月號上,1993年,史蒂芬將故事收錄在短篇小說集《惡夢工廠》內。2006年,特納電視網將其改編成電視影集,收錄在惡夢工廠中,由羅恩·利文斯頓及亨利·托馬斯主演。 霍華是故事的主角,他有一個弟弟,名叫鮑比,是一個超資優生,...
1 KB (149 words) - 02:39, 6 December 2019
量子场论 (category 包含BNF标识符的维基百科条目)
與正則量子化表述不同的是,路徑積分表述的重點並不在建立算符和態空間上,而是在於直接計算某過程的振幅。費曼路徑積分的大意是,要計算一個系統從某初始態 | ϕ I ⟩ {\displaystyle |\phi _{I}\rangle } (時間t = 0)演變到某終結態 | ϕ F ⟩...
85 KB (13,472 words) - 11:34, 29 September 2024
Modula-3 (category 包含GND标识符的维基百科条目)
顺序复合语句有如下形式:S_1; S_2,它在Modula-2中称为“语句序列”。一些编程者使用分号作为语句终结符(terminator),另一些编程者将它用作分隔符(separator);Modula-3允许这两种风格,语言报告将其用作分隔符。 块语句有如下形式:Decls BEGIN S...
115 KB (16,143 words) - 16:50, 21 September 2024
china Beziehungen),是指中華民國與德意志聯邦共和國之間的關係。1913-1917年及1921-1941年,兩國有官方外交關係,但曾因第一次世界大戰和第二次世界大戰中斷,第二次斷交後由於德國分治與冷戰緣故,中華民國只與德意志聯邦共和國(西德)保持非官方交流直到1990年兩德統一。目前均在對方首都互設具大使館功能的代表機構。...
123 KB (11,366 words) - 16:18, 5 December 2024
查询,基于特定条件检索数据。这是SQL的一个重要组成部分。 语句,可以持久地影响纲要和数据,也可以控制数据库事务、程序流程、连接、会话或诊断。 SQL语句也包括分號(";")语句终结符。尽管并不是每个平台都必需,但它是作为SQL语法的标准部分定义的。 无意义的空白在SQL语句和查询中一般会被忽略,更容易格式化SQL代码便于阅读。...
25 KB (3,022 words) - 07:31, 26 November 2022
治外法权 (category 包含BNF标识符的维基百科条目)
與中國成為同盟國,就此也將終結治外法權作為一項迫切目標——到1943年,便達成中美平等新約與中英平等新約,放棄在華法權地位。其他國家也很快隨之陸續放棄對應權限。 近代中國賦予諸非具外事權限個體的治外法權地位,則是於二十世紀中不同時間點各自終結...
31 KB (4,092 words) - 02:15, 4 November 2024
臺灣人權 (section 人身自由與正當法律程序)
臺灣人權是指人權在臺灣的實踐,也就是臺灣人做為一個人對所應享有之權利的爭取歷史與現行保障。以下分別從歷史、法律、現實等層面描述臺灣的人權進展,參考國際人權團體對臺灣各地各類人權狀況的觀察。 维基文库中的相关原始文献:公民與政治權利國際公約及經濟社會文化權利國際公約施行法 國際公約之參與 《世界人權宣言》(1967年中國名義簽署;1...
51 KB (5,979 words) - 20:53, 28 July 2024
尼瓦爾人 (category 包含BNF标识符的维基百科条目)
至750年)就是加德滿都,尼瓦尔就是尼泊尔。後來尼瓦爾人建立了馬拉王朝(公元12世紀至公元18世紀)。到了1769年時,尼瓦爾在加德滿都山谷與邊地區的勢力終結,被沙阿王朝征服。 雖然尼瓦尔语是屬於藏緬語系的一個語族,但它受到印度-伊朗語系的各種方言例如梵語、巴利語及孟加拉語之影響相當大。尼瓦爾語也...
3 KB (380 words) - 21:43, 10 September 2024