(Search) Trees

traverse, insert/delete from binary-tree, avl-tree, heap, b-tree

Statement Logic

Truth-Table / KV-Maps / CMOS implementations / CNF/DNF / ..

Lambda Calculus

Step-by-step β-reduction

Simply-Typed Lambda Calculus

perform Natural Deduction of Types

Automata

Regular Expression to NFA (more soon)

Parsing

CYK / LL(1)

WHILE interpreter

Run WHILE programs.

Write programs in a python-ish language and compile it to WHILE(/LOOP).

Write programs in a python-ish language and compile it to WHILE(/LOOP).