2026-08-07T03:51:29Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:19393 2024-03-06T11:03:55Z ddc:004 open_access

A Class of Rational Trace Relations Closed Under Composition Kuske, Dietrich rational relations Mazurkiewicz traces preservation of rationality and recognizability Rational relations on words form a well-studied and often applied notion. While the definition in trace monoids is immediate, they have not been studied in this more general context. A possible reason is that they do not share the main useful properties of rational relations on words. To overcome this unfortunate limitation, this paper proposes a restricted class of rational relations, investigates its properties, and applies the findings to systems equipped with a pushdown that does not hold a word but a trace. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dietrich Kuske 2023 Is Part Of LIPIcs, Volume 284, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2023.20 urn:nbn:de:0030-drops-193935 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.20 eng https://creativecommons.org/licenses/by/4.0/legalcode