https://9dok.net/document/q7wkp7ev-vl-postsche-correspondenzproblem-berechenbarkeit-komplexit-ws-gerhard-woeginger.html