לגבי הוכחת רגולריות (מדעי המחשב)

אם למשל יש לי שפה מסוימת ואומרים לי להוכיח שהיא רגולרית, אז נגיד ואני לוקחת שתי שפות שאני יודעת שהן רגולריות ועושה ביניהן פעולה ששומרת על רגולריות (למשל שרשור).
בבגרות, אני צריכה להוכיח גם ששתי השפות האלו הן רגולריות?
כי אז אני קצת נכנסת ללופ ענקי