Allgemeines Halteproblem
Hallg={<n,i>|Mn hält bei Eingabe i}
Unentscheidbar
Zuletzt geändertvor einem Monat