3.3.2. דוגמא למצב בעייתי
מפרט:
"בסוף התוכנית ערכו של x כפול מערכו בהתחלה".
;
כתיבה שגויה למפרט: הביטוי אינו נכון מתמטית. לא
ניתן להגיד ש- (זו לא שפת תכנות אלא מתמטיקה).
שימוש במשתנה חדש: ביטוי נכון ניתן לכתוב באמצעות משתנה חדש y: . לדוגמא:
משתנה לוגי
הינו משתנה שאינו מופיע בתוכנית, ולכן אינו משנה את ערכו במהלך התוכנית.
נכתוב את הדוגמא כך: .
מוסכמה: משתנה לוגי עבור המשתנה
יסומן ב-, משתנה לוגי עבור יסומן ב- וכו'.
הסימון - אוסף המשתנים של התוכנית,
יכלול הן את משתני התוכנית והן את המשתנים הלוגיים.