Help for this page
sub halts { my $machine = shift; ... }; is_whatever_nullary($code_string_to_analyze); }