2.תהי

3.תהי L שפה סופית. אם אזי המספר של המצבים באוטומט המינימלי של L הוא לפחות מצבים.

4. תהי . המספר של המצבים באוטומט המינימלי של L הוא מצבים.

5.אם לאוטומט המינימלי של L יש m מצבים ולאואומט מינימלי של n מצבים אזי המספר של מצבים באוטומט המינימלי של הוא לפחות ולכל היותר .

6.תהי

7.אם L ח"ה ו- R רגולרית אזי בהכרח ח"ה.

8.אם L ח"ה ו-R רגולרית אזי בהכרח ח"ה.

הגדרה הנ"ל מתייחסת לשאלות 9-11.

יהיו שפות אזי:

9.אם רגולרית ו- רגולרית אזי

רגולרית.

10. אם ח"ה ו- ח"ה אזי ח"ה.

11.אם רגולרית אזי בהכרח רגולרית ו- רגולרית.

12. אם היא רגולרית אזי I היא קבוצה סופית.

13. תהי . אזי L רגולרית