Thursday, September 24, 2009

Theory of automata

Automata basics
http://courses.cs.vt.edu/~cs4114/lectures/index.html


Bijection, injection, surjection proofs
http://www-math.cudenver.edu/~wcherowi/courses/m3000/lecture8a.pdf