כתיב פולני

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

כתיב פולני, המכונה גם כתיב תחילי-prefix, הוא שיטה לכתיבת ביטויים מתמטיים ולהצרנת ביטויים לוגיים. השיטה פותחה על ידי הלוגיקן הפולני יאן לוקשביץ' בשנת 1920.

שיטה זו באה לפצות על מספר חסרונות של שיטת הכתיב הנפוצה:

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

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

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

  • במקום לכתוב את הביטוי:
נכתוב בכתיב הפולני: (הסימן מסמן העלאה בחזקה).
  • במקום לכתוב את הביטוי הלוגי:
נכתוב בכתיב הפולני: (הסימן מסמן "וגם").

לקריאה נוספת[עריכת קוד מקור | עריכה]

אברון פולקוב, לוגיקה לחושבים ולמחשבים, הוצאת אקדמון, 1973.

P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.