אוטומט סופי דטרמיניסטי

אב השפה

r

קלט לשפה יכול להיות כל תו אפשרי בדכ זהו תחום מוגבל למשל {a,b}

המילה המינימלית

המילה הריקה

מצבים באוטומט

מצב ראשון

מצב מקבל

מצב מלכודת

סופי???

מלא ??

דטרמינסטי??

מעברים באוטומט

מעבר ממצב למצב

מעבר ממצב לעצמו