lactic
发表于 2025-4-1 03:58:44
http://reply.papertrans.cn/83/8262/826123/826123_61.png
STRIA
发表于 2025-4-1 07:43:22
http://reply.papertrans.cn/83/8262/826123/826123_62.png
季雨
发表于 2025-4-1 13:22:48
Deciding FO-definability of Regular Languages,nability of . can be captured by ‘localisable’ properties of the transition monoid of .. Using our criterion, we then generalise the known proof of .-hardness of .-definability, and establish the upper bounds not only for arbitrary DFAs but also for 2NFAs.
代理人
发表于 2025-4-1 14:50:23
Conference proceedings 2021sions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. .