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