סימולטור למדעי המחשב

חקרו מושגים תאורתיים במדעי המחשב, כגון היררכיית שפות ומחלקות סיבוכיות

סמלצו את התנהגות של אוטומט מחסנית.

בדיקת שייכות לשפות חופשיות הקשר על ידי אלגוריתם CYK.

סמלצו את התנהגות של אוטומט סופי דטרמיניסטי.

סמלצו את התנהגות של אוטומט סופי לא דטרמיניסטי.

סמלצו את התנהגות של מכונת טיורינג.

ויזואליזציה של מגוון אלגוריתמים.