From 9ebdba894bc6d3e13e9af3d7f9c0558efaeae6d2 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 16 Dec 2005 14:10:32 +0000 Subject: work on tutorial --- doc/tutorial/gf-tutorial2.txt | 31 +++++++++++-------------------- 1 file changed, 11 insertions(+), 20 deletions(-) (limited to 'doc/tutorial/gf-tutorial2.txt') 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 - - - - \ No newline at end of file -- cgit v1.2.3