CS133 (Automata theory and computability)

Semester 2, AY 2015 to 2016

 by F. Cabarle

The introduction of suitable abstractions is our only mental aid to reduce the appeal to enumeration, to organize and master complexity. — E. W. Dijkstra