GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-20 10:19:32 -06:00
Code Issues Packages Projects Releases Wiki Activity

work on tutorial

Browse Source
This commit is contained in:
aarne
2005-12-16 14:10:32 +00:00
parent 43f43a176b
commit 9ebdba894b
3 changed files with 58 additions and 74 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
doc/tutorial/gf-tutorial2.txt
View File

@@ -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>