Statement :=        ' '* ({Control} | {Operation | {Assignment}) ' '* ';'

Control :=      'if(' {CompBooleanOperation} ')' '\n'* '{' '\n'* {Statement}* '\n'* '}' ('\n'* 'else' '\n'* '{' {Statement}* '\n'* '}')?
            | 'while(' {BooleanOp} ')' '\n'* '{' '\n'* {Statement}* '\n'* '}'

Operation :=        {String} '(', (,({MathOperation} | {RealNumber} | {Variable} | {StringLiteral}) , (,',', ({MathOperation} | {RealNumber} | {Variable} | {StringLiteral},),)*,)? ,')'

Assignment :=       {Variable} ' '* '=' ' '* ({MathOperation} | {RealNumber})

MathOperation :=    {MathOperand} {BinaryMathOp} {MathOperand}

ParenMathOperation :=   '(', ({MathOperation} | {Variable} | {RealNumber}), ')'

MathOperand := {Variable} | {RealNumber} | {MathOperation} | {ParenMathOperation}

Variable := {String}

CompBoolOperation :=    {BooleanOperation}
            | {UnaryLogicalOp} '(' {BooleanOperation} ')'
            | {CompBooleanOperation} {BinaryLogicalOp} {CompBooleanOperation}

BinaryLogicalOp :=  '&&'
            | '||'
            | '^'

UnaryLogicalOp :=   '!'

BooleanOperation :=     {Variable} {BooleanOp} {Variable}
            | {Variable} {BooleanOp} {RealNumber}
            | {Variable} {BooleanOp} {MathOperation}
            | {Variable} {BooleanOp} {BooleanOperation}
            | {RealNumber} {BooleanOp} {Variable}
            | {RealNumber} {BooleanOp} {RealNumber}
            | {RealNumber} {BooleanOp} {MathOperation}
            | {RealNumber} {BooleanOp} {BooleanOperation}
            | {MathOperation} {BooleanOp} {Variable}
            | {MathOperation} {BooleanOp} {RealNumber}
            | {MathOperation} {BooleanOp} {MathOperation}
            | {MathOperation} {BooleanOp} {BooleanOperation}

ParenBoolOperation :=   '(', {BooleanOperation}, ')'

BooleanOp :=        '=='
            | '!='
            | '<'
            | '>'
            | '<='
            | '>='

RealNumber :=       {DigitList}
            | {DigitList} '.' {DigitList}
            | '-' {DigitList}
            | '-' {DigitList} '.' {DigitList}

DigitList :=        {Digit}
            | {Digit} {DigitList}

Digit :=        '0'
            | '1'
            | '2'
            | '3'
            | '4'
            | '5'
            | '6'
            | '7'
            | '8'
            | '9'

String :=       {Character}
            | {Character} {String}

Character :=        'a'
            | 'b'
            | 'c'
            | 'd'
            | 'e'
            | 'f'
            | 'g'
            | 'h'
            | 'i'
            | 'j'
            | 'k'
            | 'l'
            | 'm'
            | 'n'
            | 'o'
            | 'p'
            | 'q'
            | 'r'
            | 's'
            | 't'
            | 'u'
            | 'v'
            | 'w'
            | 'x'
            | 'y'
            | 'z'
            | 'A'
            | 'B'
            | 'C'
            | 'D'
            | 'E'
            | 'F'
            | 'G'
            | 'H'
            | 'I'
            | 'J'
            | 'K'
            | 'L'
            | 'M'
            | 'N'
            | 'O'
            | 'P'
            | 'Q'
            | 'R'
            | 'S'
            | 'T'
            | 'U'
            | 'V'
            | 'W'
            | 'X'
            | 'Y'
            | 'Z'

BinaryMathOp :=     '+'
            | '-'
            | '*'
            | '/'

StringLiteral :=     '"' {String} '"'