M文档是Unicode字符的有序序列。文档要么由一个表达式组成，要么由组织成节的多组定义构成。从概念上讲，以下步骤用于从文档中读取表达式：

1. 根据其编码方案将文档解码为一个Unicode字符序列。
2. 执行词法分析，将Unicode字符转换为令牌流。本章节余下部分将介绍词法分析。
3. 执行句法分析，将令牌流转换为可计算的形式，后续的章节将介绍该过程。

文法约定

词法和句法用文法产生式表示。每个文法产生式定义一个非终结符，以及该非终结符可能拓展成一系列非终结或终结符。在文法产生式中，非终结+符号以斜体显示，终结符以固定宽度字体显示。