Changes between Version 1 and Version 2 of sk/synt

Timestamp:

Jun 19, 2013, 7:34:33 PM (11 years ago)

Author:

xmedved1

Comment:

--

sk/synt

@@ -15 +15 @@
 '''The G1 meta-grammar form'''[[BR]]
 The meta-grammar consists of global order constraints that provide succession of given terminals. Meta-grammar contains special flags that impose partial restrictions to given non-terminals and terminals on the right side of the rule.
-In grammar rules are used different arrow marks (->, -->, ==>, ===>), that specify rule type. The meaning of arrow form is: "the thicker and longer the arrow the more actions are able to be done in rule translation". The '->' arrow de-notates an ordinary context free grammar transcription and '===>' inserts possible integer_segment between right hand side constituents, checks the correct order of enclitics and supplies several forms of rule to make the verb phrase into a full sentence. 
- 
+In grammar rules are used different arrow marks (->, -->, ==>, ===>), that specify rule type. The meaning of arrow form is: "the thicker and longer the arrow the more actions are able to be done in rule translation". The '->' arrow de-notates an ordinary context free grammar transcription and '===>' inserts possible integer_segment between right hand side constituents, checks the correct order of enclitics and supplies several forms of rule to make the verb phrase into a full sentence.[[BR]]
+[[BR]]
 
+G1 combining constructs (generates variants of given terminals and non-terminals):
+ order()[[BR]]
+ rhs()[[BR]]
+ first()[[BR]]
+'''Example'''
+{{{
+I will ask:  clause ===> order(VBU,R,VRI)
+}}}
+
+''order()'': generates all possible permutations of its components
+
+''first()'' and ''rhs()'': are employed to implant content of all the right hand side of specified non-terminal to the rule. The ''rhs(N)'' inserts all possible rewritings of non-terminal N. The resulting terms are then subject to standard constraints, enclitic checking and inter-segmentation. The ''first(N)'' secure that N is firmly tried to the beginning.
+
+Grammar contains several generative constructs starting with %list_* expression. This constructs defining rule templates, which automatically produce new rules for a list of the given non-terminals. 
+
+A significant portion of the grammar is made up by verb group rules, that contains frequent repetitive constructions in given verb group.
+
+'''Example''':
+
+{{{
+%group verbP={
+  V:     verb_rule_schema($@,"(#1)")
+         groupflag($1,"head"),
+  VR R:  verb_rule_schema($@,"(#1 #2)")
+         groupflag($1,"head"),
+}
+/* ctu/ptam se - I am reading/I am asking */
+  clause ====> order(group(verbP), vi_list)
+  verb_rule_schema($@,"#2")
+  depends(getgroupflag($1,"head"), $2)
+}}}
+