https://ru.wikipedia.org/wiki/%D0%9C...B8%D0%BA%D0%B0
Формальное определение
Матричная грамматика — это упорядоченная четвёрка
G = ( V N , V T , X 0 , M ) . {\displaystyle G=(V_{N},V_{T},X_{0},M).} {\displaystyle G=(V_{N},V_{T},X_{0},M).}
где
V N {\displaystyle V_{N}} V_{N} — конечное множество нетерминальных символов
V T {\displaystyle V_{T}} V_{T} — конечное множество терминальных символов
X 0 ∈ V N {\displaystyle X_{0}\in V_{N}} {\displaystyle X_{0}\in V_{N}} — начальный символ
M {\displaystyle M} M — конечное множество непустых последовательностей упорядоченных пар
Ха, а меня учили, что такая четвёрка всегда определяет грамматику. Любую. А вот свойства элементов четвёрки -- уже тип грамматики по Хомскому. Да ладно, пофигу.