形态学是语言学的一个分支，研究词的内部结构及不同词形之间的系统性关系。它探讨有意义的单位如何组合、新词如何产生，以及词如何通过形式变化表达语法上的区别。例如，在英语中，cats 由 cat 和表示复数的词尾组成，而 teacher 则包含一个动词词基和一个用于构成名词的成分。因此，形态学既考察单个词的组成，也研究一种语言中不同词之间的关联模式。(openlibrary-repo.ecampusontario.ca)
词、语素与词基
形态分析的一个核心单位是语素，通常定义为形式与意义或语法功能之间最小的系统性对应单位。自由语素可以独立出现，黏着语素则必须与其他成分一起出现。英语中的 cat 是自由语素，表示复数的 -s 则是黏着语素。词的边界不能简单地根据正字法中的空格来判定：书写惯例并不总是与语法分析所关注的单位相对应，而且语言也不一定有书面形式。(openlibrary-repo.ecampusontario.ca)
词根承载一个词的词汇意义核心。词基是形态操作所作用的任何形式；它可以是词根，也可以是已经具有复杂结构的表达式。因此，happy 是构成 happiness 的词基，而 happiness 本身又可以作为构成复数形式的词基。词缀是附加在词基上的黏着成分。前缀位于词基之前，后缀位于词基之后，中缀则出现在词基内部。因此，词根与词基不是可以互换的概念：一个复杂词基可以同时包含词根和多个词缀。(pressbooks.openedmb.ca)
屈折与派生
屈折产生的是一个词的不同语法形式，而不是新的词汇项。常见的屈折区别包括名词的数、动词的时和体，以及形容词的比较等级。英语中的 walk、walks、walked 和 walking 属于同一个动词的屈折范式，即按一定规则组织起来的全部屈折形式。屈折将形态学与句法联系起来，因为语法属性会影响词在句子中的组合方式。(pressbooks.openedmb.ca)
派生产生具有新意义、新词类或同时兼具二者的词。后缀 -er 使 teach 派生出 teacher，而 -ness 使 happy 派生出 happiness。派生不一定改变词类：re- 可以附加在动词上，形成另一个表示重复的动词。多个派生操作可以依次进行，形成由相关词组成的词族，其中各个成员都有自己的屈折范式。(ecampusontario.pressbooks.pub)
复合构词将多个词根组合在一个词内，因此不同于一般的词缀附加。复合构词通常与派生一起被视为主要的构词方式。分析复合词时，需要识别其组成词根，并确定这些词根的组合如何影响所形成的词的词类和意义。(openlibrary-repo.ecampusontario.ca)
形态过程与变异
形态过程并不限于依次添加音段。词内部的变化也可以标示语法区别，例如 mouse–mice 和 write–wrote。异干互补涉及无法通过常规的能产性操作相互推导的形式，例如 go–went。重叠则是对词基全部或部分形式的复制。这些过程说明，词的结构并不总能表示为一串容易分割的成分。(openlibrary-repo.ecampusontario.ca)
非串接形态包括通过改变词基、而非仅仅附加词缀来体现的形态模式。元音模式和声调变化都可以承载语法信息。在某些语言中，一项语法区别由词干模式与词缀的整体组合来实现，因此，将其意义归于某个单独可分离的音段会造成误解。(wals.info)
按一种常见用法，语素变体指同一语素的不同实现形式。例如，英语过去时词尾的发音会随前面的语音而变化。这种变异将形态学与音系学联系起来。不同理论使用的术语有所差异：一些研究者仅用“语素变体现象”指不可预测的替代形式，并将其与一般音系规则生成的形式区分开来。(benjamins.com)
内部结构与意义
复杂词具有层级结构，而不只是各成分按固定次序线性排列。因此，形态分析需要考察哪些成分先组合，以及它们形成哪些更大的成分。这种结构会影响语义：相同成分的不同组合方式可能产生不同的解读。(pressbooks.nvcc.edu)
例如，untieable 可以表示“能够被解开的”，也可以表示“无法被系上的”。第一种解读先将 un- 与 tie 组合，再添加 -able；第二种解读先将 tie 与 -able 组合，再添加表示否定的 un-。这属于结构歧义，不同于互不相关的词因发音相同而产生的歧义。形态树或括号表示法可以明确呈现这些不同的分析。(pressbooks.nvcc.edu)
跨语言差异
语言类型学比较不同语言组织语法信息的方式。分析式构造使用独立的词，而综合式构造则将语法成分组合在一个词内。英语本身就体现了这两种可能性：painted 通过添加后缀表达过去时，而 will paint 使用独立的助动词。综合性涉及形态组织方式，并不等同于音系上的附着。(wals.info)
“孤立型”“黏着型”和“屈折型”等传统标签描述的是总体倾向，但它们将一些能够独立变化的维度合并在一起。相关维度包括标记与词基在音系上结合的紧密程度、一个标记表达多少个语法范畴，以及不同形式之间的变异程度。一个累积表达的词尾可以同时表示格与数，而分立的词尾则可以分别表达各个范畴。因此，当代类型学分析会区分这些属性，而不是假定每种语言都属于一种统一的形态类型。(wals.info)