One-Level Prosodic Morphology

Recent developments in theoretical linguistics have lead to a widespread acceptance of constraint-based analyses of prosodic morphology phenomena such as truncation, infixation, floating morphemes and reduplication. Of these, reduplication is particularly challenging for state-of-the-art computational morphology, since it involves copying of some part of a phonological string. In this paper I argue for certain extensions to the one-level model of phonology and morphology (Bird & Ellison 1994) to cover the computational aspects of prosodic morphology using finite-state methods. In a nutshell, enriched lexical representations provide additional automaton arcs to repeat or skip sounds and also to allow insertion of additional material. A kind of resource consciousness is introduced to control this additional freedom, distinguishing between producer and consumer arcs. The non-finite-state copying aspect of reduplication is mapped to automata intersection, itself a non-finite-state operation. Bounded local optimization prunes certain automaton arcs that fail to contribute to linguistic optimisation criteria. The paper then presents implemented case studies of Ulwa construct state infixation, German hypocoristic truncation and Tagalog over-applying reduplication that illustrate the expressive power of this approach, before its merits and limitations are discussed and possible extensions are sketched. I conclude that the one-level approach to prosodic morphology presents an attractive way of extending finite-state techniques to difficult phenomena that hitherto resisted elegant computational analyses.

[1]  T. Mark Ellison,et al.  Constraints, Exceptions and Representations , 1995, SIGMORPHON.

[2]  Richard Wiese,et al.  Zero morphology and constraint interaction: subtraction and epenthesis in German dialects , 1996 .

[3]  Christopher Culy,et al.  The complexity of the vocabulary of Bambara , 1985 .

[4]  András Kornai Vectorized finite state automata , 1999 .

[5]  Richard Sproat Multilingual text analysis for text-to-speech synthesis , 1996, Nat. Lang. Eng..

[6]  George Anton Kiraz Multi-Tape Two-Level Morphology: A Case Study in Semitic Non-linear Morphology , 1994, COLING.

[7]  Michael Riley,et al.  Speech Recognition by Composition of Weighted Finite Automata , 1996, ArXiv.

[8]  Alan S. Prince,et al.  The emergence of the unmarked: Optimality in prosodic morphology , 1994 .

[9]  Gertjan van Noord,et al.  An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing , 1999, WIA.

[10]  Bruce Hayes,et al.  Phonetically Driven Phonology , 1999 .

[11]  Daniel Matthew Albro,et al.  Evaluation, implementation, and extension of primitive optimality theory , 1998 .

[12]  George Anton Kiraz,et al.  Compressed Storage of Sparse Finite-State Transducers , 1999, WIA.

[13]  P. Smolensky,et al.  The Learnability of Optimality Theory: An Algorithm and Some Basic Complexity Results , 1995 .

[14]  Martin Kay,et al.  Regular Models of Phonological Rule Systems , 1994, CL.

[15]  Markus Walther,et al.  OT SIMPLE - a construction-kit approach to Optimality Theory implementation , 1996, ArXiv.

[16]  J. Goldsmith Autosegmental and Metrical Phonology , 1990 .

[17]  Alan S. Prince,et al.  Faithfulness and reduplicative identity , 1995 .

