10 בינואר 2016
29 בנובמבר 2012
1 באוגוסט 2012
15 בפברואר 2012
12 בפברואר 2012
←אופטימיזציית מ"ט: תקלדה
מ−7
←אופטימיזציית מ"ט: הרחבה והבהרה
+426
←הכרעת תכונות לא-טריוויאליות איננה נתנת למניה רקורסיבית
−11
30 בינואר 2012
28 בינואר 2012
←קבלת המחרוזת הריקה: הרחבה
+813
←הכרחיות תנאי 3 למניה רקורסיבית של שפות בעלות תכונה: הרחבה
+647
←מ״ט המבקרת בכל המצבים: הרחבה - העברת דוגמאות לתרגילים
+979
←הכרחיות תנאי 1 למניה רקורסיבית של שפות בעלות תכונה: הגהה
מ+15
←הכרחיות תנאי 2 למניה רקורסיבית של שפות בעלות תכונה: הגהה
מ+68
←הכרעת תכונות לא-טריוויאליות איננה נתנת למניה רקורסיבית
−36
←הכרעת תכונות לא-טריוויאליות איננה נתנת למניה רקורסיבית
מ−18
←הכרחיות תנאי 3 למניה רקורסיבית של שפות בעלות תכונה: הרחבה
+188
←הכרחיות תנאי 2 למניה רקורסיבית של שפות בעלות תכונה: הרחבה
+890
←הכרחיות תנאי 3 למניה רקורסיבית של שפות בעלות תכונה: תקלדה
מ+618
←הכרחיות תנאי 1 למניה רקורסיבית של שפות בעלות תכונה: תקלדה
מ−602
←הכרחיות תנאי 2 למניה רקורסיבית של שפות בעלות תכונה: הרחבה
+1,179
←הכרחיות תנאי 3 למניה רקורסיבית של שפות בעלות תכונה: הרחבה
+373
←הכרחיות תנאי 1 למניה רקורסיבית של שפות בעלות תכונה: הגהה
מ←הכרחיות תנאי 2 למניה רקורסיבית של שפות בעלות תכונה: הרחבה
+368
←הכרחיות תנאי 1 למניה רקורסיבית של שפות בעלות תכונה: הרחבה
+370
←הכרעת תכונות לא-טריוויאליות איננה נתנת למניה רקורסיבית: הרחבה
+756
←אופטימיזציית מ"ט: עריכה
+18
הגהה
מ+47
←מעבר על כל המצבים הנייטראליים במ"ט
−11
←אופטימיזציית מ"ט: הרחבה
+653
יצירת דף עם התוכן "{{תורת החישוביות}} ==מעבר על כל המצבים הנייטראליים במ"ט== נגדיר '''מצב נייטראלי''' של מ"ט כמצב..."
+940