日韩无套无码精品,亚洲AV无码专区在线亚

內(nèi)容簡介

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

作者簡介

暫缺《數(shù)理語言學(xué)》作者簡介

圖書目錄

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