karlstroetmann/Formal-Languages — pull request #13 by Danghor (2014-10-06 01:10:52+00:00)
Title: fixed typos

Tippfehler verbessert.