אוטומטים ושפות פורמליות/תכונות של שפות רגולריות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
תיקון שגיאת כתיב: אליהן -> עליהן, |
אין תקציר עריכה |
||
שורה 6:
תכונה ראשונה מעניינת, היא תכונת הסגירות. כלומר, אם אנחנו לוקחים שפות מהמשפחה הרגולרים ומפעילים עליהן פעולות שונות, האם התוצאה עדיין רגולרית? נראה כי תכונת הסגירות מתקיימת עבור פעולות רבות כגון חיתוך, איחוד, כוכב והיפוך לאחור.
תכונה שניה של שפות רגולריות (אינסופיות) נוגעת למבנה המילים בשפה. נוכיח למה המראה כי כלל המילים בשפה רגולרית אינסופית בעלות מבנה משותף - בכל מילה ארוכה
בפרק זה נוכיח תכונות אלו.
|