HeaRTDroid

HeaRTDroid is a rule-based inference engine both for Android mobile devices, and desktop solutions

User Tools

Site Tools


pub:software:heartdroid:documentation:hmr

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
pub:software:heartdroid:documentation:hmr [2017/01/19 13:19]
msl [Definition]
pub:software:heartdroid:documentation:hmr [2017/01/19 13:19]
msl [Definition]
Line 9: Line 9:
 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.+As for the notation, double-quotes ''"''​ are put around the literals, brackets ''​(''​ and ''​)''​ are used to group tokens, and question sign ''?''​ is used in some places to mark that the preceding ​token is optional.
  
 ==== Primitives ===== ==== Primitives =====
pub/software/heartdroid/documentation/hmr.txt ยท Last modified: 2019/04/10 06:54 (external edit)