The expressive power of one variable used once: The chomsky hierarchy and first-order monadic constructor rewriting

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Dokumenter

We study the implicit computational complexity of constructor term rewriting systems where every function and constructor symbol is unary or nullary. Surprisingly, adding simple and natural constraints to rule formation yields classes of systems that accept exactly the four classes of languages in the Chomsky hierarchy.

OriginalsprogEngelsk
Titel6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021
RedaktørerNaoki Kobayashi
ForlagSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publikationsdato2021
Artikelnummer5
ISBN (Elektronisk)9783959771917
DOI
StatusUdgivet - 2021
Begivenhed6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021 - Virtual, Buenos Aires, Argentina
Varighed: 17 jul. 202124 jul. 2021

Konference

Konference6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021
LandArgentina
ByVirtual, Buenos Aires
Periode17/07/202124/07/2021
NavnLeibniz International Proceedings in Informatics, LIPIcs
Vol/bind195
ISSN1868-8969

Bibliografisk note

Publisher Copyright:
© 2021 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk


Ingen data tilgængelig

ID: 281991639