כתיב פולני

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

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

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

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

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

דוגמאות

• במקום לכתוב את הביטוי: $4\cdot (5+7{)}^{(1+1)}$

נכתוב בכתיב הפולני: $\cdot 4\wedge +5,7+1,1$ (הסימן $\wedge$ מסמן העלאה בחזקה).

• במקום לכתוב את הביטוי הלוגי: $(p\vee \sim q)\wedge r$

נכתוב בכתיב הפולני: $\wedge \vee p\sim q,r$ (הסימן $\wedge$ מסמן "וגם").

לקריאה נוספת

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