בתשובה לחוכמולוג בעל מספר אישי פריק, 12/07/05 14:11
על כתפי ענקים 316613
המשמעות הלוגית היא... - זו גישתך, אבל זו לא תורה מסיני. אפשר גם להציע סמנטיקה אחרת - ר' התגובה הקודמת. מה שבטוח, מבחינה תחבירית פשוטה שלילתו של המשפט היא ''המספר האישי של אביב גפן אינו פריק''.
טוב, נסיון אחרון ואני פורש 316626
עזוב, בוא נניח לרגע את הפורמליסטיקה הלוגית, ונעבור לבחינה תחבירית פשוטה:
נניח שאתה עובד כשומר (או מתכנת מערכת בקרת כניסה) במפעל בו יש תגי זיהוי (לעובדים, אורחים, קבלנים וכו') הנבדלים זה מזה בצבעם. נניח שאומרים לך לאפשר מעבר בדלת מסוימת רק למי שהתג שלו אדום.
יבוא בעל תג אדום - תאפשר לו לעבור.
יבוא בעל תג ירוק - תמנע ממנו לעבור.
יבוא בעל תג כחול - תמנע ממנו לעבור.
יבוא בעל תג צהוב - תמנע ממנו לעבור.
יבוא חסר תג - מה תעשה?

אני נתקלתי בחיי בלא מעט תפ"מים(1). בכל היישומים שלהם איפשור מעבר לחסרי תג הוא באג.

____
תפ"מ - תאור פעולת מערכת, תאור מילולי של מערכת (בקרה) לוגית.
טוב, נסיון אחרון ואני פורש 316673
אבל זה לא אותו הדבר. אני אתן לך אנלוגיה אחרת:

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

תג אדום: דלת ימין
תג ירוק: דלת שמאל

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

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים