1. Simplified two-level model


The twol package has been published in PyPI and can be freely installed from there. The programs and test materials are available from Github. The documentation of the twol package and tools is maintained here. The programs are believed to be useful. The programs and this documentation are still under development.

The morphological two-level model dates back to [koskenniemi1983] and is characterized by the descritpion of phonological or morphophonological alternations as a direct relation between the surface forms and their underlying lexical or morphophonemic forms. It differs from the classical generative phonology by explaining the alternations using parallel rules rather than as a cascade of successive rules, see [karttunen1993] for a demonstration of this difference. The differences between the traditional two-level rules and the rules in the simplified two-level model are discussed in detail in a separate section, see Differences between twol-comp and hfst-twolc.

Two-level rules are useful for describing inflected word forms in languages which have phonemic alternations. In such languages, the shapes of stems and affixes vary depending on phonological context. The two-level model assumes that there is an underlying morphophonemic representation (as in classical generative phonology) but all rules which are needed, operate in parallel rather than in sequence.

To construct a morphophonological description, one has do two important tasks: (1) to establish the underlying representations and (2) design rules which relate the underlying representations to the surface forms. In the two-level model the representations are quite different from those in the standard generative phonology, i.e. they do not consist of plain phonemes.

1.1. Overall plan

The present approach is based on a set of carefully selected examples of word forms. The set of examples ought to cover the phenomena which the rules are expected to govern. If so, one may expect that the method described below will first produce morphophonemic representations for stems and affix morphemes and then a two-level rule for each morphophoneme which dictates in what contexts the morphophoneme may correspond to what surface symbols. Each morphophoneme may be treated separately in an order which the linguist finds convenient.

This set of documents demonstrates methods and tools for:

  1. Establishing the morphophonemic representations (almost mechanically) out of a table of inflectional paradigms. The method and the tools are described in a separate part of this documentation: Morphophonemic representations.
  2. Finding raw candidates for the two-level rules. The method and the use of the program are described in a separate part of this documentatio: discovery.
  3. Authoring a two-level rule and testing it immediately. The testing is has been improved so that it consists of two phases: (a) the rule is checked against the examples and the program reports any examples not accepted by the rule, and (b) a set of negative examples is generated from the positive ones and the program checks that the rule discards all of them. The revised rule formalism is described in part Rule formalism, the use of the compiler in part Compiling and testing the rules. For the interested reader, some details of the methods and algorithms of the compilation process are documented separately: twol.twrule module. The compiler can also test the whole rule grammar against examples. When the rules have been written for all morphophonemes, the program can make a more comprehensive check that the grammar is complete and has all necessary constraints.

Various methods and programs programs have been developed in order to simplify the whole process of creating a morphological two-level grammar. It can be summarized using the following steps:

  1. A linguist selects a representative set of example words.
  2. The linguist marks the morph boundaries in the example words.
  3. The linguist checks the letters used in the examples for their approximate phonological distinctive features and makes the necessary modifications to the default definition of the alphabet.
  4. A program aligns the morphs in the examples by adding zero symbols. The zero-filled morphs are the same length and phonemes in corresponding positions are phonologically similar.
  5. A program produces example words as sequences of pair-strings where the left component of each pair is a raw morphophoneme implied by the alignment. This is the initial version of the file of examples which is then used for designing and testing the rules.
  6. Using the file of examples, one selects one morphophoneme at a time, possibly renames it with a simpler name and:
    1. Lets a program produce tentative raw two-level rules for the morphophoneme.
    2. The linguists renames the raw morphophoneme and possibly merges it with some similar raw morphophonemes, and thus produces a revised version of the example file.
    3. The linguist tunes the raw two-level rule into a more general version when there appears to be need.
    4. A program compiles the rule and produces a set of positive and a set of negative test cases. The program checks that all positive examples pass the rule and that all negative examples are rejected. The program reports any failures.
    5. If all tests passed for this morphophoneme, proceed to the next morphophoneme. If rejected positive or accepted negative examples were reported, check and revise the rules (or possibly the examples) and repeat from step (c).

When the process is complete, we have a set of two-level rules which accept all our examples and probably a large set of other word forms with similar morphophonemic alternatilns.

1.2. Examples as strings of pair symbols

The simplified two-level model is heavily based on examples which are selected and edited before any rules are considered and before one starts to write the first rule. The set of examples defines the possible correspondences or possible phoneme alternations; even the possible surface symbols and the set of morphophonemes is defined implicitly by the set of examples.

The examples are given as a file where each line is a string of pair symbols, e.g.:

k a t {}:Ø o l l {}:a

Here we have eight pair symbols, six of them are abbreviations, e.g. k stands for k:k and a for a:a. The remaining two pair symbols consist each of two symbols: a morphophonemic symbol {tØ} or {aä} combined with a surface symbol Ø or a. Another way of representing the examples would be them on two rows:

k  a  t {} o  l  l  {}
k  a  t   Ø  o  l  l   a

The upper line is the morphophonemic representation of the example word form, and the lower line is the surface representation of it. Note that in the examples, the morphophonemic representation has always the the same length as the surface representation. This is achieved by inserting a zero symbol (Ø) when necessary. In the above example, the ultimate surface form consists of only seven sybols: k a t o l l a. Within the examples and in the rules, these zeros always expliciltly present.

Some HFST programs (e.g. hfst-lookup and hfst-fst2strings) may show the examples in yet another form, i.e. as a pair of strings and then the strings are given without spaces, e.g.:


One can readily see that the three ways to represent examples are equivalent. The first format (space-separated pair symbol strings or PSTR) is used by the twol programs. Examples are processed into that format by the programs that produce the morphophonemic representations, but such files can be also edited and extended as ordinary text files. A PSTR file can also be compiled into a FST using the twol-examples2fst program.

1.3. Rule formalism in the simplified two-level model

The simplified two-level grammar consists of one or more lines where each line may be either a definition, a rule or just a comment as described in the section Rule formalism. Definitions and rules are made out of regular two-level expressions. The following is a small example file grada.pstr:

