推導樹(derivational tree)描述句子結構的樹形圖.設G- C V N f V T f S f P是上下文無關文法，如果有某個成分結構樹滿足下列條件，它就是上下文無關文法的推導樹:
推導樹(derivational tree)描述句子結構的樹形圖.設G- C V N f V T f S f P是上下文無關文法，如果有某個成分結構樹滿足下列條件，它就是上下文無關文法的推導樹:1.每一個結點有一個標記，...
1、推導樹法及其套用 這是一種理論性強、技巧性高、效益明顯的方法。這裡的樹是一種圖形結構。用圖論的語言來講，樹是一種有根有梢的圖形，其中根在下方為正樹，根在上方為倒樹。具體講，是限定樹（倒樹法）和發展樹（正樹法）。（1）倒樹（限定樹）及其套用。一般說來，市場行情資料研究是通過對已經蒐集到...
推導過程 凱萊公式的證明方法包括 基爾霍夫矩陣樹定理 （又稱為矩陣-樹定理）、Prüfer 編碼 、算兩次 等方法。使用矩陣-樹定理可以較快地得到結果。求n個不同的點可組成的不同構的樹的個數，等同於求一個n階完全圖下，不同的生成樹的個數。這實際上就是矩陣-樹定理的特殊情況（如右圖所示），即要求一個...
證明樹 證明樹（proof tree）是2008年經全國科學技術名詞審定委員會審定發布的海峽兩岸信息科學技術名詞。發布時間 2008年經全國科學技術名詞審定委員會審定發布的海峽兩岸信息科學技術名詞。出處 《海峽兩岸信息科學技術名詞》
1,高度的抽象化(採用形式化的手段-專用符號,數學公式-來描述語言的結構關係,這種結構關係是抽象的)2,是一套演繹系統(形式語言本身的目的就是要用有限的規則來推導語言中無限的句子,提出形式語言的哲學基礎也是想用演繹的方法來研究自然語言)3,具有算法的特點.(比如說句法分析中採用不同的算法來構造句子的句法推導...
語法分析樹是編譯原理中的重要概念。語法分析樹是推導的圖形表示形式，它過濾掉了推導過程中對非終結符號套用產生式的順序。每一個語法分析樹的每個內部節點表示一個產生式的套用。該內部節點的標號是此產生式頭中非終結符號。這些節點的子節點的標號從左到右組成了在推導過程中替換這個表達式的產生式體。
剖析樹 剖析樹（parsing tree）是2011年公布的語言學名詞，出自《語言學名詞》第一版。定義 從起始符號開始，運用語言規則逐步識別出句子的句法結構，描述這個推導過程的樹形圖。出處 《語言學名詞》第一版。
例如表6—22中方程（7）為山本材積方程（V=aDbHc）的一致性削度方程，其關係推導如下：若削度方程為：相應的材積方程為：同樣，根據已有的材積方程，利用內在的關係經過求導就可以確定相應的削度方程。如Clutter（1980）根據下列兩個材積方程，導出相應的削度方程，即 式中：Vt——全樹幹立方英尺材積（帶皮）；D...
TAG 中的規則是帶有叫做“足節點”的特殊葉子的樹，它們錨接（anchor）到一個字。在 TAG 中有兩個種類的基本樹：“初始”樹和“輔助”樹。初始樹表示基本的價（valency）關係，而輔助樹允許遞歸。輔助樹有標記（label）上同樣符號的根（頂）節點和足節點。推導開始於初始樹，通過要么“代換”要么“附加”來結合...
醫學物理學課程是山東大學2019年春夏首次在智慧樹網開設的慕課、國家精品線上開放課程。授課教師為劉鳳芹、蓋志剛、劉建強、於淑雲。據2021年9月8日智慧樹網顯示，該課程已運行6學期、累計選課3842人，累計學校16所，累計互動3973次。該課程共十三章，包括為緒章、力學基本規律、流體的運動、分子動理論、機械振動、...
假設n=m時命題成立，那么可以推導出在n=m+1時命題也成立。（m代表任意自然數）這種方法的原理在於：首先證明在某個起點值時命題成立，然後證明從一個值到下一個值的過程有效。當這兩點都已經證明，那么任意值都可以通過反覆使用這個方法推導出來。把這個方法想成多米諾效應也許更容易理解一些。例如：你有一列很長...
自上而下分析法是從文法開始符號開始，不斷進行推導，直到推導所得的符號串與輸入串相同為止。詳細解析 基本方法 一：帶回溯的分析方法。二：不帶回溯的遞歸子程式（遞歸下降）分析方法。主旨 對任意的輸入串，試圖用一切可能的辦法，從文法開始符號（根結）出發，自上而下地為輸入串建立一棵語法樹。或者說，為...
●新開闢一章討論高級數據結構以及它們的實現，其中包括紅黑樹、自頂向下伸展樹。treap樹、k-d樹、配對堆以及其他相關內容 ●合併了堆排序平均情況分析的一些新結果 《數據結構與算法分析:C語言描述(原書第2版)》是國外數據結構與算法分析方面的標準教材，介紹了數據結構(大量數據的組織方法)以及算法分析(算法運行時間...
樹連線文法 樹連線文法（tree adjoining grammar）是2018年公布的計算機科學技術名詞。定義 一種形式文法系統，用初始樹和輔助樹兩類元樹描述句子基本結構，並通過插接和替換操作利用元樹推導和派生語言。其生成能力弱於上下文無關文法，涵蓋了部分上下文有關語言。出處 《計算機科學技術名詞 》第三版。
二項期權定價模型是一個概念，Black-Scholes期權定價模型雖然有許多優點, 但是它的推導過程難以為人們所接受。在1979年, 羅斯等人使用一種比較淺顯的方法設計出一種期權的定價模型, 稱為二項式模型(Binomial Model)或二叉樹法(Binomial tree)。概念 二項期權定價模型的概念：Black-Scholes期權定價模型雖然有許多優點, ...
函式程式語言最重要的基礎是λ演算（lambda calculus）。而且λ演算的函式可以接受函式當作輸入（引數）和輸出（傳出值）。比起指令式編程，函式式編程更加強調程式執行的結果而非執行的過程，倡導利用若干簡單的執行單元讓計算結果不斷漸進，逐層推導複雜的運算，而不是設計一個複雜的執行過程。
Black-Scholes期權定價模型雖然有許多優點， 但是它的推導過程難以為人們所接受。在1979年， 羅斯等人使用一種比較淺顯的方法設計出一種期權的定價模型， 稱為二項式模型(Binomial Model)或二叉樹法(Binomial tree)。 二項期權定價模型由考克斯（J.C.Cox）、羅斯（S.A.Ross）、魯賓斯坦（M.Rubinstein）和夏普（Sharpe...
動力氣象學課程是南京大學2020年春夏首次在智慧樹網開設的慕課、國家精品線上開放課程。授課教師為張熠、伍榮生、談哲敏、方娟、王其偉、儲可寬、仇欣、雷荔傈、周博聞等。據2021年12月29日智慧樹網顯示，該課程已運行5學期、累計選課191人，累計學校3所，累計互動267次。據2021年12月中國大學MOOC官網顯示，該課程已開...
δ（x,x′）（當x=x′時δ（x,x′）=1，否則 δ（x,x′）=0）得到的是 MAP 估計器，它意味著 x 和 x′只要在一個像素處有不同，則代價為 1，對誤分類的懲罰比較重，汪西莉等：一種分層馬爾可夫圖像模型及其推導算法而在實際中存在一些誤分類是完全允許的.若將半樹模型的MPM算法記為HT-MPM，它分為...
