ElixirFM – Implementation of Functional Arabic Morphology

What it is about

ElixirFM is a Haskell implementation of Functional Arabic Morphology, a model of the Arabic inflectional system that is built to fit the syntax–morphology interface. Grammatical categories (case, number, person, voice, mood, gender) are enumerated types. The "state" of a noun is split into two independent parameters: whether the definite article is prefixed (a Maybe-Bool value) and whether the noun heads an annexation that reduces its suffixes (a Bool). Lexemes are a root plus a morphophonemic pattern (for example IstaFAL against IstaFCaL, which share a CV shape but differ in form), and prefixes and suffixes are combined with operators on a Morphs type. Paradigms are functions over the categories: three verbal paradigms (perfect, imperfect with mood, imperative) and five nominal ones; sandhi rules are separate functions applied after concatenation. The lexicon is derived from the Buckwalter lexicon and enriched with annotation from the PADT, and it is written as a domain-specific language nested under roots. The paper reports no measurements; its claims are about modelling and reuse.

Ideas

I1. Two independent parameters for the noun state: for Hebrew, the definite article ha- and the construct state (smikhut) can be two fields rather than one six-valued state. Check first whether the two can co-occur in any Hebrew form; if not, the field simplifies, and the rule is one line in The Noun, the Adjective and the Numeral.
I2. A root-first lexicon layout: entries sit under their root, grouped by pattern, with the gloss and the lexical class, as in the paper's figure. macula dict has no roots yet; a root-first file with the same layout would be the first step for The lexicon, and the structure can be read by tools/hbo and by the Rust structs.
I3. Types as the check: the paradigm functions only accept the combinations the category types allow (the imperative has only second-person forms), so impossible forms cannot be generated. In Rust the same effect comes from enums and match arms; a verb generator for Hebrew binyanim, with sandhi rules as separate rewrite functions, belongs in the weak-verb chapter The weak verbs.

For Mova

I1 goes into The Noun, the Adjective and the Numeral and Nouns, adjectives, pronouns and numerals, and into the enum of tools/macula (the noun features). I2 is a plan for The lexicon. I3 is a design rule for the verb paradigms in The verb and the sandhi rules in The weak verbs.

Cite

The paper itself, not this card. BibTeX from the library's record of the work.

@inproceedings{smrz2007elixirfm,
  title = {{ElixirFM – Implementation of Functional Arabic Morphology}},
  author = {Smrž, Otakar},
  booktitle = {Proceedings of the 2007 Workshop on Computational Approaches to Semitic Languages: Common Issues and Resources},
  year = {2007},
  url = {https://aclanthology.org/W07-0801/}
}

References

22 references, 1 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet.

Elsaid Badawi, Mike G. Carter, and Adrian Gully. 2004. Modern Written Arabic: A Comprehensive Grammar. Routledge. find
Matthew Baerman, Dunstan Brown, and Greville G. Corbett. 2006. The Syntax-Morphology Interface. A Study of Syncretism. Cambridge Studies in Linguistics. Cambridge University Press. ↗
Kenneth R. Beesley. 2001. Finite-State Morphological Analysis and Generation of Arabic at Xerox Research: Status and Plans in 2001. In EACL 2001 Workshop Proceedings on Arabic Language Processing: Status and Prospects, pages 1–8, Toulouse, France. find
Tim Buckwalter. 2002. Buckwalter Arabic Morphological Analyzer Version 1.0. LDC catalog number LDC2002L49, ISBN 1-58563-257-0. ↗
Ali El Dada and Aarne Ranta. 2006. Open Source Arabic Grammars in Grammatical Framework. In Proceedings of the Arabic Language Processing Conference (JETALA), Rabat, Morocco, June 2006. IERA. find
Wolfdietrich Fischer. 2001. A Grammar of Classical Arabic. Yale Language Series. Yale University Press, third revised edition. Translated by Jonathan Rodgers. find
Markus Forsberg and Aarne Ranta. 2004. Functional Morphology. In Proceedings of the Ninth ACM SIG-PLAN International Conference on Functional Programming, ICFP 2004, pages 213–223. ACM Press. find
Nizar Habash, Owen Rambow, and George Kiraz. 2005. Morphological Analysis and Generation for Arabic Dialects. In Proceedings of the ACL Workshop on Computational Approaches to Semitic Languages, pages 17–24, Ann Arbor, Michigan. Association for Computational Linguistics. find our card
Nizar Habash. 2004. Large Scale Lexeme Based Arabic Morphological Generation. In JEP-TALN 2004, Session Traitement Automatique de l’Arabe, Fes, Morocco, April 2004. find
Jan Hajič, Otakar Smrž, Petr Zemánek, Jan Šnaidauf, and Emanuel Beška. 2004. Prague Arabic Dependency Treebank: Development in Data and Tools. In NEM-LAR International Conference on Arabic Language Resources and Tools, pages 110–117. ELDA. find
Paul Hudak. 2000. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press. find
Mark P. Jones. 2000. Type Classes with Functional Dependencies. In ESOP ’00: Proceedings of the 9th European Symposium on Programming Languages and Systems, pages 230–244, London, UK. Springer. find
Joost Kremers. 2003. The Arabic Noun Phrase. A Minimalist Approach. Ph.D. thesis, University of Nijmegen. LOT Dissertation Series 79. find
Klaus Lagally. 2004. ArabTEX: Typesetting Arabic and Hebrew, User Manual Version 4.00. Technical Report 2004/03, Fakultät Informatik, Universität Stuttgart. find
Peter Ljunglöf. 2002. Pure Functional Parsing. An Advanced Tutorial. Licenciate thesis, Göteborg University & Chalmers University of Technology. find
Allan Ramsay and Hanady Mansur. 2001. Arabic morphology: a categorial approach. In EACL 2001 Workshop Proceedings on Arabic Language Processing: Status and Prospects, pages 17–22, Toulouse, France. find
Otakar Smrž. 2007. Functional Arabic Morphology. Formal System and Implementation. Ph.D. thesis, Charles University in Prague. find
Abdelhadi Soudi, Violetta Cavalli-Sforza, and Abderrahim Jamari. 2001. A Computational Lexeme-Based Treatment of Arabic Morphology. In EACL 2001 Workshop Proceedings on Arabic Language Processing: Status and Prospects, pages 155–162, Toulouse. find
Andrew Spencer. 2004. Generalized Paradigm Function Morphology. http://privatewww.essex. ac.uk/˜spena/papers/GPFM.pdf, October 6. ↗
Gregory T. Stump. 2001. Inflectional Morphology. A Theory of Paradigm Structure. Cambridge Studies in Linguistics. Cambridge University Press. find
Philip Wadler. 2003. A Prettier Printer. In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming, Cornerstones of Computing, pages 223– 243. ↗
Palgrave Macmillan, March 2003. find

This page in Markdown → https://md.mova.elamur.ai/free/en/docs/papers/aclbulk-2007-smrz-elixirfm-implementation-functional-arabic-morphology/