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