Wir wollen eine Präfix-freie Kodierung von Turing-Maschinen und eine universelle Turing-Maschine U festlegen UU, die bei Eingabe ( T , x )(T,x)(T,x) (kodiert als Präfix-freier Code von T,TT gefolgt von xxx ) alle T-TT Ausgaben bei Eingabe x ausgibt xx(möglicherweise) beide laufen für immer)....