Computerlinguistik und die Theorie der formalen Sprachen Computational Linguistics and the Theory of Formal Languages