در نظریهٔ زبان صوری، یک گرامر، مجموعه ای از قوانین تولید برای رشته ها در زبان صوری است. این قوانین، چگونگی تولید رشته ها را از الفبای زبان، که با توجه به ترکیب زبان معتبرند، توضیح می دهند. یک گرامر، معنی رشته ها یا چگونگی استفاده از آنها را در متن نشان نمی دهد، بلکه فقط نشان دهندهٔ فرم رشته هاست.یک مجموعه متناهی از نمادهای غیرپایانی که مجموعه ای مجزا از رشته های تشکیل شده توسط G است.یک مجموعه متنا...
