Available online
Description
This programme demonstrates that a calculation performed by a Turing machine can be computed by means of a post system.
This programme demonstrates that a calculation performed by a Turing machine can be computed by means of a post system.
| Module code and title: | M202, Topics in pure mathematics |
|---|---|
| Item code: | M202; 25 |
| First transmission date: | 30-07-1973 |
| Published: | 1973 |
| Rights Statement: | |
| Restrictions on use: | |
| Duration: | 00:24:16 |
| + Show more... | |
| Producer: | Andrew Crilly |
| Contributors: | Peter Needham; Allan I.,1936-2013 Solomon; Peter Strain |
| Publisher: | BBC Open University |
| Keyword(s): | Alphabet; Axiom; Finite state machines; Production; Turing machines |
| Master spool number: | 6HT/71157 |
| Production number: | 00525_4049 |
| Videofinder number: | 4030 |
| Available to public: | no |
