= resources = * turing machines and related ** [[wikipedia: Turing machine]] ** DFA::Simple ** C++ turing simulator ** [[wikipedia: finite state machine]] ** [[wikipedia: formal grammar]] * complexity theory ** [[wikipedia: complexity classes P and NP]] ** [[wikipedia: NP-complete]] * trees ** avl trees at stanford ** graphviz example * sorting ** java applet sorting demo