On h-Lexicalized Restarting Automata
Martin Pl\'atek (Charles University, Department of Computer Science),, Friedrich Otto (Universit\"at Kassel, Fachbereich Elektrotechnik/Informatik)

TL;DR
This paper introduces the h-lexicalized restarting automaton (h-RLWW), a refined model for expressing lexicalized syntax, and explores its properties, transformations, and hierarchies within formal language theory.
Contribution
It presents the h-lexicalized restarting automaton model, compares it to traditional automata, and establishes hierarchies and transformations related to context-free languages.
Findings
Transformation from monotone RLWW-automata to deterministic monotone h-RLWW-automata recognizing CFL
Infinite hierarchies within CFL based on read/write window size and rewrite steps
Automata with correctness preserving properties and separation results
Abstract
Following some previous studies on restarting automata, we introduce a refined model - the h-lexicalized restarting automaton (h-RLWW). We argue that this model is useful for expressing lexicalized syntax in computational linguistics. We compare the input languages, which are the languages traditionally considered in automata theory, to the so-called basic and h-proper languages, which are (implicitly) used by categorial grammars, the original tool for the description of lexicalized syntax. The basic and h-proper languages allow us to stress several nice properties of h-lexicalized restarting automata, and they are suitable for modeling the analysis by reduction and, subsequently, for the development of categories of a lexicalized syntax. Based on the fact that a two-way deterministic monotone restarting automaton can be transformed into an equivalent deterministic monotone RL-automaton…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
