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

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

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

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

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