עזרה באוטומטים

[urielka]

של ימחר מבחן במחשבים ויש שם אוטמטים (מחסנית,רצפים,תכונות והוכחות).

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

למישהו יש חומר או הסברים ודוגמאות על זה?

[maverick]

נראה לי שזה קשור יותר לשפות תכנות מאשר לפורום כללי.