2024/07/01 by Achim Blumensath, Blumensath, Achim
Computer Science · #semigroups and automata theory #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.2407.01169
We study the question of whether a given regular language of finite trees can be defined in first-order logic. We develop an algebraic approach to address this question and we use it to derive several necessary and sufficient conditions for definability (but unfortunately no condition that is both). The main difference of our results to those from the literature is that our conditions are decidable.