Turing Machine § Group: 5 #group-5 Relations § Undecidability: Turing machines provide a formal model for understanding undecidability and the limits of computation.