karlstroetmann/Formal-Languages — pull request #12 by Danghor (2014-10-03 22:07:08+00:00)
Title: fixed typos

Tippfehler verbessert.