Gegeben sei eine endliche Menge von Wortpaaren mit . Gibt es eine Indexfolge , so dass gilt’ Das Problem ist nicht entscheidbar.