|
FuzzyFOTLattice.grm
|
// FILE. . . . . d:/hak/hlt/src/hlt/fot/fuz/syntax/sources/FuzzyFOTLattice.grm // EDIT BY . . . Hassan Ait-Kaci // ON MACHINE. . Hak-Laptop // STARTED ON. . Sun Jul 15 08:07:20 2018
|
| This file (FuzzyFOTLattice.grm) is the root file of a Jacc grammar specification of an elementary interactive language called FFF meant as Fuzzy Facility for First-order terms. It is a simple tool that facilitates specifying a similarity (i.e., a fuzzy equivalence relation) on functors of a signature of first-order terms and evaluating fuzzy lattice operations on such terms modulo such a functor similarity. |
| [N.B.: to see all the Jacc and Java source files of this FFF grammar, including the generated FFF parser files, click here] |
| FFF grammar's description: fff-description.grm |
%include "fff-description.grm"
| FFF grammar's declarations: fff-declarations.grm |
%include "fff-declarations.grm"
| FFF grammar's Java code for the parser: fff-parser-javacode.grm |
%include "fff-parser-javacode.grm"
| FFF grammar rules: fff-grammar-rules.grm |
%include "fff-grammar-rules.grm"
| FFF grammar's ancillary Java classes: fff-ancillary-classes.grm |
%include "fff-ancillary-classes.grm"
| End of FFF grammar |
/* ******************************************************************** */
This file was generated on Wed Dec 18 03:39:39 PST 2019 from file FuzzyFOTLattice.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci