Syntax = X1 .
X1 = .
X1 = Production X1 .
Production = "Variable" "=" Expression "." .
Expression = Term X2 .
X2 = .
X2 = "|" Term X2 .
Term = Factor X3 .
X3 = .
X3 = Factor X3 .
Factor = X4 .
X4 = "Terminal" .
X4 = "Variable" .
X4 = "[" Expression "]" .
X4 = "{" Expression "}" .
X4 = "(" Expression ")" .