Der Begriff Äquivalenz ist bereits ziemlich überladen, zum Beispiel gibt es die logische Äquivalenz. Wie wäre es mit Sprachgleichheitsproblem? Außerdem sollte klargestellt werden, dass die Eingabe aus zwei Grammatiken (nicht Sprachen) besteht. Also zum Beispiel: Das Sprachgleichheitsproblem für kontextfreie Grammatiken ist unentscheidbar.--AlfonsGeser 15:21, 10. Mai 2008 (CEST)