Yacc Form of grammar FuzzyFOTLattice.grm

This yacc grammar was generated on Thu Sep 27 10:27:38 CEST 2018 from the annotated Jacc grammar file FuzzyFOTLattice.grm.

Session : Clauses Exit | Exit ; Clauses : Clause | Clauses Clause ; Clause : Pragma ';' | SimilarityDegree ';' | Unification ';' | Generalization ';' | error ';' ; Exit : 'exit' ';' ; Pragma : HelpPragma | FunPragma | SigPragma | SimPragma | ClosePragma | ShowPragma | FunclassPragma | TermclassPragma | FunrepPragma | TermrepPragma | MapPragma | CompPragma | LoadPragma | TracePragma | ResetPragma ; HelpPragma : HELP PragmaName_opt ; PragmaName_opt : /* empty */ | PragmaName ; PragmaName : HELP | FUN | SIG | SIM | CLOSE | SHOW | FUNCLASS | TERMCLASS | FUNREP | TERMREP | MAP | COMP | LOAD | TRACE | RESET ; FunPragma : FUN FunctorsArities_opt ; FunctorsArities_opt : /* empty */ | FunctorsArities ; FunctorsArities : FunctorArity | FunctorsArities FunctorArity ; FunctorArity : FUNCTOR SlashOpt NATURAL ; SlashOpt : /* empty */ | '/' ; SigPragma : SIG ; SimPragma : SIM FuzzyPairs_Opt ; FuzzyPairs_Opt : /* empty */ | FuzzyPairs ; FuzzyPairs : FuzzyPair | FuzzyPairs FuzzyPair ; FuzzyPair : FUNCTOR FUNCTOR FUZZYVAL ; ClosePragma : CLOSE ; ShowPragma : SHOW ; FunclassPragma : FUNCLASS FUNCTOR FUZZYVAL ; TermclassPragma : TERMCLASS Term NaturalOrFuzzyval ; NaturalOrFuzzyval : NATURAL | FUZZYVAL ; FunrepPragma : FUNREP FUNCTOR FUZZYVAL ; TermrepPragma : TERMREP Term FUZZYVAL ; MapPragma : MAP MapPragmaData_opt ; MapPragmaData_opt : /* empty */ | MapPragmaData ; MapPragmaData : FuzzyPair MapPairs_opt ; MapPairs_opt : /* empty */ | MapPairs ; MapPairs : MapPair MapPairs_opt ; MapPair : NATURAL ':' NATURAL ; CompPragma : COMP ; LoadPragma : LOAD STRING ; TracePragma : TRACE LevelOpt ; LevelOpt : /* empty */ | NATURAL ; ResetPragma : RESET ; SimilarityDegree : LhsTerm EQS RhsTerm ; Unification : LhsTerm INF RhsTerm ; Generalization : LhsTerm SUP RhsTerm ; LhsTerm : Term ; RhsTerm : Term ; Term : VARIABLE | Structure | '(' Term ')' ; Structure : FUNCTOR | FUNCTOR '(' Body ')' ; Body : Term | Body ',' Term ;