מתי אי אפשר לבנות אוטומט סופי דטרמיניסטי ומתי כן? אני לא מצליחה להבחין אם השפה רגולרית

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