On h-Lexicalized Restarting Automata

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F17%3A10370247" target="_blank" >RIV/00216208:11320/17:10370247 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.4204/EPTCS.252.21" target="_blank" >https://doi.org/10.4204/EPTCS.252.21</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.4204/EPTCS.252.21" target="_blank" >10.4204/EPTCS.252.21</a>

Result language

angličtina

Original language name

On h-Lexicalized Restarting Automata

Original language description

Following some previous studies on restarting automata, we introduce a refined model -- the h-lexicalized restarting automaton (hRLWW). 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 in (Marcus) contextual form, we obtain a transformation from monotone RLWW-automata that recognize the class CFL of context-free languages as their input languages to deterministic monotone h-RLWW-automata that recognize CFL through their h-proper languages. Through this transformation we obtain automata with the complete correctness preserving property and an infinite hierarchy within CFL, based on the size of the read/write window. Additionally, we consider h-RLWW-automata that are allowed to perform multiple rewrite steps per cycle, and we establish another infinite hierarchy above CFL that is based on the number of rewrite steps that may be executed within a cycle. The corresponding separation results and their proofs illustrate the transparency of h-RLWW-automata that work with the (complete or cyclic) correctness preserving property.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2017

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of 15th International Conference on Automata and Formal Languages

ISBN

—

ISSN

2075-2180

e-ISSN

neuvedeno

Number of pages

15

Pages from-to

219-233

Publisher name

Electronic Proceedings in Theoretical Computer Science

Place of publication

Debrecen

Event location

Debrecen, Hungary

Event date

Sep 4, 2017

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—