ההיררכיה של חומסקי – הבדלי גרסאות

'''ההיררכיה של חומסקי''', היא מיון משפחות של דקדוקים[[דקדוק]]ים על פי כללי השכתוב שהם מתירים.

באופן כללי, כל משפחה מתקבלת על ידי הוספת אילוץ על כללי השכתוב של המשפחה הקודמת, ועל-כן יש יחס של [[תת-קבוצה|הכלה]] בין קבוצות הדקדוקים.

כמו כן, כל משפחה מתאימה למשפחת [[אוטומט סופי|אוטומטים]] מטיפוס מסוים. כלומר, יש [[יחס שקילות|שקילות]] בין קבוצת השפות שנוצרות ע"יעל ידי דקדוקים ממשפחה מסויימת לבין קבוצות השפות המתקבלות ע"יעל ידי אוטומטים מהמשפחה המתאימה.