Timeline for Using induction to prove transition states are the same
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 5, 2014 at 13:56 | history | edited | David Richerby | CC BY-SA 3.0 |
Typesetting
|
| Dec 5, 2014 at 12:41 | history | edited | Raphael |
edited tags
|
|
| Dec 5, 2014 at 10:45 | answer | added | User | timeline score: 1 | |
| Oct 1, 2014 at 0:40 | history | tweeted | twitter.com/#!/StackCompSci/status/517111787159048192 | ||
| Sep 30, 2014 at 21:45 | history | edited | Cain | CC BY-SA 3.0 |
added 292 characters in body; edited title
|
| Sep 30, 2014 at 21:37 | comment | added | Patrick87 | Very close, but I think you've mixed up some $\delta$ with $\delta^*$. You should have $\delta^*(s_f, ax) = \delta^*(\delta(s_f, a), x)$ for the first one. Think about it; $\delta$ takes a single symbol as the second argument, and $\delta^*$ takes a string. Also, we supposed only that $\delta(s_0, a) = \delta(s_f, a)$, not anything about $\delta^*$. Otherwise, I think you've got the right idea. | |
| Sep 30, 2014 at 21:18 | review | First posts | |||
| Sep 30, 2014 at 22:10 | |||||
| Sep 30, 2014 at 21:13 | history | asked | Cain | CC BY-SA 3.0 |