text-generation-webui/grammars/arithmetic.gbnf

mirror of https://github.com/oobabooga/text-generation-webui.git synced 2024-10-31 06:30:15 +01:00
root  ::= (expr "=" ws term "\n")+
expr  ::= term ([-+*/] term)*
term  ::= ident | num | "(" ws expr ")" ws
ident ::= [a-z] [a-z0-9_]* ws
num   ::= [0-9]+ ws
ws    ::= [ \t\n]*
Add grammar to llama.cpp loader (closes #4019) 2023-09-24 16:08:41 +02:00			`root ::= (expr "=" ws term "\n")+`
			`expr ::= term ([-+/] term)`
			`term ::= ident \| num \| "(" ws expr ")" ws`
			`ident ::= [a-z] [a-z0-9_]* ws`
			`num ::= [0-9]+ ws`
			`ws ::= [ \t\n]*`