| dbp:reason
|
- Usually, curly braces build a set , while in a stack, ordering and repetition does matter. Probably, the notation used here is wrong, or at least misleading. (en)
- In the sentence before, was explained to equal , hence {upsilon sub j} would equal {ddagger }; however, now it is claimed to equal {ddagger ,...,ddagger } instead. Moreover, in the rightmost term, it should be explained whether or is meant, and what ddagger applied to the stack alphabet Gamma,or to , is supposed to mean. Finally, is should be explicitly mentioned that +, as I guessed, denotes the Kleene plus. (en)
|
