گرامر ماتریسی

یک گرامر ماتریسی (انگلیسی:Matrix grammar), یک گرامر منظم است که در آن به جای قانون های تکی، قانون ها در دنباله های متناهی باهم گروه شده اند. یک قانون نمی تواند به صورت مجزا اعمال شود، بلکه هر قانون به صورت دنباله ای از قانون ها اعمال می شود. به عنوان مثال برای اعمال یک قانون چندین بار باید بازنویسی انجام شود، به این صورت که ابتدا قانون اول انجام می شود سپس قانون دوم و به همین ترتیب تا آخرین قانون پیش می رود. این دنباله از قانون ها در یک ماتریس نمایش داده می شود.
N {\displaystyle N}   مجموعه همه ناپایانه ها است.
T {\displaystyle T}   مجموعه همه پایانه ها است.
S {\displaystyle S}   سمبل شروعی است که تمام متن از آن حاصل می شود و باید در N حضور داشته باشد.
M = { m 1 , m 2 , . . . , m n } {\displaystyle M=\{m_{1},m_{2},...,m_{n}\}}   یک مجموعه از دنباله های متناهی از قوانین زبان بدون محتوا است.
F {\displaystyle F}   یک زیرمجموعه از قوانینی است که در ماتریس ها وجود دارند.
گرامر ماتریسی گسترشی از گرامر بدون محتوا است.
یک گرامر ماتریسی یک پنج تایی مرتب به صورت زیر است:
که دارای خاصیت های زیر می باشد: