非終結符（nonterminal character）是1993年公布的電子學名詞。
基本介紹
- 中文名：非終結符
- 外文名：nonterminal character
- 所屬學科：電子學
- 公布時間：1993年
公布時間,出處,
非終結符
相關詞條
- 非終結符
非終結符（nonterminal character）是1993年公布的電子學名詞。公布時間1993年，經全國科學技術名詞審定委員會審定發布。出處《電子學名詞》第一版。1...
- EBNF
這個產生規則定義了在這個指派的左端的非終結符 digit。豎槓表示可供選擇，而終結符被引號包圍，最後跟著分號作為終止字元。所以 digit 是一個0或可以是1 或2 或 3 直到 9 的一個 digit excluding zero。產生規則還可以包括由逗號...
- 算符文法
一個文法，如果它的任何產生式的右部都不含兩個相繼（並列）的非終結符，即不含如下形式的產生式：P--＞...QR...,其中P,Q,R,是非終結符。稱該文法G為算符文法（operator grammar）,也稱OG文法。...代表由終結符和非終結符組...
- 喬姆斯基範式
喬姆斯基範式是由喬姆斯基提出的數學關係式。套用舉例 在計算機科學中，一個形式文法是Chomsky 範式的，若且唯若所有產生規則都有如下形式：A→BC或 A→ α 或 S→ ε 這裡的A,B和C是非終結符，α 是終結符（表示常量值的符號），...
- 巴科斯範式
BNF表示語法規則的方式為：非終結符用尖括弧括起。每條規則的左部是一個非終結符，右部是由非終結符和終結符組成的一個符號串，中間一般以“：：=”分開。具有相同左部的規則可以共用一個左部，各右部之間以直豎“|”隔開。發展歷史...
- 格雷巴赫標準式
格雷巴赫標準式，計算機術語，在計算機科學中，聲稱一個上下文無關文法是Greibach 標準式(範式)(GNF)的意味著所有的產生規則都有如下形式: A->αX或 s->ε 這裡的 A 是非終結符，α 是終結符，X 是不包括開始符號的非終結符的(...
- 當前算符
算符文法：即它的任一產生式的右部都不含兩個相繼的非終結符的文法。如果G是一個不含空字元的算法文法，那么只要它的任一對終結符都至多只滿足>，=，定義1：設有一文法G，如果G中沒有形如A…BC…的產生式，其中B和C為非...
- 簡單優先分析法
簡單優先分析法是預先在文法的各種符號 (終結符號和非終結符號)之間建立所謂優先關係，而在分析一個句型 (指規範句型，下同)時，從左到右依次掃視其中的符號，且每掃視一個符號都檢查它和後繼符號間的優先關係，以及找到句柄之尾，...
- 最左推導
最左推導：若符號串α中有兩個以上的非終結符號，則對推導的每一步堅持把α中的最左非終結符號進行替換，稱為最左推導。基本概念 推導：x和y是符號串，若使用若干次產生式可以從x變換出y，則稱x推導出y(或者說y是x的推導)，...
- 喬姆斯基層次結構
短語結構文法是一種非受限文法，也稱為0型文法，是形式語言理論中的一種重要文法。一個四元組G=(∑，V，S，P)，其中∑是終結符的有限字母表，V是非終結符的有限字母表，S(∈V)是開始符號，P是生成式的有限非空集，P中的生成...
- 通用編譯程式
〈因式〉→標識符 〈因式〉→數 每個產生式都有形式: 左部→右部。左部只有一個符號, 叫非終結符, 表示一個語法單位。右部是由非終結符與終結符組成的串。只在右部出現的符號叫終結符。非終結符即可在左部又可在右部中出現。在...
- 布爾表達式
n對於一個布爾表達式E來說，它應有兩條鏈：真出口鏈(稱為T鏈，記作TC)和假出口鏈(稱為F鏈，記作FC)。它們就是非終結符Expr的兩個屬性Expr . TC及Expr . FC。n例如，對於上述if語句中的布爾式E=A∨B n其中，每條鏈都是...
- 形式語法
非終結符號集合 N。終結符號集合 Σ ，Σ 與 N 無交。取如下形式的一組產生式規則 P，(Σ ∪ N)*中的字串 -＞ (Σ ∪ N)* 中的字串字串，並且產生式左側的字串中必須至少包括一個非終結符號。起始符號 S，S 屬於 N。...
- 喬姆斯基分層
在正則語言裡，一個非終結符號可以像串最右端符號那樣出現任一生成式的右邊。這種語法也叫作右線性語法(right linear grammars)。當語法中每個生成式最多有一個非終結符在它右邊，並且非終結符像最左端符號那樣出現左邊時，語法叫作左...
- 無限制文法
，這裡的N是非終結符的集合， 是終結符的集合，這裡的 和 是無交集的(實際上這個限制不是必需的，因為無限制文法在非終結符和終結符之間不做真實區分，存在這個指定純粹是為了使得你在嘗試生成文法的句子形式的時候知道何時停止)，P...
- 算符優先分析法
算符優先分析法：它只考慮算符（終結符）之間的優先關係，分析掃描每個規約式的算符間優先關係。算符文法：即它的任一產生式的右部都不含兩個相繼的非終結符的文法。如果G是一個不含空字元的算法文法，那么只要它的任一對終結符都至多...
- 上下文有關文法
上下文有關文法(CSG)是其中任何產生規則的左手端和右手端都可以被終結符和非終結符的上下文所圍繞的形式文法。上下文有關文法比上下文無關文法更一般性但仍足夠有秩序得可以被線性有界自動機所解析。形式定義 形式文法 G = (N, Σ, P...
- 喬姆斯基分類
喬姆斯基分類(Chomsky classification)亦稱喬姆斯基層次一種分層方法.是喬姆斯基(Chom-sky, N.)於1959年提出的關於形式語言及其文法的分層方法.喬姆斯基把文法定義為四元組G=(Σ,V,S,P)，其中Σ是終結符號集，V是非終結符號集，S是開始...
- LR分析法
Xm已是當前句型 (對非終結符號A)的句柄。按第j個產生式進行歸約，也就是將分析棧從頂向下的r個符號 (因為該產生式右部符號串的長度為r)退出，然後再將文法符號A推入棧中，此時分析棧的格局為 S0 S1 S2 … S↓m-r[]# X1 ...
- PCFG
PCFG(Probabilistic Context Free Grammar)，機率上下文無關文法，或稱為SCFG(Stochastic Context Free Grammar)，隨機上下文無關文法。定義 一個機率上下文無關文法（PCFG）是一個五元組(N,∑,S,R,P)：（1）一個非終結符集N （2）...
- 語法圖
在語法圖中，用圓圈及兩頭圓的長方形表示終結符。例如基本符號、保留字等。用長方形表示非終結符。即需要由另外的語法圖說明的符號。用箭頭表示語法單元的連線次序。特點 (1)每一個語法圖表示一個語法規則。(2)圓框線或圓形框內書寫...
- Railroad Diagram
一個語法的表示法是由一套語法圖組成。每個圖定義了一個非終結符。有一個主圖通過下面方式定義了這門語言：屬於這門語言的每句話都必須在主圖上描繪一個路徑。每個圖都有一個起始點和一個終點。這個圖通過穿過其他的非終結符和終結...
- 附標語言
它們有三個無交集的符號集合: 普通終結符、非終結符和只出現在中間推導中的附標(index)的集合。產生式可以如上下文無關文法那樣把一個非終結符替代為終結符和非終結符的字元串，但是它還把非終結符替代為跟隨著一個附標的非終結符，...
- 形式語言理論
P是生成式的有窮集合，生成式的基本形式是：a→β，這裡a和β，這裡a和β都是（V∪T）*中的元素，即它們都是由變元和終結符組成的符號串，但要求a至少含有一個非終結符。在形式文法定義中，生成式集合P是至關重要的。在對使用...
- 文法
“非終結符號”集合N。“終結符號”集合Σ，Σ與N無交。取如下形式的一組“產生式規則”P，(Σ ∪N)*中的字元串→ (Σ ∪N)* 中的字元串，並且產生式左側的字元串中必須至少包括一個非終結符號。“起始符號”S，S屬於N。一...
- 右線性文法
右線性文法（right-linear grammar）是2018年公布的計算機科學技術名詞。定義 如果一個文法 G 中的產生式都有 A →w或 A →w B 的形式，其中 A、B 為非終結符號，w是終結符串，就稱 G 為一個右線性文法。出處 《計算機科學...
- 解析表達文法
一個有限的非終結符的集合N 一個有限的終結符的集合 Σ，和N沒有交集 一個有限的解析規則的集合P 一個被稱作起點表達式的解析表達式e P中的每一個解析規則以A←e的形式出現，這裡A是一個非終結符，e是一個解析表達式。解析表達式...
- 自上而下分析法
實現這種自上而下的帶回溯試探法的一個簡單途徑是讓每個非終結符對應一個遞歸子程式。每個這種子程式可作為一個布爾過程。一旦發現它的某個候選與輸入串相匹配，就用這個候選去擴展語法樹，並返回“真”值；否則，保持原來的語法樹和IP...
- 喬姆斯基譜系
這裡的A 是非終結符號，而 α, β 和 γ 是包含非終結符號與終結符號的字串；α, β 可以是空串，但 γ 必須不能是空串；這種文法也可以包含規則 S->ε ，但此時文法的任何產生式規則都不能在右側包含 S 。這種文法規定的...
- 上下文有關語言
設G =（VN，VT，P，S），如果它的每個產生式是這樣一種結構：α∈(VN∪VT)* 且至少含有一個非終結符，而β∈(VN∪VT)*，則G是一個0型文法。* 1型文法（上下文有關文法）(context-sensitive grammars)：設G =（VN，VT，P...
