Et annet velkjent eksempel på et turinggjenkjennelig språk er posts korrespondanseproblem. Dette er heller ikke turingavgjørbart fordi det finnes inga turingmaskin for å bestemme problemet, med mindre det er over et alfabet bestående av et symbol.