研究抽象自动机的理论。抽象自动机是能够识别语言的一种抽象装置。把一串符号输入自动机，如果该符号串是语言中的一个合格的句子，自动机就接收它，反之，就拒绝接收。按照自动机对于语言的识别能力的不同，可将它们分为有限自动机、后进先出自动机、线性有界自动机和图灵机(turing machine)等四种。它们与四种形式文法之间形成整齐的对应关系，即能用图灵机来识别的语言，就能用*0型文法来生成，能用线性有界自动机来识别的语言，就能用*1型文法来生成，余类推。反之亦然。这是语言的生成过程和识别过程的内在联系的反映。
人类文化语言学(语言)：也叫“民族学派语言学”。人类语言学的一个分支。研究人们的语言和文化行为间的相互联系，包括以下一些问题：语言决定文化还是文化决定语言?语言对理解力和思维有何影响?语言模式与文化模式究竟是什..
理解策略(语言)：指听话者在话语理解过程中所使用的对策手段。主要有：利用语法功能词来切分句子成分，通过语法功能词来预测邻近实义词类别，使用词缀判断实义词的类别，依据动词来确定句中名词性成分的数量，将新听到的词归并到..
代数语言学(语言)：数理语言学分支之一。它运用离散数学的方法来研究语言现象，以建立语言的各种数学模型为其目标。如分析性模型，主要采用集合论的方法，对语法的基本概念进行数学描述，生成性模型，主要研究*形式文法和*自动机..
1型文法(语言)：也叫“上下文敏感文法”。形式文法的一类。其改写规则为φ1Aφ2→φ1ωφ2。换言之，在1型文法中，每当单个的非终极符号A出现于上下文φ1－φ2中的时候，可以用符号串ω来替换A。1型文法生成的语言可以用线性有..
人类语言学(语言)：也叫““语言人类学”。综合运用语言学和文化人类学的理论和方法，研究语言结构、语言变化和社会文化结构的关系的科学。始于二十世纪初期。美国早期的人类语言学家萨丕尔(E·Saplr·)和沃尔夫(B·L·W..