The Abstract Syntax seems to be missing a derivation rule for "{}", which should be a valid input.
The rules expr -> { objinside } and objinside -> member { , member } [ , ] with member always being non-empty don't seem to allow a valid derivation from expr to "{}". Or am I missing something?
The Abstract Syntax seems to be missing a derivation rule for "{}", which should be a valid input.
The rules
expr -> { objinside }andobjinside -> member { , member } [ , ]with member always being non-empty don't seem to allow a valid derivation from expr to "{}". Or am I missing something?