Describes some functionality of DFA's and NFA's with an alphabet of size 2 (an 'a' and a 'b' transition)