תרומות המשתמש
קפיצה לניווט
קפיצה לחיפוש
- 22:13, 21 ביולי 2019 הבדל היסטוריה +97 שיחה:אוטומטים ושפות פורמליות/תכונות של שפות חסרות הקשר/למת הניפוח לשפות חסרות הקשר נוכחי
- 22:12, 21 ביולי 2019 הבדל היסטוריה +709 ח שיחה:אוטומטים ושפות פורמליות/תכונות של שפות חסרות הקשר/למת הניפוח לשפות חסרות הקשר הצעה לתיקון
- 18:54, 3 בדצמבר 2011 הבדל היסטוריה +2 תורת החישוביות/מכונת טיורינג ←מהלך חישוב
- 17:33, 24 בנובמבר 2011 הבדל היסטוריה 0 אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/משפט מיהיל-נרוד ←הוכחת המשפט
- 12:54, 24 בנובמבר 2011 הבדל היסטוריה +6 אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/למת הניפוח לשפות רגולריות ←למת הניפוח