כתיב פולני

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

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

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

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

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

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

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

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

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

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

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