Timeline for What is the formal description of a Turing machine?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2018 at 7:17 | comment | added | Andrej Bauer | You could try to be funny and give a formal description in a proof assistant. You will find out what sort of a human being your professor is. | |
| Apr 15, 2014 at 18:17 | comment | added | D.W.♦ | Have you tried asking whoever asked you to give the formal description what they mean by that? What have you tried, to answer your question on your own? Have you read a textbook on complexity theory and automata theory? Do you know what the word "formal" means? | |
| Apr 15, 2014 at 13:06 | comment | added | Hendrik Jan | Note there is a difference between (1) "formal definition" of the concept Turing Machine and (2) "formal description" of a single given machine (as a many-tuple, with alphabet, instructions, etc.) | |
| Apr 15, 2014 at 10:09 | history | edited | Raphael | CC BY-SA 3.0 |
edited tags; removes dumpy parts from the question.
|
| Apr 14, 2014 at 23:24 | history | tweeted | twitter.com/#!/StackCompSci/status/455849207686258688 | ||
| Apr 14, 2014 at 19:32 | vote | accept | Mark | ||
| Apr 14, 2014 at 19:03 | review | First posts | |||
| Apr 14, 2014 at 20:12 | |||||
| Apr 14, 2014 at 18:51 | history | edited | David Richerby | CC BY-SA 3.0 |
Turing machines "compute" functions.
|
| Apr 14, 2014 at 18:51 | answer | added | Yuval Filmus | timeline score: 3 | |
| Apr 14, 2014 at 18:44 | history | asked | Mark | CC BY-SA 3.0 |