Theory Grammar Formal

Production rules are a formalism commonly used in expert systems but which have their origin in automata theory and formal grammars. Each rule consists of an antecedent-consequent pair, for example ... 

In theory of formal grammars, the word-order freedom usually means a certain level of robustness against permutations of sentential forms [15]. To simplify the formulae with permutation elements, a permutation symbol is introduced as follows. Let s = S1S2 Smi where every Si S (i 1,..., m ). Then define... 

The rational construction and use of a Formal Graph rely on a rigorous classification and on precise rules (grammar) that respect the principles of thermodynamics. The structure of the theory can be summarized as follows ... 

---