k a n {kg}:k i
k a n {kg}:g e n
p o i {kj}:k a n a
p o i {kj}:j a s t a
p u {kv}:k u
p u {kv}:v u s s a
p a {}:k o
p a {}:Ø o s s a
v a a {'}:k a
v a a {'}:' a l l a
v a a {'}:Ø o i s s a
k a m {pm}:p a
k a m {pm}:m a l l a
a r {pv}:p i a
a r {pv}:v a n
p a p {}:p i
p a p {}:Ø i l l e
k a {td}:t u
k a {td}:d u l l a
v a l {tl}:t a a n
v a l {tl}:l a s s a
k a n {tn}:t o j a
k a n {tn}:n o s s a
p a r {tr}:t a
p a r {tr}:r a n
k a t {}:t o
k a t {}:Ø o l l e

A two-level rule file grada.twol is based on the above example file:

Vow = a|e|i|o|u ;
Cons = :d|:g|j|k|l|m|n|p|r|s|t|v ;
Vi = Vow.m ;
Ci = Cons.m ;
Closed = (i) Ci [Ci|END] ;

{kg}:g | {kj}:j | {kv}:v |
{pm}:m | {pv}:v | {pØ}:Ø |
{td}:d | {tl}:l | {tn}:n | {tr}:r | {tØ}:Ø <=>
    _ Vi Closed ;
! Weakening except k~Ø~'

{kØ}:Ø <=> _  Vi Closed ;
! pa<>on

{kØ'}:' <=>
    Vi :a _ :a Closed ,
    Vi :e _ :e Closed ,
    Vi :i _ :i Closed ,
    Vi :o _ :o Closed ,
    Vi :u _ :u Closed ;
! vaa<'>an

{kØ'}:k /<= _ Vi Closed ;
! vaa<>oissa

Here we can identify (1) definitions which have an equal (=) sign which end in a semicolon (;), (2) rules which have a rule operator (<=>, =>, <=, <--, or /<=) and comments which start with an exclamation mark (!) and continue to the end of the line.

Definitions and rules consist mostly of two-level regular expressions (TLRE) which are discussed and defined in the section Rule formalism.

One can test the twol-comp compiler with these two files by a command:

$ twol-comp -t 2 grada.pstr grada.twol

The compiler compiles and tests the rules in the following manner:

{kg}:g | {kj}:j | {kv}:v | {pm}:m | {pv}:v | {pØ}:Ø |
{td}:d | {tl}:l | {tn}:n | {tr}:r | {tØ}:Ø <=> _ Vi Closed ;
All positive examples accepted
All negative examples rejected

{kØ}:Ø <=> _  Vi Closed ;
All positive examples accepted
All negative examples rejected

{kØ'}:' <=> Vi :a _ :a Closed , Vi :e _ :e Closed ,
Vi :i _ :i Closed , Vi :o _ :o Closed , Vi :u _ :u Closed ;
All positive examples accepted
All negative examples rejected

{kØ'}:k /<= _ Vi Closed ;
All positive examples accepted
$ twol-comp grada.pstr grada.twol -t 2

{kg}:g | {kj}:j | {kv}:v | {pm}:m | {pv}:v | {pØ}:Ø |
{td}:d | {tl}:l | {tn}:n | {tr}:r | {tØ}:Ø <=> _ Vi Closed ;
All positive examples accepted
All negative examples rejected

{kØ}:Ø <=> _  Vi Closed ;
All positive examples accepted
All negative examples rejected

{kØ'}:' <=> Vi :a _ :a Closed , Vi :e _ :e Closed ,
Vi :i _ :i Closed , Vi :o _ :o Closed , Vi :u _ :u Closed ;
All positive examples accepted
All negative examples rejected

{kØ'}:k /<= _ Vi Closed ;
All positive examples accepted

In effect, the result indicates that the rules were quite consistent with the examples.

The twol-comp program tries to be helpful in indicating typos and syntactic errors in the rules. Typical erros the user may face arise from using in a rule a symbol which does not occur in any of the examples. One can see what kinds of error messages the compiler gives by trying to compile graderr.twol.

1.4. References

[koskenniemi1983]Kimmo Koskenniemi, 1983, Two-level Morphology: A General Computational Model for Word-Form Recognition and Production, University of Helsinki, Department of General Linguistics, Publications, Number 11. 160 pages.
[karttunen1987]Lauri Karttunen and Kimmo Koskenniemi and Ronald M. Kaplan, 1987: “A compiler for two-level phonological rules”, in M. Dalrymple, R. Kaplan, L. Karttunen, K. Koskenniemi, S. Shaio and M. Wescoat, editors, Tools for Morphological Analysis, pp. 1-61, Center for the Study of Language and Information, Stanford University, Vol. 87-108, CSLI Reports, Palo Alto, California, USA.
[karttunen1993]Lauri Karttunen, 1993: “Finite-state Constraints”, in Proceedings of the International Conference on Current Issues in Computational Linguistics, June 10-14, 1991. Universiti Sains Malaysia, Penang, Malaysia, pp. 173-194.
[koskenniemi2013b]Kimmo Koskenniemi, 2013: “Finite-state relations between two historically closely related languages” in Proceedings of the workshop on computational historical linguistics at NODALIDA 2013, May 22-24, 2013, Oslo, Norway, NEALT Proceedings Series 18, number 87, pages 53-53, Linköping University Electronic Press, ISSN 1650-3740, http://www.ep.liu.se/ecp/087/004/ecp1387004.pdf
[koskenniemi2017]Kimmo Koskenniemi, 2017: “Aligning phonemes using finte-state methods”, in Proceedings of the 21st Nordic Conference on Computational Linguistics, May, 2017, Gothenburg, Sweden, Association for Computational Linguistics, pages 56-64, http://www.aclweb.org/anthology/W17-0207
[KSK]Suomen kielen käänteissanakirja / Reverse dictionary of Modern Standard Finnish. Compiled by Tuomo Tuomi. SKS.
[NS]Nykysyomen Sanakirja, 1951-1961, Edited by Suomalaisen Kirjallisuuden Seura, published by WSOY.
[NSSL]Kotimaisten kielten keskuksen nykysuomen sanalista. (A list of headwords and their inflection class numbers.) http://kaino.kotus.fi/sanat/nykysuomi/
[ylijyrä2006]Anssi Yli-Jyrä and Kimmo Koskenniemi, 2006: “Compiling Generalized Two-Level Rules and Grammars” in T. Salakoski et al. (Eds.): FinTAL 2006, LNAI 4139, pp. 174–185.