term rewriting system
سامانه بازنویسی اصطلاح
اثبات قضیه
theorem proving
زبان صوری
formal language
دستور زبان
grammar
سامانه بازنویسی
rewriting system