https://9lib.co/document/qmj8lw65-theory-of-computation-lecture-notes.html