VM for transfer - Revision history

Bech: Link to French page

2014-10-07T13:58:30Z

Link to French page

Unhammer: cat

2013-09-24T06:47:49Z

cat

Francis Tyers: /* Wishlist */

2013-05-03T17:53:50Z

Wishlist

Bech: Category:Documentation in English

2012-03-24T11:46:35Z

Category:Documentation in English

Hectoralos: +Category:Development

2011-10-04T05:20:37Z

+Category:Development

Ggregori: /* Code sections */

2011-08-08T09:13:38Z

Code sections

Francis Tyers: /* Code generated */

2011-08-04T11:42:13Z

Code generated

Ggregori: /* Code examples */

2011-07-18T15:55:40Z

Code examples

Ggregori: /* Code examples */

2011-07-18T15:51:08Z

Code examples

Ggregori: /* Code examples */

2011-07-18T15:44:14Z

Code examples

Show changes

← Older revision		Revision as of 13:58, 7 October 2014
Line 1:		Line 1:
			[[Machine virtuelle pour le transfert\|En français]]

	== Instruction Set ==		== Instruction Set ==

@@ Line 98: / Line 98: @@
 | align=center | Header || <code>#<assembly> <br /> #<transfer default="chunk"></code> || align=center | ---- || This section establishes the type of code generated and the transfer stage.
 |-
-| align=center | Initialization || <code>push "genere"<br /> push "<m>"<br /> storev <br /> ... <br /> jmp rules_section_start</code> || align=center | Code section || In this section we initialize the variables with their default value and execute other initialization code. <br /> At the end we jmp to the section rules section, although rules will only execute when a pattern is matched,<br /> we need to process all the patterns which are in the rules section.
+| align=center | Initialisation || <code>push "genere"<br /> push "<m>"<br /> storev <br /> ... <br /> jmp rules_section_start</code> || align=center | Code section || In this section we initialize the variables with their default value and execute other initialisation code. <br /> At the end we jmp to the section rules section, although rules will only execute when a pattern is matched,<br /> we need to process all the patterns which are in the rules section.
 |-
 | align=center | Macros || <code>macro_firstWord_start: <br /> ... <br /> macro_firstWord_end: <br />...</code> || align=center | Macros code section || This section contains all the macro's code delimited by labels.<br /> Each macro can be called with the 'call' instruction.
@@ Line 378: / Line 378: @@
 [[Category:Development]]
 [[Category:Documentation in English]]
+[[Category:Transfer]]