[18]  George Anton Kiraz Compressed Storage of Sparse Finite-state Transducers Pappus of Alexandria (260 Bc { ?) Mathematical Collection , 1999 .

[19]  Jacqueline Vauzeilles,et al.  Tree Adjoining Grammars in a Fragment of the Lambek Calculus , 1999, Comput. Linguistics.

[20]  Markus Walther Deklarative prosodische Morphologie : constraint-basierte Analysen und Computermodelle zum Finnischen und Tigrinya , 1999 .

[21]  Patrick Blackburn,et al.  A Logical Approach to Arabic Phonology , 1991, EACL.

[22]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[23]  Robert E. Tarjan,et al.  Data structures and network algorithms , 1983, CBMS-NSF regional conference series in applied mathematics.

[24]  Mark Johnson,et al.  Features and Agreement , 1995, ACL.

[25]  Steven Bird,et al.  One-Level Phonology: Autosegmental Representations and Rules as Finite Automata , 1994, Comput. Linguistics.

[26]  Patrick Lincoln,et al.  Efficient implementation of lattice operations , 1989, TOPL.

[27]  Verónica Dahl,et al.  Assumption Grammars for Processing Natural Language , 1997, ICLP.

[28]  Stuart M. Shieber,et al.  Separating Linguistic Analyses from Linguistic Theories , 1988 .

[29]  Kenneth R. Beesley Constraining Separated Morphotactic Dependencies in Finite-State Grammars , 1998 .

[30]  Richard Sproat,et al.  Morphology and computation , 1992 .

[31]  Steven Bird,et al.  Phonology , 2002, A Grammar of Patwin.

[32]  Mark Johnson,et al.  Features as Resources in R-LFG , 1997, ArXiv.

[33]  Janet B. Pierrehumbert,et al.  Implications of Hindi Prosodic Structure , 1996 .

[34]  George Anton Kiraz,et al.  SEMHE: A Generalised Two-Level System , 1996, ACL.

[35]  J. Hoeksema,et al.  Implications of Process-Morphology for Categorial Grammar , 1988 .

[36]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[37]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[38]  Markus Walther,et al.  Computing Declarative Prosodic Morphology , 1998, SIGPHON@COLING/ACL.

[39]  Lauri Karttunen,et al.  Two-Level Morphology with Composition , 1992, COLING.

[40]  T. Mark Ellison,et al.  Phonological Derivation in Optimality Theory , 1994, COLING.

[41]  Jason Eisner,et al.  Eecient Generation in Primitive Optimality Theory , 1997 .

[42]  Rochelle Lieber,et al.  On the organization of the lexicon , 1981 .

[43]  Kimmo Koskenniemi,et al.  A General Computational Model for Word-Form Recognition and Production , 1984 .

[44]  Ewan Klein,et al.  Phonological events , 1990, Journal of Linguistics.

[45]  Markus Walther A Strictly Lexicalized Approach to Phonology , 1995 .

[46]  John J. McCarthy,et al.  Two lectures on prosodic morphology , 1994 .

[47]  Lauri Karttunen Directed Replacement , 1996, ACL.

[48]  Jason Eisner,et al.  FootForm Decomposed: Using primitive constraints in OT , 1997 .

[49]  Mary Dalrymple,et al.  Semantics and Syntax in Lex-ical Functional Grammar , 1999 .

[50]  David S. Touretzky,et al.  A Computational Basis for Phonology , 1989, NIPS.

[51]  Margaret Langdon,et al.  REDUPLICATION IN CHUMASH , 1976 .

[52]  J. Brzozowski Canonical regular expressions and minimal state graphs for definite events , 1962 .

[53]  James M Scobbie,et al.  Key aspects of declarative phonology , 1996 .

[54]  Jill Louise Carrier,et al.  The interaction of morphological and phonological rules in Tagalog : a study in the relationship between rule components in grammar , 1979 .

[55]  Alan Prince,et al.  Prosodic morphology : constraint interaction and satisfaction , 1993 .

[56]  Gertjan van Noord FSA Utilities: A Toolbox to Manipulate Finite-State Automata , 1996, Workshop on Implementing Automata.

[57]  T. Mark Ellison,et al.  The Universal Constraint Set: Convention, not Fact , 2000 .

[58]  Mehryar Mohri Compact Representations by Finite-State Transducers , 1994, ACL.

[59]  Lauri Karttunen Constructing Lexical Transducers , 1994, COLING.

[60]  Bruce Tesar,et al.  Computing Optimal Forms in Optimality Theory: Basic Syllabification ; CU-CS-763-95 , 2008 .

[61]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[62]  Richard Wiese,et al.  The Phonology of German , 1996 .

[63]  P. Boersma,et al.  Empirical Tests of the Gradual Learning Algorithm , 2001, Linguistic Inquiry.

[64]  Kenneth R. Beesley Arabic Finite-State Morphological Analysis and Generation , 1996, COLING.

[65]  Mehryar Mohri,et al.  A Rational Design for a Weighted Finite-State Transducer Library , 1997, Workshop on Implementing Automata.

[66]  Noam Chomsky,et al.  The Sound Pattern of English , 1968 .

[67]  Michael Kenstowicz,et al.  Phonology In Generative Grammar , 1994 .

[68]  Jochen Trommer,et al.  Optimal Morphology , 1998, SIGPHON@COLING/ACL.

[69]  Thomas M. Green,et al.  A lexicographic study of Ulwa , 1999 .

[70]  B. Hayes Metrical Stress Theory: Principles and Case Studies , 1995 .

[71]  Stephen R. Anderson,et al.  A-Morphous morphology , 1992 .

[72]  J. Blevins The Syllable in Phonological Theory , 1995 .

[73]  Caroline Fery Uni und Studis: die besten Wörter des Deutschen , 1997 .

[74]  A. Werner i-Bildungen im Deutschen , 1996 .

[75]  Lauri Karttunen,et al.  The Proper Treatment of Optimality in Computational Phonology , 1998, ArXiv.

[76]  Giorgio Satta,et al.  Optimality Theory and the Generative Complexity of Constraint Violability , 1998, CL.

[77]  Kimmo Koskenniemi,et al.  Finite-state description of Semitic morphology: a case study of ancient Accadian , 1988, COLING.

[78]  BirdSteven,et al.  One-level phonology , 1994 .

[79]  Richard Sproat,et al.  Algorithms for Speech Recognition and Language Processing , 1996, ArXiv.

[80]  Mehryar Mohri,et al.  Finite-State Transducers in Language and Speech Processing , 1997, CL.