next up previous
Next: 4 DATR on the Up: No Title Previous: 2 DATR syntax: BNF

3 DATR programme index

This is the U Sussex index (Gazdar & Evans).

Index:           to the DATR files,  3 September 1993 

File:            all.dtr
Purpose:         provide support for multiple inheritance querying
Author:          Roger Evans, 4 August 1993
Related files:   polysemy.dtr
Version:         1.01
Size:            87 lines

File:            alternts.dtr
Purpose:         to illustrate a theory of polysemy
Author:          Adam Kilgarriff, January 1992
Related files:   polysemy.dtr
Version:         1.01
Size:            124 lines

File:            anbncn.dtr
Purpose:         sequence values permit non-CF theorem sets
Author:          Gerald Gazdar, 24 March 1989
Related files:   xx.dtr
Version:         1.01
Size:            41 lines

File:            arabic_a.dtr
Purpose:         Arabic verbal inflection (presupposes MOLUSC functions)
Author:          Lynne Cahill, September 1989
Related files:   arabic_a.mol, arabic_b.dtr
Version:         1.01
Size:            163 lines

File:            arabic_b.dtr
Purpose:         Arabic examples (corrected) from v.d. Hulst & Smith 1982
Author:          Dafydd Gibbon, 17 March 1990
Related files:   arabic_a.dtr
Version:         1.01
Size:            107 lines

File:            arithmet.dtr
Purpose:         simple arithmetic operations
Author:          Gerald Gazdar, 24 March 1989
Version:         1.01
Size:            102 lines

File:            birds_1.dtr
Purpose:         illustrates simple inheritance and defaults in DATR
Author:          James Kilbury, 26 October 1992
Related files:   molluscs.dtr, birds_2.dtr
Version:         1.01
Size:            63 lines

File:            birds_2.dtr
Purpose:         illustrates lexical integration
Author:          Dafydd Gibbon, February 1991
Related files:   birds_1.dtr
Version:         1.01
Size:            158 lines

File:            boolean1.dtr
Purpose:         implementing the propositional calculus
Author:          Gerald Gazdar, 18 September 1989
Related files:   boolean2.dtr, logics.dtr, quantifi.dtr, threesat.dtr
Version:         2.01
Size:            60 lines

File:            boolean2.dtr
Purpose:         implementing the propositional calculus
Author:          James Kilbury, 12 December 1992
Related files:   boolean1.dtr, logics.dtr, quantifi.dtr, threesat.dtr
Version:         1.01
Size:            79 lines

File:            burecog.dtr
Purpose:         deterministic shift reduce context-free recogniser
Author:          Dafydd Gibbon, September 1989
Version:         2.01
Size:            112 lines

File:            carnatic.dtr
Purpose:         generate the the South Indian Carnatic rhythmic system
Author:          Gerald Gazdar, 24 October 1989
Version:         1.01
Size:            228 lines

File:            case.dtr
Purpose:         example of 'case' construct, with fall-thru default
Author:          Gerald Gazdar, 24 August 1989
Version:         2.01
Size:            41 lines

File:            colours.dtr
Purpose:         simple example to illustrate default mechanism
Authors:         Roger Evans & Gerald Gazdar, 24 August 1989
Version:         2.01
Size:            76 lines

File:            derivatn.dtr
Purpose:         English derivational morphology
Author:          Roger Evans, April 1992
Related files:   gderive.dtr
Version:         1.01
Size:            229 lines

File:            dfsa1.dtr
Purpose:         deterministic finite-state automaton
Author:          Gerald Gazdar, 5 November 1989
Related files:   dfst2.dtr, dfst3.dtr, dfsa2.dtr, phon_fst.dtr, tones.dtr
Version:         1.01
Size:            43 lines

File:            dfsa2.dtr
Purpose:         deterministic finite-state automaton
Author:          James Kilbury, 5 November 1992
Related files:   dfsa1.dtr, dfst2.dtr, dfst3.dtr
Version:         1.01
Size:            77 lines

File:            dfst2.dtr
Purpose:         deterministic finite state transducer
Author:          Gerald Gazdar, 24 March 1989
Related files:   dfsa1.dtr, dfst3.dtr, dfsa2.dtr, phon_fst.dtr, tones.dtr
Version:         1.01
Size:            62 lines

File:            dfst3.dtr
Purpose:         deterministic finite state transducer
Author:          James Kilbury, 16 November 1992
Related files:   dfsa1.dtr, dfst2.dtr, dfsa2.dtr, phon_fst.dtr, tones.dtr
Version:         1.01
Size:            60 lines

File:            dp_glo.dtr
Purpose:         generates PATR-style feature structures
Authors:         Petra Naerger & Ingrid Renz, July 1990
Related files:   dp_var.dtr, gnouns.dtr
Version:         1.01
Size:            206 lines

File:            eng_fren.dtr
Purpose:         fragment of a bilingual English/French lexicon
Authors:         Cecile Fabre & Anne LeDraoulec, 27 August 1992
Version:         1.01
Size:            330 lines

File:            english.dtr
Purpose:         English verbal morphology & subcategorization
Author:          Gerald Gazdar, 7 August 1989
Version:         2.01
Size:            350 lines

File:            french_a.dtr
Purpose:         French verb morphology
Author:          Francois Andry, 15 September 1990 
Version:         1.01
Related files:   french_b.dtr, eng_fren.dtr
Size:            588 lines

File:            french_b.dtr
Purpose:         French morphology
Author:          Pierrette Bouillon, August 1990
Related files:   french_a.dtr, eng_fren.dtr
Version:         1.01
Size:            1505 lines

File:            gderive.dtr
Purpose:         German derivational morphology
Author:          James Kilbury, 17 November 1992
Related files:   derivatn.dtr
Version:         1.01
Size:            115 lines

File:            german_1.dtr
Purpose:         German adjective, determiner, noun & pronoun inflection
Authors:         Gerald Gazdar & Lynne Cahill, 12 September 1989
Related files:   german_2.dtr, german_3.mol, german_n.dtr
Version:         2.01
Size:            375 lines

File:            german_2.dtr
Purpose:         German verb inflection
Authors:         Gerald Gazdar & Lynne Cahill, 9 September 1989
Related files:   german_1.dtr, german_3.mol, german_v.dtr
Version:         2.01
Size:            275 lines

File:            german_3.mol
Purpose:         German morphological function definitions in MOLUSC
Author:          Lynne Cahill, September 9 1989
Version:         1.01
Size:            86 lines

File:            german_n.dtr
Purpose:         German noun inflection
Authors:         James Kilbury, Petra Naerger, Ingrid Renz, February 1993
Related files:   german_1.dtr
Version:         2.01
Size:            229 lines

File:            german_v.dtr
Purpose:         German verb inflection
Author:          Ulrich Wille, 30 September 1992
Related files:   german_2.dtr
Version:         1.01
Size:            352 lines

File:            house.dtr
Purpose:         illustrates inference rules I to IV
Author:          James Kilbury, 26 October 1992
Version:         1.01
Size:            51 lines

File:            ilex.dtr
Purpose:         integrated lexical generalisations
Author:          Dafydd Gibbon, 13 February 1990
Version:         2.01
Size:            529 lines

File:            italiana.dtr
Purpose:         Italian adjective morphology
Author:          Graham Russell, 28 August 1990
Version:         1.01
Size:            304 lines

File:            japan_v.dtr
Purpose:         Japanese verb inflection
Author:          Liz Jenkins, 31 May 1989
Version:         1.01
Size:            163 lines

File:            kikuyu.dtr
Purpose:         prosodic inheritance model for tone assignment in Kikuyu
Author:          Dafydd Gibbon, 23 March 1990
Related files:   tones.dtr, morphon.dtr
Version:         1.01
Size:            157 lines

File:            l_system.dtr
Purpose:         deterministic context-free Lindenmayer (DOL-)systems
Author:          Gerald Gazdar, March 1992
Version:         1.01
Size:            80 lines

File:            latin_n.dtr
Purpose:         Latin noun inflection
Author:          Gerald Gazdar, April 1990
Related files:   latin_v.dtr
Version:         2.01
Size:            545 lines

File:            latin_v.dtr
Purpose:         Latin verb inflection
Author:          Gerald Gazdar, 28 May 1989
Related files:   latin_n.dtr
Version:         1.01
Size:            130 lines

File:            logics.dtr
Purpose:         define a variety of propositional logics
Author:          Gerald Gazdar, 24 March 1989
Related files:   boolean1.dtr, boolean2.dtr, quantifi.dtr
Version:         1.01
Size:            112 lines

File:            longlist.dtr
Purpose:         theory of size n(n+1) defines a sequence of length n^n
Author:          Gerald Gazdar, 26 October 1989
Version:         1.01
Size:            38 lines

File:            lotto.dtr
Purpose:         illustrates the longest-defined-subpath-wins principle
Author:          James Kilbury, 26 October 1992
Version:         1.01
Size:            63 lines

File:            ltag.dtr
Purpose:         representing LTAG lexicons
Author:          Roger Evans, 20 August 1993
Related files:   all.dtr
Version:         1.01
Size:            222 lines

File:            matrix.dtr
Purpose:         example showing how to encode matrices
Author:          Gerald Gazdar, 24 March 1989
Version:         1.01
Size:            47 lines

File:            molluscs.dtr
Purpose:         reconstruction of standard AI semantic net example
Author:          Gerald Gazdar, 7 August 1989
Related files:   birds_1.dtr
Version:         1.01
Size:            78 lines

File:            morphon.dtr
Purpose:         morphonology in the lexicon
Author:          Lynne Cahill, April 1993
Related files:   phonlex1.dtr, phonlex2.dtr, kikuyu.dtr
Version:         1.01
Size:            190 lines

File:            multiple.dtr
Purpose:         ordered multiple inheritance -- two techniques
Authors:         Gerald Gazdar, Roger Evans & Lionel Moser, April 1991
Related files:   ordering.dtr
Version:         2.01
Size:            161 lines

File:            music.dtr
Purpose:         to represent generalizations across rhythm and melody 
Author:          Gerald Gazdar, 24 March 1989
Version:         1.01
Size:            79 lines

File:            names.dtr
Purpose:         illustrates quoted paths and quoted node-path pairs
Author:          James Kilbury, 19 November 1992
Version:         1.01
Size:            132 lines

File:            nixon.dtr
Purpose:         use of typed paths avoids Nixon diamond conflicts
Author:          James Kilbury, 29 October 1992
Related files:   multiple.dtr, ordering.dtr 
Version:         1.01
Size:            42 lines

File:            ordering.dtr
Purpose:         ordered multiple inheritance
Author:          Gerald Gazdar, April 1991
Related files:   multiple.dtr
Version:         1.21
Size:            106 lines

File:            phon_fst.dtr
Purpose:         phonological rule defined as finite state transducer
Author:          James Kilbury, 16 November 1992
Related files:   dfsa1.dtr, dfst2.dtr, dfst3.dtr, swahili1.dtr, tones.dtr
Version:         1.01
Size:            38 lines

File:            phonlex1.dtr
Purpose:         underspecification in phonology
Author:          Dafydd Gibbon, 11 August 1989
Related files:   phonlex2.dtr
Version:         1.01
Size:            93 lines

File:            phonlex2.dtr
Purpose:         excerpt from a phonological lexicon
Author:          Dafydd Gibbon, September 1989
Related files:   phonlex1.dtr
Version:         1.01
Size:            313 lines

File:            polysemy.dtr
Purpose:         to illustrate Kilgarriff's theory of semantic alternants
Authors:         Gerald Gazdar & Adam Kilgarriff, January 1993
Related files:   alternts.dtr
Version:         1.01
Size:            254 lines

File:            prolists.dtr
Purpose:         converts DATR paths to Prolog lists
Author:          James Kilbury, 1 December 1992
Related files:   dfst.dtr 
Version:         1.01
Size:            36 lines

File:            quantifi.dtr
Purpose:         first order quantification on attribute sequences
Author:          Gerald Gazdar, 24 August 1989
Related files:   boolean1.dtr, boolean2.dtr
Version:         2.01
Size:            134 lines

File:            russian.dtr
Purpose:         Russian nominal inflection
Authors:         Greville Corbett & Norman Fraser, 14 August 1991
Related files:   latin_n.dtr
Version:         5.01
Size:            205 lines

File:            serbocro.dtr
Purpose:         Serbo Croat noun inflectionoat
Author:          Gerald Gazdar, 24 March 1989
Version:         1.01
Size:            111 lines

File:            spanisha.dtr
Purpose:         Spanish adjective and determiner morphology
Author:          Anna Poch, 26 September 1990
Related files:   spanishn.dtr spanishv.dtr
Version:         1.01
Size:            118 lines

File:            spanishn.dtr
Purpose:         Spanish noun morphology
Author:          Anna Poch, 26 September 1990
Related files:   spanisha.dtr, spanishv.dtr
Version:         1.01
Size:            336 lines

