亚洲国产区中文,国产精品91高清,亚洲精品中文字幕久久久久,亚洲欧美另类久久久精品能播放

語言學(xué)的語義學(xué)若從嚴(yán)格意義上的語言學(xué)研究來分類，在現(xiàn)代語言學(xué)的語義學(xué)中，可以分為結(jié)構(gòu)主義的語義學(xué)研究和生成語言學(xué)的語義學(xué)研究。結(jié)構(gòu)主義語義學(xué)是從20世紀(jì)上半葉以美國為主的結(jié)構(gòu)主義語言學(xué)發(fā)展而來的，研究的內(nèi)容主要在于詞匯的意義和結(jié)構(gòu)，比如說義素分析，語義場，詞義之間的結(jié)構(gòu)關(guān)系等等。這樣的語義學(xué)研究也可以稱為詞匯語義學(xué)，詞和詞之間的各種關(guān)系是詞匯語義學(xué)研究的一個(gè)方面，例如同義詞、反義詞，同音詞等，找出詞語之間的細(xì)微差別。生成語義學(xué)是20世紀(jì)六七十年代流行于生成語言學(xué)內(nèi)部的一個(gè)語義學(xué)分支，是介于早期的結(jié)構(gòu)主義語言學(xué)和后來的形式語義學(xué)之間的一個(gè)理論陣營。生成語義學(xué)借鑒了結(jié)構(gòu)語義學(xué)對義素的分析方法，比照生成音系學(xué)的音位區(qū)別特征理論，主張語言的最深層的結(jié)構(gòu)是義素，通過句法變化和詞匯化的各種手段而得到表層的句子形式。形式語義學(xué)是從20世紀(jì)70年代開始發(fā)展出來的一個(gè)理論陣營。最初的研究開始于蒙太古以數(shù)理邏...

結(jié)構(gòu)操作語義戈登·普羅特金（GordonPlotkin）在（Plotkin04a）中引入了結(jié)構(gòu)操作語義的概念作為一個(gè)定義操作語義的邏輯方式。其基本主意是使用程序組成部分的行為來定義一個(gè)程序的行為，由此來提供一個(gè)對操作語義結(jié)構(gòu)性的，即按照句法和歸納性的，分析。結(jié)構(gòu)操作語義對一個(gè)程序的行為的說明是通過一（組）變化關(guān)系來表示的。其形式是一系列推理規(guī)則，這些推理規(guī)則通過一組句法的轉(zhuǎn)換來定義該組的合理轉(zhuǎn)換。比如我們考慮一個(gè)簡單計(jì)算機(jī)語言的部分語義，在Plotkin04a和Hennessy90以及其它教科書中有相應(yīng)的圖像。設(shè)C1,C2{\displaystyleC_{1},C_{2}}為該語言的程序域，s{\displaystyles}是狀態(tài)域（即函數(shù)的存儲地址及值）。假如我們有表述（E{\displaystyleE}的域）、值（V{\displaystyleV}）和存儲地址（L{\displayst...

參見代數(shù)語義學(xué)（英語：Algebraicsemantics(computerscience)）指稱語義學(xué)操作語義學(xué)形式語義學(xué)謂詞變換語義學(xué)（英語：Predicatetransformersemantics）斷言(程序)參考文獻(xiàn)

古典定義設(shè)ΓΓ-->{\displaystyle\Gamma}為作用于復(fù)區(qū)域D{\displaystyleD}的離散群。取定自守因子jγγ-->(x),(γγ-->∈∈-->ΓΓ-->,x∈∈-->D){\displaystylej_{\gamma}(x),\;(\gamma\in\Gamma,x\inD)}及權(quán)m∈∈-->N{\displaystylem\in\mathbb{N}}。相應(yīng)的權(quán)m{\displaystylem}自守形式是D{\displaystyleD}上滿足下述函數(shù)方程的全純函數(shù)自守因子jγγ-->(x){\displaystylej_{\gamma}(x)}當(dāng)γγ-->{\displaystyle\gamma}固定時(shí)是D{\displaystyleD}上的全純函數(shù)，并且是ΓΓ-->{\displaystyle\...

作為格的函數(shù)一個(gè)模形式可視為從所有格ΛΛ-->??-->C{\displaystyle\Lambda\subset\mathbb{C}}（即：C{\displaystyle\mathbb{C}}中的離散加法子群，使得其商群緊致）的集合映至C{\displaystyle\mathbb{C}}的函數(shù)F{\displaystyleF}，使之滿足下述條件：若考慮形如ΛΛ-->:=??-->αα-->,z??-->{\displaystyle\Lambda:=\langle\alpha,z\rangle}之格，其中αα-->{\displaystyle\alpha}為常數(shù)而z{\displaystylez}為變數(shù)，則F(ΛΛ-->){\displaystyleF(\Lambda)}是z{\displaystylez}的全純函數(shù)。存在常數(shù)k{\displ...