שיחה:אוטומט סופי לא דטרמיניסטי

כתוב:

• $\ \delta$ היא פונקצית המעברים

אבל לדעתי לא נכון להשתמש במילה פונקציה כאן. פונקציה לא יכולה לקבל קבוצת ערכים עבור כל ערך אפשרי. קקון 08:31, 14 אפריל 2006 (UTC)

לא נכון. זה בסך הכל תלוי בשאלה מה הטווח. אם הטווח הוא קבוצת חזקה, אז כל איבר בטווח הוא בעצמו קבוצה, ואז אין שום בעייתיות בהגדרת הפונקציה. גדי אלכסנדרוביץ' 08:33, 14 אפריל 2006 (UTC)

(תזכורת: פונקציה מתחום A לטווח B היא רלציה שבה לכל איבר מתוך A מתאים איבר אחד ויחיד מתוך B). גדי אלכסנדרוביץ' 08:34, 14 אפריל 2006 (UTC)

זהו שכאן מותאמת קבוצה של קבוצות לכל קבוצה... קקון 08:37, 14 אפריל 2006 (UTC)

שוב: הטווח במקרה שלנו (B) הוא קבוצת חזקה. כלומר, כל איבר בטווח הוא בעצמו קבוצה. פונקצית המעברים מתאימה לכל איבר בטווח קבוצה של מצבים, שהיא איבר של קבוצת החזקה של Q. מה הבעיה כאן? גדי אלכסנדרוביץ' 08:44, 14 אפריל 2006 (UTC)

שים לב לשורה האחרונה:

"$\ \delta :Q\times \Sigma \cup \left\{\varepsilon \right\}\rightarrow P(Q)$ (לכל מצב ואות קלט או המילה הריקה מותאמת קבוצה של מצבים שאליהם יכול האוטומט לעבור)"

הפונקציה מתאימה לכל זוג סדור של מצב ואות (או מילה ריקה) קבוצה יחידה השייכת ל$\ P(Q)$. היא לא מתאימה מצבים, אלא קבוצות מצבים. (כרלציה לQ לעומת זאת, לא היית יכול לקרוא לה פונקציה) יובל מדר 08:47, 14 אפריל 2006 (UTC)

אה, אוקיי. קקון 09:25, 14 אפריל 2006 (UTC)