A formal grammar is a set of rules for rewriting strings, along with a "start symbol" from which rewriting starts.
یک گرامر صوری، مجموعه‌ای از قوانین برای بازنویسی رشته‌ها همراه با «نماد شروع» است که بازنویسی با آن آغاز می‌شود.