Source: https://www.utsc.utoronto.ca/~bretscher/b36/f13/lectures/formal_languages_inclass.pdf