עזרה באוטומטים-מחשבים,שאלה קטנהדחוף

Nazgul7

New member
עזרה באוטומטים-מחשבים,שאלה קטנהדחוף

אוקי,הנה השאלה: בנה אוטומט סופי ודטרמיניסטי עבור {B,C} L={B^iC^2,i mod 3=0} האם השפה מקיימת את הקלט הזה?: BBBCCBC או BBBCCBBBCCBBBCCBBBCC או רק BBBCC
 
מה זאת אומר לחזור על עצמה? ../images/Emo12.gif

בהגדרת השפה כתוב באופן מפורש ולא משתמשע לשתי פנים - השפה מורכבת מכל המילים מעל הא"ב {B,C} שמתחילה במספר אותיות B המתחלק ללא שארית ב-3, ואחריהן נמצאות שתי אותיות B. אני חושב שזה מאד ברור מהגדרת השפה.
 

Nazgul7

New member
משמע,

זה לא יכול לחזור על עצמו?אותה שפה?לדוגמא BBBBBBCCBBBCCBBBBBBBBBCC ? או שמותר רק BBBBBBCC (מספר B לא משנה,רק שיתחלק ב3 ללא שארית)
 

Nazgul7

New member
הבנתי,משמע השבלונה

לא חוזרת על עצמה.. המילה הכי קצרה היא: CC נכון? צריך מלכודת? במצב שאחרי הB הראשון מופיע C במצב שאחרי הB השני מופיע C במצב שאחרי הC האחרון(איפה שהמצב המקבל) מופיע B .. כן? תודה ענקית על העזרה.
 
בוודאי.

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

זה נראה כמו ילד אלים במיוחד הקיש על המקלדת והקליד סתם רצף של אותיות שהיו במקרה מתחת לאצבעות שלו.
 
ליאור, את דוקא אמורה לאהוב את זה...

זה סוג של לשון
 
למעלה