ניתוח מילולי

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

במדעי המחשב, ניתוח מילוליאנגלית: Lexical analysis) הוא השלב הראשון בתהליך ההידור, בו מתורגם הקוד שכתוב בשפה עילית לשפת מכונה. בשלב זה, מתבצע תרגום של רצף התווים לרצף של אסימונים קבועים (כגון: מזהה, מספר, פסיק, סוגריים וכו').

תוכנית או פונקציה אשר מבצעת את הניתוח המילולי נקראת מנתח מילולי (lexer) או סורק (scanner).

תפקידו של המנתח המילולי הוא לבדוק עבור כל משפט האם אבני הבניין שמרכיבות אותו הן חוקיות לפי הגדרות שפת התכנות. לרוב, הגדרת אבני הבניין החוקיות מתבצעת בעזרת ביטויים רגולריים, ובהתאמה הסורק מתבסס על אוטומט סופי. תהליך פירוק המשפט נקרא Tokenize, כלומר, סיווג כל אבני הבניין לקטגוריות שלהם. בתהליך זה כל מילה במשפט (Lexeme) מסווגת ומוחלפת באסימון (Token) אליו היא מתאימה.

בדרך כלל, המנתח המילולי לא בודק האם רצף האסימונים הוא אכן חוקי לפי חוקי השפה. לדוגמה, מנתח לקסיקלי טיפוסי ינתח ויאבחן תווים מסוג סוגריים לאסימונים המתאימים, אך לא יבדוק האם לכל "(" קיים ")". בדיקת תקינות של משפטים שלמים, מבחינת המבנה שלהם מתבצעת בשלב הבא, שלה הניתוח הסינטקטי (ניתוח תחבירי).

דוגמה[עריכת קוד מקור | עריכה]

הפקודה:

sum=a+b;

עשויה להיות מתורגמת לרצף האסימונים הבא:

Tok_id("sum")
Tok_assign
Tok_id("a")
Tok_plus
Tok_id("b")
Tok_semicolon

קישורים חיצוניים[עריכת קוד מקור | עריכה]