סוגיות בהוראת מדמ"ח

אוטומט סופי

אוטומט מחסנית

מכונת טיורינג

לוגית

פונקציונלית

פרוצדורלית

מונחה עצמים

דטרמניסטי / אי-דטרמניסטי

סופי / אין סופי

מלא / לא מלא

לא רגולריות

פעולות על שפות

חיתוך

משלים

היפוך

הכלה

איחוד

שפה ריקה

רגולריות

א"ב של השפה

מילים אפשריות בשפה

מילה ריקה

Dr.Racket

SWI-prolog

scratch

jeliot

ויזואליזציה

ספריות

דיבאגינג

prolog

c

racket

java