Skip to main content
2 events
when toggle format what by license comment
Feb 17, 2021 at 22:14 comment added Nick Perhaps the solution is to get all the derivations for a particular $x \in (\Sigma \cup N)$. $Derv_x= \{y | y \in (\Sigma \cup N) \land (\underset{\mbox{G}}{x \implies y})\}$. I think my confusion was the size of the set for $x$ values.
Feb 17, 2021 at 21:25 history answered reinierpost CC BY-SA 4.0