HeaRTDroid is a rule-based inference engine both for Android mobile devices, and desktop solutions
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
pub:software:heartdroid:documentation:hmr [2017/01/19 10:22] msl [Rules] |
pub:software:heartdroid:documentation:hmr [2017/01/19 13:19] msl [Definition] |
||
---|---|---|---|
Line 8: | Line 8: | ||
This section will present the semi-formal definition of HMR along with link to the full grammar used in actual parser generation process (using [[http://mousepeg.sourceforge.net/|Mouse parser generator]]). Firstly, there will be defined primitive types used in HMR. Subsequent subsections will concern more and more complex elements of a HMR model. | This section will present the semi-formal definition of HMR along with link to the full grammar used in actual parser generation process (using [[http://mousepeg.sourceforge.net/|Mouse parser generator]]). Firstly, there will be defined primitive types used in HMR. Subsequent subsections will concern more and more complex elements of a HMR model. | ||
+ | |||
+ | As for the notation, double-quotes ''"'' are put around the literals, brackets ''('' and '')'' are used to groups tokens, and question sign ''?'' is used in some places to mark that the token is optional. | ||
==== Primitives ===== | ==== Primitives ===== |