0andendelrapport.tex og .pdf er irrelevant, der er ikke sket noget.
1abstract.tex er blevet besvaret.
2formaalogrammer.tex er blevet besvaret.