12,089
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 03:24, 7 January 2009
, 03:24, 7 January 2009→Grammar 6: restore intro for grammar 6
===Grammar 6===
===Grammar 6===
Grammar 6 has the intermediate alphabet <math>\mathfrak{Q} = \{ \, ^{\backprime\backprime} \, S' \, ^{\prime\prime}, \, ^{\backprime\backprime} \, F \, ^{\prime\prime}, \, ^{\backprime\backprime} \, R \, ^{\prime\prime}, \, ^{\backprime\backprime} \, T \, ^{\prime\prime} \, \},</math> with the production set <math>\mathfrak{K}</math> as listed in the next display.
<pre>
<pre>