矩阵语法是一种形式化的语法，其中产品被分组为有限序列，而不是单一产品。一个产品不能被单独应用，它必须被连续应用。在应用这样的产品序列时，改写是按照每个产品的顺序进行的，第一个，第二个，等等，直到最后一个产品被用于改写。这些序列被称为矩阵。矩阵语法是无语境语法的扩展，也是受控语法的一个实例。

矩阵语法是一个有序的四元组{dISPlaystyleG=(V_{N},V_{T},X_{0},M)}{diSPlaystyleV_{N}}是一个有限的非端点集。是一个有限的非端点集。{displaystyleV_{T}}是一个有限的非端点集。是一个有限的终端集{displaystyleX_{0}}是一个有限的终端集。的一个特殊元素{displaystyleV_{N}}的一个特殊元素的一个特殊元素，它是起始符号，也是M的一个特殊元素。M{displaystyleM}是一个非空序列的有限集合，其元素是有序对。是一个非空序列的有限集合，其元素是有序对。

这些配对被称为生产，并被写为{displaystylem=[P_{1}toQ_{1},ldots,P_{r}toQ_{r}]。{displaystyleF}是积的所有出现的集合。

是矩阵中出现的所有产品的集合m{displaystylem}是矩阵m的矩阵语法。的矩阵语法。{displaystylelambda}，长度递增，线性。，长度递增，线性，λ-当且仅当语法{displaystyleG_{1}=(V_{N},V_{T},X_{0},F)}具有以下特性。