minor edits in theory of ll(k)-parsers