https://notesforioeengineers.blogspot.com/2021/05/theory-of-computation.html