Year: 2024
Type: article
Abstract: $${\textsf{FC}}$$ FC is a finite model variant on the theory of concatenation, $${\textsf{FC}[\textsf{REG}]}$$ FC [ REG ] extends $${\textsf{FC}}$$ FC with regular constraints. This paper considers the languages generated by their conjunctive query fragments, and . We compare the expressive power of $${\textsf {FC[REG]-CQ}}$$ FC [ REG ] - CQ to that of various related language generators, such as regular expressions, patterns, and typed patterns. We then consider decision problems for $${\textsf {FC-CQ}}$$ FC - CQ and $${\textsf {FC[REG]-CQ}}$$ FC [ REG ] - CQ , and show that certain static analysis problems (such as equivalence and regularity) are undecidable. While this paper defines $${\textsf {FC-CQ}}$$ FC - CQ based on the logic $${\textsf{FC}}$$ FC , it can equally be understood as synchronized intersections of pattern languages, or as systems of restricted word equations.
Source: Theory of Computing Systems
Authors: Sam M. Thompson, Dominik D. Freydenberger
Institution: Loughborough University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $2,990
OpenAlex ID: W4403280859