From 98e916831a97df96ced70befb23650ed53d8ef6b Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 19 Oct 2006 16:25:55 +0000 Subject: doc on gfcc-lincat --- src/GF/Canon/GFCC/doc/gfcc.html | 66 +++++++++++++++++++++++++++++++++-------- 1 file changed, 54 insertions(+), 12 deletions(-) (limited to 'src/GF/Canon/GFCC/doc/gfcc.html') diff --git a/src/GF/Canon/GFCC/doc/gfcc.html b/src/GF/Canon/GFCC/doc/gfcc.html index 87f80922c..c43188e9f 100644 --- a/src/GF/Canon/GFCC/doc/gfcc.html +++ b/src/GF/Canon/GFCC/doc/gfcc.html @@ -7,7 +7,7 @@

The GFCC Grammar Format

Aarne Ranta
-October 3, 2006 +October 19, 2006

@@ -31,11 +31,12 @@ October 3, 2006
  • Compiling to GFCC -
  • The reference interpreter -
  • Interpreter in C++ -
  • Some things to do +
  • The reference interpreter +
  • Interpreter in C++ +
  • Some things to do

    @@ -45,6 +46,14 @@ October 3, 2006 Author's address: http://www.cs.chalmers.se/~aarne

    +

    +History: +

    + +

    What is GFCC

    @@ -629,6 +638,39 @@ To avoid the code bloat resulting from this, we chose the alias representation which is easy enough to deal with in interpreters.

    +

    The representation of linearization types

    +

    +Linearization types (lincat) are not needed when generating with +GFCC, but they have been added to enable parser generation directly from +GFCC. The linearization type definitions are shown as a part of the +concrete syntax, by using terms to represent types. Here is the table +showing how different linearization types are encoded. +

    +
    +    P*                         = size(P)        -- parameter type              
+    {_ : I ; __ : R}*          = (I* @ R*)      -- record of parameters
+    {r1 : T1 ; ... ; rn : Tn}* = [T1*,...,Tn*]  -- other record
+    (P => T)*                  = [T* ,...,T*]   -- size(P) times
+    Str*                       = ()
+
    +

    +The category symbols are prefixed with two underscores (__). +For example, the linearization type present/CatEng.NP is +translated as follows: +

    +
    +    NP = {
+      a : {                     -- 6 = 2*3 values
+        n : {ParamX.Number} ;   -- 2 values
+        p : {ParamX.Person}     -- 3 values
+      } ;
+      s : {ResEng.Case} => Str  -- 3 values
+    }
+  
+    __NP = [(6@[2,3]),[(),(),()]]
+
    +

    +

    Running the compiler and the GFCC interpreter

    GFCC generation is a part of the @@ -649,7 +691,7 @@ Here is an example, performed in pm -printer=gfcc | wf bronze.gfcc

    - +

    The reference interpreter

    The reference interpreter written in Haskell consists of the following files: @@ -705,7 +747,7 @@ The available commands are

  • quit: terminate the system cleanly - +

    Interpreter in C++

    A base-line interpreter in C++ has been started. @@ -741,7 +783,7 @@ Ubuntu Linux laptop with 1.5 GHz Intel centrino processor. read grammar 1150ms 510ms -150ms +100ms generate 222 @@ -753,7 +795,7 @@ Ubuntu Linux laptop with 1.5 GHz Intel centrino processor. memory 21M 10M -2M +20M @@ -763,11 +805,11 @@ To summarize:

    - +

    Some things to do

    Interpreter in Java. -- cgit v1.2.3