, normal* (special normal*)* . Java:
Rule Normal()
{
return NoneOf("\\\"");
}
Rule Special()
{
return String("\\\"");
}
Rule NSN()
{
return Sequence(
ZeroOrMore(Normal()),
ZeroOrMore(Special(), ZeroOrMore(Normal()))
);
}
Rule DoubleQuotedString()
{
return Sequence('"', NSN(), '"');
}