summaryrefslogtreecommitdiff
path: root/doc/tutorial/gf-tutorial2.txt
diff options
context:
space:
mode:
Diffstat (limited to 'doc/tutorial/gf-tutorial2.txt')
-rw-r--r--doc/tutorial/gf-tutorial2.txt31
1 files changed, 11 insertions, 20 deletions
diff --git a/doc/tutorial/gf-tutorial2.txt b/doc/tutorial/gf-tutorial2.txt
index f417968d5..b7cc929f5 100644
--- a/doc/tutorial/gf-tutorial2.txt
+++ b/doc/tutorial/gf-tutorial2.txt
@@ -10,20 +10,6 @@ Last update: %%date(%c)
[../gf-logo.gif]
-=Grammatical Framework Tutorial=
-
-
-
-**3rd Edition, for GF version 2.2 or later**
-
-
-
-[Aarne Ranta http://www.cs.chalmers.se/~aarne]
-
-
-``aarne@cs.chalmers.se``
-
-
%--!
@@ -84,13 +70,13 @@ in the shell. You will see GF's welcome message and the prompt ``>``.
Now you are ready to try out your first grammar.
We start with one that is not written in GF language, but
-in the EBNF notation (Extended Backus Naur Form), which GF can also
+in the ubiquitous BNF notation (Backus Naur Form), which GF can also
understand. Type (or copy) the following lines in a file named
``paleolithic.ebnf``:
```
S ::= NP VP ;
VP ::= V | TV NP | "is" A ;
- NP ::= ("this" | "that" | "the" | "a") CN ;
+ NP ::= "this" CN | "that" CN | "the" CN | "a" CN ;
CN ::= A CN ;
CN ::= "boy" | "louse" | "snake" | "worm" ;
A ::= "green" | "rotten" | "thick" | "warm" ;
@@ -98,6 +84,15 @@ understand. Type (or copy) the following lines in a file named
TV ::= "eats" | "kills" | "washes" ;
```
+(The name ``paleolithic`` refers to a larger package
+[stoneage http://www.cs.chalmers.se/~aarne/GF/examples/stoneage/],
+which implements a fragment of primitive language. This fragment
+was defined by the linguist Morris Swadesh as a tool for studying
+the historical relations of languages. But as pointed out
+in the Wiktionary article on
+[Swadesh list http://en.wiktionary.org/wiki/Wiktionary:Swadesh_list], the
+fragment is also usable for basic communication with foreigners.)
+
%--!
===Importing grammars and parsing strings===
@@ -1314,7 +1309,3 @@ Dependent types, variable bindings, semantic definitions
Transfer rules
-
-
-<body>
-<html> \ No newline at end of file