PDA

צפה בגרסה המלאה : [הסבר] מודלים חישוביים אוטומט לא דטרמיניסטי לשרשור 2 שפות מסויימות (לא הסבר ש א ל ה)



ronvachner
25-12-2014, 14:25
אני צריך לבנות אוטומט לא דטרמיניסטי לשרשור השפות הבאות (L1,L2ׂ ׁׁׁ


מעל הא"ב {a,b}


http://latex.codecogs.com/gif.latex?%7B%28ab%29%5Ex%28ab%29%5Ey%7Cx%3D%3E0%2 Cy%3E0%7D
=L1 כך שx זוגי וy איזוגי (מי שלא רואה http://latex.codecogs.com/gif.latex?...3E0%2Cy%3E0%7D (http://latex.codecogs.com/gif.latex?%7B%28ab%29%5Ex%28ab%29%5Ey%7Cx%3D%3E0%2 Cy%3E0%7D) )

L2=שפה של כל המילים שמכילות את הרצף ba לפחות פעמיים


תודה רבה