karlstroetmann/Formal-Languages — pull request #18 by Danghor (2014-10-27 17:09:59+00:00)
Title: fix typos

Tippfehler verbessert.