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.