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