כתיב פולני

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

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

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

העיקרון המנחה של הכתיב הפולני הוא כתיבת הפונקציה (האופרטור) לפני (או אחרי, בכתיב פולני הפוך [המכונה גם כתיב סופי-postfix]) האיברים שעליהם היא פועלת, כאשר מספר האיברים של כל פונקציה ידוע מראש. למשל, במקום לכתוב הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2+3} נכתוב בכתיב הפולני הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle +2,3} .

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

דוגמאות

  • במקום לכתוב את הביטוי: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 4 \sdot (5+7)^{(1+1)}}
נכתוב בכתיב הפולני: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \sdot 4 \wedge + 5, 7 + 1, 1} (הסימן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \wedge} מסמן העלאה בחזקה).
  • במקום לכתוב את הביטוי הלוגי: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (p \, \vee \mathord{\sim} q) \wedge r}
נכתוב בכתיב הפולני: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \wedge \vee p \sim q,r } (הסימן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \wedge} מסמן "וגם").

לקריאה נוספת

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

קישורים חיצוניים

ויקישיתוף מדיה וקבצים בנושא כתיב פולני בוויקישיתוף
ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

כתיב פולני30515288Q214510