Automatische Erzeugung formaler Übersetzungssysteme aus endlichen Mengen von Beispielen | lit.salon