|
שפה יכולה להיות טבעית או מלאכותית. חלק מהשפות המלאכותיות שייכות לקטגוריה של שפות לינאריות, או שפות שהדקדוק שלהן הוא מסוג LALR שהוא פשוט יותר לפריסת מכונה. צ'ומסקי היה הראשון שזהה את השפות האלה ונתן פרוש פורמלי והוכחות מתימטיות לנכונות ה-parsing שלהן ובכך נתן דחיפה עצומה לבניית פארסרים ןקומפיילרים. זוהי תורה מתימטית בעלת ישומים במדעי המחשב. גם שפות טבעיות נעזרות בדקדוקים פורמליים, בעיקר לצורך תרגום מחשב, או בודקי דקדוק במעבד תמלילים, או זהוי דבור Speech recognition. |
