תחשיב הפסוקים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הורדת שימוש בתג br* |
|||
שורה 47:
=== נוסחה בנויה כהלכה (נוסחה בנויה היטב) ===
באמצעות הֶקשֵרים, התחביר מאפשר יצירת רצפים סופיים של פסוקים יסודיים, קָשַרים וסימני סוגריים, אשר קריאתם היא חד-משמעית. רצף כזה נקרא [[נוסחה בנויה היטב]] (נקראת גם '''נוסחה בנויה כהלכה''' ובראשי תיבות '''נב"כ''', (Well Formed Formula או WFF).
נוסחה בנויה היטב מוגדרת בצורה [[רקורסיה|הרקורסיבית]] הבאה:
שורה 179:
|}
|}
{{ש}}{{ש}}
| |||