Source: https://home.uni-leipzig.de/gkobele/courses/2018.WS/CompLing/Sipser06.Ch1.pdf