12 ביוני 2011
- 02:3302:33, 12 ביוני 2011 הבדל היסטוריה +2 אוטומטים ושפות פורמליות/אוטומט מחסנית ←דוגמא
- 02:3002:30, 12 ביוני 2011 הבדל היסטוריה +2 אוטומטים ושפות פורמליות/אוטומט מחסנית ←תיאור פורמלי
- 02:3002:30, 12 ביוני 2011 הבדל היסטוריה 0 אוטומטים ושפות פורמליות/אוטומט מחסנית ←תיאור פורמלי
- 01:3701:37, 12 ביוני 2011 הבדל היסטוריה 0 אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/למת הניפוח לשפות רגולריות ←למת הניפוח
- 00:3200:32, 12 ביוני 2011 הבדל היסטוריה −3 אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/סגירות תחת פעולות שונות ←סגירות תחת הומומורפיזמם
- 00:2900:29, 12 ביוני 2011 הבדל היסטוריה +2 אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/סגירות תחת פעולות שונות ←סגירות תחת כוכב