Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität