מה *ירד* במיקוד לבגרות של מדעי המחשב?

שמעתי שירד תור, ובמודלים חישוביים אוטומט דטרמיניסטי ולא דטרמיניסטי (אני לא יודעת אם ירד עוד).

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

(מי שלא לומד מודלים חישוביים במדעי המחשב- אשמח אם יענה לי מה ירד בחומר ששייך לכולם)