https://www.theoryofcomputation.co/mathematical-preliminaries-of-theory-of-computation/