Timeline for Proving whether an input sequence is in a given RE language
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 9, 2019 at 15:42 | comment | added | Gwangmu Lee | This was exactly the answer that I wanted. Actually I've learned this years ago but forgot many bits of the theory. Thanks! | |
| Aug 9, 2019 at 15:41 | vote | accept | Gwangmu Lee | ||
| Aug 9, 2019 at 13:39 | history | answered | David Richerby | CC BY-SA 4.0 |