@@ Line 366: / Line 366: @@
 ----
 ==Wishlist==
 * Make the compile options like with lt-comp/cg-comp (e.g. you don't need -i/-o to say what the input/output files are), just <code>apertium-compiler [options] <infile> <outfile></code>
+==External links==
+* [https://github.com/ggm/vm-for-transfer-cpp Github: vm-for-transfer-cpp]
 [[Category:Development]]

← Older revision		Revision as of 11:46, 24 March 2012
Line 372:		Line 372:

	[[Category:Development]]		[[Category:Development]]
			[[Category:Documentation in English]]

← Older revision		Revision as of 05:20, 4 October 2011
Line 370:		Line 370:

	* Make the compile options like with lt-comp/cg-comp (e.g. you don't need -i/-o to say what the input/output files are), just <code>apertium-compiler [options] <infile> <outfile></code>		* Make the compile options like with lt-comp/cg-comp (e.g. you don't need -i/-o to say what the input/output files are), just <code>apertium-compiler [options] <infile> <outfile></code>

			[[Category:Development]]

@@ Line 92: / Line 92: @@
 === Code sections ===
-The code generated by the compiler is divided in these sections:
+The code generated by the compiler is divided in several sections. In addition, the VM reads and stores the code in its own sections.
 {| class="wikitable" border="1"
-! Section !! Code !! Information
+! Section !! Code !! VM's section !! Information
 |-
-| Header || <code>#<assembly> <br /> #<transfer default="chunk"></code> || This section establishes the type of code generated and the transfer stage.
+| align=center | Header || <code>#<assembly> <br /> #<transfer default="chunk"></code> || align=center | ---- || This section establishes the type of code generated and the transfer stage.
 |-
-| Initialization || <code>push "genere"<br /> push "<m>"<br /> storev <br /> ... <br /> jmp rules_section_start</code> || In this section we initialize the variables with their default value and execute other initialization code. <br /> At the end we jmp to the section rules section, although rules will only execute when a pattern is matched,<br /> we need to process all the patterns which are in the rules section.
+| align=center | Initialization || <code>push "genere"<br /> push "<m>"<br /> storev <br /> ... <br /> jmp rules_section_start</code> || align=center | Code section || In this section we initialize the variables with their default value and execute other initialization code. <br /> At the end we jmp to the section rules section, although rules will only execute when a pattern is matched,<br /> we need to process all the patterns which are in the rules section.
 |-
-| Macros || <code>macro_firstWord_start: <br /> ... <br /> macro_firstWord_end: <br />...</code> || This section contains all the macro's code delimited by labels.<br /> Each macro can be called with the 'call' instruction.
+| align=center | Macros || <code>macro_firstWord_start: <br /> ... <br /> macro_firstWord_end: <br />...</code> || align=center | Macros code section || This section contains all the macro's code delimited by labels.<br /> Each macro can be called with the 'call' instruction.
 |-
-| Patterns || <code>section_rules_start:<br /> patterns_start:<br /> push "all<predet><sp>"<br /> push "<n><pl>"<br /> push 2<br /> addtrie action_0_start<br /> ... <br />patterns_end:</code> || In this section all the patterns will be added to the system trie. <br />In this example you can see that two patterns are pushed, then the number of patterns is pushed and finally<br /> the addtrie instruction pops them and adds an entry in the trie to the rule 0.
+| align=center | Patterns || <code>section_rules_start:<br /> patterns_start:<br /> push "all<predet><sp>"<br /> push "<n><pl>"<br /> push 2<br /> addtrie action_0_start<br /> ... <br />patterns_end:</code> || align=center | Preprocess code section || In this section all the patterns will be added to the system trie. <br />In this example you can see that two patterns are pushed, then the number of patterns is pushed and finally<br /> the addtrie instruction pops them and adds an entry in the trie to the rule 0.
 |-
-| Rules || <code>action_0_start:<br /> ...<br /> action_0_end:<br /> ...<br /> section_rules_end:</code> || Finally the rules section contains every rule delimited by its labels and all its code.
+| align=center | Rules || <code>action_0_start:<br /> ...<br /> action_0_end:<br /> ...<br /> section_rules_end:</code> || align=center | Rules code section || Finally the rules section contains every rule delimited by its labels and all its code.
 |}

@@ Line 112: / Line 112: @@
 ==== Macro example ====
 ===== Transfer file (.t1x) =====
+<code>
 <source lang="xml">
  <transfer default="chunk">
@@ Line 185: / Line 189: @@
  </transfer>
 </source>
+</code>
 ===== Code generated =====
@@ Line 268: / Line 275: @@
  section_rules_end:
 </source>
+----
 ==== Rule's patterns example ====
@@ Line 355: / Line 364: @@
 section_rules_end:
 </source>
+----

@@ Line 267: / Line 267: @@
  section_rules_start:
  section_rules_end:
+</source>
+==== Rule's patterns example ====
+===== Transfer file (.t1x) =====
+<source lang="xml">
+<transfer default="chunk">
+  <section-def-cats>
+    <def-cat n="all">
+      <cat-item lemma="all" tags="predet.sp"/>
+    </def-cat>
+    <def-cat n="adj2">
+      <cat-item tags="adj"/>
+      <cat-item tags="adj.*"/>
+      <cat-item tags="adj.sint"/>
+      <cat-item tags="adj.sint.*"/>
+      <cat-item tags="adj.comp"/>
+      <cat-item tags="adj.sup"/>
+    </def-cat>
+    <def-cat n="nomcomu">
+      <cat-item tags="n.*"/>
+    </def-cat>
+    <def-cat n="nompropi">
+      <cat-item tags="np.*"/>
+    </def-cat>
+    <def-cat n="nploc">
+      <cat-item tags="np.loc.*"/>
+    </def-cat>
+  </section-def-cats>
+    <rule>
+      <pattern>
+	<pattern-item n="all"/>
+	<pattern-item n="adj2"/>
+      </pattern>
+      <action>
+	...
+      </action>
+    </rule>
+    <rule>
+      <pattern>
+	<pattern-item n="nomcomu"/>
+	<pattern-item n="nompropi"/>
+	<pattern-item n="nploc"/>
+      </pattern>
+      <action>
+	...
+      </action>
+    </rule>
+  </section-rules>
+</transfer>
+</source>
+===== Code generated =====
+<source lang="bash">
+#<assembly>
+#<transfer default="chunk">
+jmp section_rules_start
+#<section-rules>
+section_rules_start:
+patterns_start:
+push "all<predet><sp>"
+push "<adj>|<adj><*>|<adj><sint>|<adj><sint><*>|<adj><comp>|<adj><sup>"
+push 2
+addtrie action_0_start
+push "<n><*>"
+push "<np><*>"
+push "<np><loc><*>"
+push 3
+addtrie action_1_start
+patterns_end:
+action_0_start:
+...
+action_0_end:
+action_1_start:
+...
+action_1_end:
+section_rules_end:
 </source>