M2-20-2
Mathematical foundations of automata theory
PDF output
You can obtain a PDF output from these markdown + LaTeX files with pandoc:
pandoc -f markdown -t latex -o <output-name>.pdf <markdown+latex-file>
You will need LaTeX installed on your computer.