گرامر درخت منظم

در علم کامپیوتر نظری و تئوری زبان رسمی، یک گرامر درخت منظم،گرامر صوری است که مجموعه ای از درختان جهت دار یا جملات ( terms ) را توصیف می کند.گرامر کلمه منظم می تواند به عنوان یک نوع خاص از گرامر درخت منظم که مجموعه ای از درختان تک مسیر را توصیف می کند بیان شود.
N مجموعه ای از غیرپایانه ها
Σ الفبای رتبه ای مجزا شده از N
Z یک غیرپایانه شروع است به طوریکه Z ∈ N و
P مجموعه ای از انتقالات به فرم A → t که A ∈ N و (t ∈ TΣ(N به صورتی که
گرامر درخت منظم توسط چندتایی
(G = (N, Σ, Z, P
که در آن