3 בדצמבר 2014
- 09:5009:50, 3 בדצמבר 2014 הבדל היסטוריה −48 אוטומטים ושפות פורמליות/ביטויים רגולריים ←לכל שפה רגולרית קיים ביטוי רגולרי המתאר אותה
- 09:4809:48, 3 בדצמבר 2014 הבדל היסטוריה +49 אוטומטים ושפות פורמליות/ביטויים רגולריים ←כל ביטוי רגולרי מתאר שפה רגולרית תגית: עריכה חזותית
- 09:4509:45, 3 בדצמבר 2014 הבדל היסטוריה −63 אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/סגירות תחת פעולות שונות ←טענה: סגירות שפות רגולריות לפעולת הכוכב
- 09:4509:45, 3 בדצמבר 2014 הבדל היסטוריה −51 אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/סגירות תחת פעולות שונות ←טענה: שפה רגולרית סגורה תחת היפוך
- 09:4509:45, 3 בדצמבר 2014 הבדל היסטוריה −51 אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/סגירות תחת פעולות שונות ←טענה: שפה רגולרית סגורה תחת השלמה
- 09:4509:45, 3 בדצמבר 2014 הבדל היסטוריה −52 אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/סגירות תחת פעולות שונות ←טענה: סגירות שפות רגולריות לשרשור