Timeline for Is this set semi-decidable? A set of all <M> that M is a TM halts on all input strings w such that w <= q(M) where q(M) is the number of states in M
Current License: CC BY-SA 4.0
23 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 4 at 12:04 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Jul 7 at 12:02 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Mar 9 at 12:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Nov 10, 2023 at 11:10 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Jul 13, 2023 at 10:02 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Mar 15, 2023 at 7:06 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Nov 15, 2022 at 6:08 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Jul 18, 2022 at 5:08 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Mar 20, 2022 at 4:06 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Nov 20, 2021 at 4:06 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Jul 23, 2021 at 3:06 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Mar 25, 2021 at 3:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Nov 25, 2020 at 2:04 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Jul 28, 2020 at 1:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Mar 30, 2020 at 0:03 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
Feb 28, 2020 at 23:54 | answer | added | vonbrand | timeline score: 0 | |
Feb 28, 2020 at 15:55 | answer | added | Shahaf Finder | timeline score: 0 | |
Feb 28, 2020 at 15:01 | history | edited | John | CC BY-SA 4.0 |
deleted 1 character in body
|
Feb 28, 2020 at 10:58 | history | edited | vonbrand | CC BY-SA 4.0 |
Math notation, some English fixes
|
Feb 27, 2020 at 20:23 | history | edited | John | CC BY-SA 4.0 |
deleted 3 characters in body
|
Feb 27, 2020 at 20:15 | history | edited | John | CC BY-SA 4.0 |
added 241 characters in body
|
Feb 27, 2020 at 20:03 | history | edited | John | CC BY-SA 4.0 |
added 378 characters in body
|
Feb 27, 2020 at 19:49 | history | asked | John | CC BY-SA 4.0 |