گرامر پیشوندی

در علم کامپیوتر نظری و تئوری زبان رسمی، گرامر پیشوندی نوعی از سیستم بازنویسی رشته است که شامل مجموعه ای از قوانین بازنویسی رشته می باشد که شبیه به دستور زبان رسمی یا یک سیستم Semi-Thue است.
Σ یک الفبای متناهی است.
S مجموعه ای متناهی از رشته های بیس روی Σ است.
P مجموعه ای از قواعد تولید به فرم u → v است که u و v رشته هایی رو Σ است.
چیزی که در مورد گرامر پیشوندی خاص است این است که به شکل قوانین آنها نیست ولی به طریقی که قوانین اعمال می شوند می باشد: تنها پیشوندها بازنویسی می شوند.
گرامرهای پیشوندی همهٔ زبان های منظم را شامل می شوند.
دستور زبان پیشوندی G یک سه تایی به شکل (Σ, S, P) است که در آن