123,123

內(nèi)容簡(jiǎn)介

　　《數(shù)理語(yǔ)言學(xué)》介紹幾種自動(dòng)機(jī)的目的是因?yàn)檫@些自動(dòng)機(jī)跟第13章介紹的幾種形式語(yǔ)法存在著一一對(duì)應(yīng)的關(guān)系，這就使得我們有可能從一個(gè)不同的角度考察這幾種形式語(yǔ)法的數(shù)學(xué)性質(zhì)，進(jìn)而也可考察不同生成語(yǔ)法學(xué)家建立的句法學(xué)的生成能力。

作者簡(jiǎn)介

暫缺《數(shù)理語(yǔ)言學(xué)》作者簡(jiǎn)介

圖書(shū)目錄

1 SetTheory
1.1 SetsandMembers
1.2 SpecificationofaSet
1.5 0perationsonSets
1.6 SomeUsefulLawsinSetTheory
2.3 RelationalDiagrams
2.4 PropertiesofRelations
2.5 EquivalenceRelations
2.6 0rderingRelations
3.1 WaystoIndicateaFunction
3.2 DefinitionofaFunction
3.5 0ne-to-oneFunctions
3.6 0ne-to-oneCorrespondences
3.10CompositeFunctions
3.11 IdentityFunctions
3.12 InversesofCompositeFunctions
3.13 CharacteristicFunctions
4.1 Definition
5 GroupsandIntegraIDomains
5.2 Monoids
5.3 Groups
5.4 Subgroups
6 LatticesandBooleanAlgebras
6.1 LatticesasPosetsandasAlgebras
6.2 PropertiesofaLattice
……
7 Logic:Preliminaries
8 PropositionalLogic
9 PredicateLogic
10 Higher-orderLogic
11 TenseLogicandModalLogic
12 IntensionalLogic
13 TheoryofFormalLanguages
14 TheoryofAutomata
KeytoExercises
References