karlstroetmann/Formal-Languages — pull request #17 by Danghor (2014-10-21 08:18:03+00:00)
Title: fix typos

Tippfehler verbessert.