Mathematische Einführung in die formale Grammatik