Acme::HaltingProblem - A program to decide whether a given program halts
use Acme::HaltingProblem; my $problem = new Acme::HaltingProblem( Machine => sub { ... }, Input => [ ... ], ); my $solution = $problem->solve();
The Halting Problem is one of the hardest problems in computing. The problem, approximately stated, is thus:
Given an arbitrary Turing Machine T and input for that turing machine D, decide whether the computation T(D) will terminate.
Construct a new instance of the halting problem where the Machine is given as an arbitrary subref, and the Input is a reference to a list of arguments.
Analyse the instance of the halting problem. If it halts, the method will return 1. Otherwise, it will not return 1.
This code does not correctly deal with the case where the machine does not halt.
It would be nice if this module accepted instances of Acme::Turing.
Mail the author at <cpan@anarres.org>
Shevek CPAN ID: SHEVEK cpan@anarres.org http://www.anarres.org/projects/
Copyright (c) 2002 Shevek. All rights reserved.
This program is free software; you can redistribute it and/or modify it under the same terms as Perl itself.
1; __END__;
1 POD Error
The following errors were encountered while parsing the POD:
You forgot a '=back' before '=head1'
To install Acme::HaltingProblem, copy and paste the appropriate command in to your terminal.
cpanm
cpanm Acme::HaltingProblem
CPAN shell
perl -MCPAN -e shell install Acme::HaltingProblem
For more information on module installation, please visit the detailed CPAN module installation guide.