https://notecse.blogspot.com/2017/11/cse-311-theory-of-computation.html