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