File:            spanishv.doc
Purpose:         Spanish verbal morphology
Author:          Anna Poch, September 26, 1990
Related files:   spanishv.dtr
Version:         1.01
Size:            360 lines

File:            spanishv.dtr
Purpose:         Spanish verbal morphology
Author:          Anna Poch, 26 September 1990
Related files:   spanishn.dtr, spanisha.dtr
Version:         1.01
Size:            421 lines

File:            stherapy.dtr
Purpose:         speech therapy database
Author:          Diana Billigheimer, August 1990
Version:         1.01
Size:            627 lines

File:            swahili1.dtr
Purpose:         Swahili verb inflection (in Stump style)
Author:          Gerald Gazdar, January 1992
Related files:   swahili2.dtr
Version:         1.01
Size:            90 lines

File:            swahili2.dtr
Purpose:         Swahili verb inflection -- including object agreement
Author:          Gerald Gazdar, April 1992
Related files:   swahili1.dtr
Version:         1.01
Size:            172 lines

File:            polysemy.dtr
Purpose:         to illustrate Kilgarriff's theory of semantic alternants
Authors:         Gerald Gazdar & Adam Kilgarriff, January 1993
Related files:   alternts.dtr
Version:         1.01
Size:            203 lines

File:            threesat.dtr
Purpose:         linear translation of 3SAT problems into DATR theories
Authors:         Gerald Gazdar & Roger Evans, 1 September 1991
Related files:   boolean2.dtr, quantifi.dtr
Version:         1.01
Size:            80 lines

File:            ticlex1.dtr
Purpose:         early lexicon for the TIC project
Authors:         Lynne Cahill, Roger Evans & Gerald Gazdar, December 1989
Related files:   ticlex2.dtr
Version:         1.01
Size:            307 lines

File:            ticlex2.dtr
Purpose:         subset of the lexicon used for the POETIC project
Author:          Lynne Cahill, 15 December 1992
Related files:   ticlex1.dtr
Version:         4.11
Size:            830 lines

File:            tones.dtr
Purpose:         FSTs for two West African tone sandhi systems
Author:          Dafydd Gibbon, September 1989
Related files:   dfsa1.dtr, dfst2.dtr, dfst3.dtr, phon_fst.dtr
Version:         1.01
Size:            116 lines

File:            vowels.dtr
Purpose:         to illustrate simple inheritance in a linguistic example
Author:          James Kilbury, 29 October 1992
Related files:   phonlex1.dtr, phonlex2.dtr
Version:         1.01
Size:            79 lines

File:            wessex.dtr
Purpose:         example making use of quoted node-path pairs
Authors:         Roger Evans & Gerald Gazdar, 24 March 1989
Related files:   workers.dtr
Version:         1.01
Size:            150 lines

File:            wg_dec.dtr
Purpose:         'show' and 'hide' declarations for WG lexicon fragment
Author:          Anna Poch, 14 October 1991
Related files:   wg_lex.dtr wg_net.dtr wg_que.dtr
Version:         1.01
Size:            102 lines

File:            wg_lex.dtr
Purpose:         lexeme node definitions for English WG lexicon fragment
Author:          Anna Poch, 14 October 1991
Related files:   wg_dec.dtr wg_net.dtr wg_que.dtr
Version:         1.01
Size:            292 lines

File:            wg_net.dtr
Purpose:         abstract node definitions for English WG lexicon
Author:          Anna Poch, 14 October 1991
Related files:   wg_dec.dtr wg_lex.dtr wg_que.dtr
Version:         1.01
Size:            277 lines

File:            wg_que.dtr
Purpose:         example query nodes for English WG lexicon fragment
Author:          Anna Poch, 14 October 1991
Related files:   wg_lex.dtr wg_net.dtr wg_dec.dtr
Version:         1.01
Size:            50 lines

File:            workers.dtr
Purpose:         simple examples of local and global inheritance
Authors:         Gerald Gazdar & Roger Evans, 19 August 1989
Related files:   wessex.dtr
Version:         2.01
Size:            151 lines

File:            xx.dtr
Purpose:         generate string-copying languages
Authors:         James Kilbury & Gerald Gazdar, 22 January 1993
Related files:   anbncn.dtr
Version:         2.01
Size:            58 lines



Dafydd Gibbon
Tue Sep 17 16:45:21 MET DST 1996