یا یا (به : ) در زمینه‌های و ، به خصوص در زمینهٔ ، یک نگهدارندهٔ کلاس‌های است. سلسله‌مراتب گرامرها توسط در سال ۱۹۵۶ توصیف شده است. در نام گذاری این سلسله مراتب، از اسم (به : ) نیز به پاس نقش اساسی وی در توسعهٔ نظریهٔ زبان‌های رسمی ( )، استفاده شده است. سلسله‌مراتب چامسکی در اصل امکان درک و بکارگیری مدل را فراهم می‌کند. این مدل به برنامه‌نویس‌ها اجازه می‌دهد که اهداف مفهوم‌دار را به صورت به انجام برسانند.
 دستور زبانی رسمی از این نوع، از یک مجموعه‌ای متناهی از تشکیل شده است ( ) که هر سمت آن، خود شامل رشته‌ای از نمادهای زیر می‌باشد:
 
 
 گرامر رسمی یک را تعریف (یا تولید) می‌کند، که مجموعه‌ای (معمولاً متناهی) از رشته‌هایی با طول متناهی از نمادها هستند، که ممکن است با اعمال قواعد تولید به رشته‌ای دیگر از نمادها که از ابتدا فقط حاوی نماد آغازین بوده‌اند، ساخته شوند. یک قاعده می‌تواند با جایگزین کردن یک رخداد از نمادها در سمت چپ قاعده با رخدادی که در سمت راست ظاهر می‌شود، به رشته‌ای از نمادها اعمال شود. رشته‌ای از کاربردهای قاعده را «اشتقاق» می‌خوانند. چنین گرامری زبان رسمی را تعریف می‌کند: همهٔ واژه‌هایی که تنها از نمادهای پایانه‌ای تشکیل شده باشند که با اشتقاقی از نماد آغازین، قابل دسترسی باشند.
 معمولاً با حروف بزرگ، پایانه‌ها با حروف کوچک، و نماد آغازین با نمایش داده می‌شوند، مثلاً گرامری با پایانه‌های ، ناپایانه‌های ، قواعد تولید:
 
 
 
 
 
 
 و ، زبان همهٔ واژه‌هایی با شکل را تعریف می‌کند (یعنی نسخه از و به دنبال آن کپی از ). مورد بعدی گرامر ساده‌تری است که زبان مشابهی را تعریف می‌کند: پایانه‌های ، ناپایانهٔ ، ، قواعد تولید
 
 به عنوان مثالی دیگر، گرامری برای یک زیرمجموعهٔ سرگرمی از ، به صورت زیر داده شده است:
پایانه‌های ، ناپایانه‌های ، 
 
 
 
 
 
 
 
 
 
 
 و نماد آغازین . مثالی از اشتقاق این است:
 سایر رشته‌هایی که می‌توانند از این گرامر شوند و هستند. این جملات بی‌معنی هستند، اما از لحاظ ساختاری صحیحند. جمله‌ای که از لحاظ ساختاری نادرست باشد، مثل ، نمی‌تواند از گرامر شود. به عنوان مثالی مشابه، از چامسکی در سال ۱۹۵۷ را ببینید؛ برای یافتن مثال‌های زبانی طبیعی‌تر و مسائل گرامرهای رسمی در این زمینه، بخش‌های ساختار عبارت و ساختار عبارت را ببینید.
 سلسه مراتب چامسکی شامل سطح‌های زیر است؛
 
 
 
 توجه داشته باشید که مجموعه گرامرهای متناظر با زبان‌های بازگشتی عضو این سلسله مراتب نمی‌باشد؛ می‌تواند به درستی بین نوع صفر و نوع اول باشد.
 هر زبان به طور منظم مستقل از متن است، هر (شامل رشته تهی نباشد) حساس به متن است، هر زبان حساس به متن بازگشتی است و هر زبان بازگشتی به صورت بازگشتی شمارش پذیر است. این شمول‌ها مناسب همه هستند، به این معنی که زبان‌های شمارش پذیر بازگشتی ای وجود دارند که حساس به متن نیستند، زبان‌های حساس به متن ای که نیست و زبان‌های مستقل از متن که نیست.
 جدول زیر خلاصه هر یک از چهار نوع چامسکی از گرامرها، کلاسی که آن زبان تولید می‌کند، نوع اتوماتی که تشخیص می‌دهد و شکل قوانینی که دارد است.
{"title": "وراثت چامسکی", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%88%D8%B1%D8%A7%D8%AB%D8%AA_%DA%86%D8%A7%D9%85%D8%B3%DA%A9%DB%8C&oldid=30926162", "language": "fa"}