Timeline for What is the difference between a TM accepting and deciding a language?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:48 | history | edited | CommunityBot |
replaced http://cs.stackexchange.com/ with https://cs.stackexchange.com/
|
|
| Jan 28, 2013 at 9:58 | history | edited | Jan Hudec | CC BY-SA 3.0 |
deleted 1 characters in body
|
| Jan 28, 2013 at 9:58 | comment | added | Jan Hudec | @AndrejBauer: Indeed the terminology does not seem to be completely unified. But I linked the definition on WikiPedia, which clearly says "decidable" means that it's complement is also decidable. | |
| Jan 28, 2013 at 9:53 | comment | added | Andrej Bauer | I dunno, where I come from "accept and decide" are synonyms, while the third option is "recognize". | |
| Jan 28, 2013 at 9:50 | history | edited | Jan Hudec | CC BY-SA 3.0 |
add some links
|
| Jan 28, 2013 at 9:43 | history | answered | Jan Hudec | CC BY-SA 3.0 |