A website that simulates various finite state machines: DFA, NFA, PDA.