User contributions for Sleeveless monkey
Results for Sleeveless monkey talk block log uploads logs global block log global account filter log
A user with 15 edits. Account created on 17 February 2018.
17 April 2024
- 11:5111:51, 17 April 2024 diff hist −36 Greibach normal form Further remove "S is the start symbol" as this is irrelevant to the definition
- 11:4911:49, 17 April 2024 diff hist −31 Greibach normal form Removed "not including the start symbol" from the definition of Greibach normal form, as this is not mentioned in the original paper or anywhere else to my knowledge
8 February 2024
- 21:2821:28, 8 February 2024 diff hist −14 Branching process Follow-up to the previous edit. Clarify a point about the indices of stochastic processes.
- 21:2621:26, 8 February 2024 diff hist −1 Branching process Correct minor error - stochastic processes can be indexed by sets other than the naturals.
11 April 2022
- 13:1813:18, 11 April 2022 diff hist −64 m Filters in topology →References: Remove Munkres, as it doesn't mention filters once.
- 12:3812:38, 11 April 2022 diff hist −6 m Filters in topology →Classifying families by their kernels: remove "is an" from "is/is an", since it doesn't apply
15 March 2022
- 17:2417:24, 15 March 2022 diff hist −80 m Linear temporal logic →Relations with other logics: Remove redundant sentence
11 March 2022
- 12:4412:44, 11 March 2022 diff hist −2 m Probabilistic CTL →Probability measure: grammar and clarity edits
- 12:4112:41, 11 March 2022 diff hist −3 m Probabilistic CTL →PCTL syntax: grammar edits
- 12:3712:37, 11 March 2022 diff hist +137 Talk:CTL* →What’s with all the parentheses: new section
- 12:0712:07, 11 March 2022 diff hist 0 m Carathéodory's theorem (convex hull) Move link to convex combination to its first mention.
10 December 2020
- 20:2420:24, 10 December 2020 diff hist +9 m Directed graph →Subclasses: specified the paths must be distinct for added precision, as the same path will obviously end at the same point
25 March 2020
- 11:2711:27, 25 March 2020 diff hist 0 m Forward algorithm →Further reading: Update page number to match most recent version of the AIMA book
20 May 2019
- 07:2607:26, 20 May 2019 diff hist −1 m Webpack Changed a word to make it look less like an advertisement Tag: Visual edit
17 February 2018
- 19:2819:28, 17 February 2018 diff hist 0 m Green tea Capitalized a letter at the beginning of a sentence Tag: Visual edit
