# GBNF grammar for [INST] format
root ::= "[INST]\n### System:\n" ws system "\n### Instruction:\n" ws instruction "\n[/INST]\n"

# `system` represents the system information
system ::= string

# `instruction` represents the instruction information
instruction ::= string

string ::=
  "\"" (
    [^"\\] |
    "\\" (["\\/bfnrt] | "u" [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F]) # escapes
  )* "\"" ws


# Optional space: by convention, applied in this grammar after literal chars when allowed
ws ::= ([ \t\n] ws)?