数理语言学
1997
北京语言文化大学出版社
方立
411
无
《数理语言学》介绍几种自动机的目的是因为这些自动机跟第13章介绍的几种形式语法存在着一一对应的关系，这就使得我们有可能从一个不同的角度考察这几种形式语法的数学性质，进而也可考察不同生成语法学家建立的句法学的生成能力。
1 SetTheory1.1 SetsandMembers1.2 SpecificationofaSet1.5 0perationsonSets1.6 SomeUsefulLawsinSetTheory2.3 RelationalDiagrams2.4 PropertiesofRelations2.5 EquivalenceRelations2.6 0rderingRelations3.1 WaystoIndicateaFunction3.2 DefinitionofaFunction3.5 0ne-to-oneFunctions3.6 0ne-to-oneCorrespondences3.10CompositeFunctions3.11 IdentityFunctions3.12 InversesofCompositeFunctions3.13 CharacteristicFunctions4.1 Definition5 GroupsandIntegraIDomains5.2 Monoids5.3 Groups5.4 Subgroups6 LatticesandBooleanAlgebras6.1 LatticesasPosetsandasAlgebras6.2 PropertiesofaLattice……7 Logic:Preliminaries8 PropositionalLogic9 PredicateLogic10 Higher-orderLogic11 TenseLogicandModalLogic12 IntensionalLogic13 TheoryofFormalLanguages14 TheoryofAutomataKeytoExercisesReferences
无