ניתוח מילולי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הרחבה קלה |
|||
שורה 3:
[[תוכנית מחשב|תוכנית]] או [[פונקציה (תכנות)|פונקציה]] אשר מבצעת את הניתוח המילולי נקראת מנתח מילולי (lexer) או סורק (scanner).
תפקידו של המנתח המילולי הוא לבדוק עבור כל משפט האם אבני הבניין שמרכיבות אותו הן חוקיות לפי הגדרות [[שפת תכנות|שפת התכנות]]. לרוב, הגדרת אבני הבניין החוקיות מתבצעת בעזרת [[ביטוי רגולרי|ביטויים רגולריים]], ובהתאמה הסורק מתבסס על [[אוטומט סופי]]. תהליך פירוק המשפט נקרא Tokenize, כלומר, סיווג כל אבני הבניין לקטגוריות שלהם. בתהליך זה כל מילה במשפט (Lexeme) מסווגת ומוחלפת באסימון (Token) אליו היא מתאימה. האסימון הוא למעשה מחרוזת שהוקצתה לה (assigned) משמעות כלשהי, והוא בנוי (structured) כזוג המורכב משם האסימון וערך האסימון (אופציונלי).
בדרך כלל, המנתח המילולי לא בודק האם רצף האסימונים הוא אכן חוקי לפי חוקי השפה. לדוגמה, מנתח לקסיקלי טיפוסי ינתח ויאבחן תווים מסוג סוגריים לאסימונים המתאימים, אך לא יבדוק האם לכל "(" קיים ")". בדיקת תקינות של משפטים שלמים, מבחינת המבנה שלהם מתבצעת בשלב הבא, שלה ה[[ניתוח סינטקטי|ניתוח הסינטקטי]] (ניתוח תחבירי).
| |||