数理语言学

出版时间：1997  出版社：北京语言文化大学出版社  作者：方立  页数：411  
Tag标签：无  

内容概要

　　《数理语言学》介绍几种自动机的目的是因为这些自动机跟第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