Title: Automatische Erzeugung formaler Übersetzungssysteme aus endlichen Mengen von Beispielen
Subjects: Machine translating