בבקשה מי שמבין במדעי המחשב כיתה י"ב

שואל השאלה:
בטוח?

הבנתי, מניח שהאוטומט סופי ודטרמיניסטי
אז אם ככה לדעתי היא לא רגולרית
כי אין לך בצורה סופית דרך לספור מראש כמהb יש ולבדוק שהa זה מודולו שלו
אבל אולי אני טועה פה

שואל השאלה:
שפה שאפשר לבנות לה אוטומט

אם תזכיר לי מה ההגדרה של רגולרית אוכל לעזור