Start State:<<Program>
<Program>-><InputDeclarations><MainStatementList><FunctionDeclarations>
<InputDeclarations>->[#]
<InputDeclarations>-><InputDeclaration>[nl]{1}<RestOfInputDeclarations>
<InputDeclaration>->[input][=]{2}<InputList>
<InputList>->[typeName][variableName]{3}<ResotOfInputList>
<RestOfInputList>->[#]
<RestOfInputList>->[,]{1}<InputList>
<MainStatementList>-><StatementList>
<StatementList>-><Statement>[nl]{1}<StatementList>
<StatementList>->[#]
<Statement>-><Initialize>
<Statement>-><Assignment>
<Statement>-><IfBlock>
<Statement>-><WhileLoop>
<Statement>-><ForEachLoop>
<Statement>-><Return>
<Initialize>->[initialize]{1}<InitializeList>
<InitializeList>->[name][as][typeName]{4}<RestOfInitializeList>
<RestOfInitializeList>->[,]{1}<InitializeList>
<RestOfInitializeList>->[#]
<Assignment>-><VariableName>[=]<Expression>{5}
<IfBlock>->[if]<Condition>[then][nl]{6}<StatementList><RestOfIfBlock>
<RestOfIfBlock>->[else][nl]{7}<StatementList>[endIf]{1}
<RestOfIfBlock>->[endIf]{1}
<WhileLoop>->[while]<Condition>[nl]{8}<StatementList>[endWhile]{9}
<ForEachLoop>->[forEach][name][in]<Expression>[nl]{10}<StatementList>[nl][next]{11}
<Return>->[return]<Expression>{21}
<Expression>-><Augend><Addend>
<Augend>-><Multiplicand><Multiplier>
<Multiplier>->[#]
<Multiplier>->[*/]<Augend>{12}
<Multiplicand>-><VariableName>
<Multiplicand>->[constant]
<Multiplicand>->[(]{1}<Expression>[)]{1}
<Addend>->[#]
<Addend>->[+-]<Expression>{13}
<Condition>-><Expression(1)>[relationalOperator]<Expression(2)>{14}
<VariableName>->[name]{15}<RestOfVariableName>
<RestOfVariableName>->[#]{16}
<RestOfVariableName>->[.]{17}<VariableName>
<RestOfVariableName>->[(]<ParameterList>[)]{18}<RestOfVariableName>
<FunctionDeclarations>->[#]
<FunctionDeclarations>-><FunctionDeclaration><RestOfFunctionDeclarations>
<FunctionDeclaration>->[function][functionName][(]{19}<FormalParameterList>[)][nl]{20}<StatementList>[nl][endFunction][nl]
<FormalParameterList>->[name][as][typeName]<RestOfFormalParameterList>
<RestOfFormalParameterList>->[,]<FormalParameterList>
<RestOfFormalParameterList>->[#]
<FormalParameterList>->[#]