善辩
发表于 2025-3-25 03:53:04
http://reply.papertrans.cn/89/8804/880350/880350_21.png
Nebulous
发表于 2025-3-25 09:18:07
http://reply.papertrans.cn/89/8804/880350/880350_22.png
Meditative
发表于 2025-3-25 13:29:57
http://reply.papertrans.cn/89/8804/880350/880350_23.png
宴会
发表于 2025-3-25 16:45:50
http://reply.papertrans.cn/89/8804/880350/880350_24.png
斥责
发表于 2025-3-25 22:43:53
Combinatorics of standard Sturmian words,ferent procedures. The first uses the operator of left palindrome closure, whereas the second uses some elementary standard morphisms. We prove the existence of a basic correspondence, that we call standard, between these two methods.
喃喃诉苦
发表于 2025-3-26 00:31:45
Compactness of systems of equations on completely regular semigroups,mbers have finite matrices is shown to satisfy CP if and only if the corresponding variety of groups satisfies CP. It is then shown that the varieties of bands of groups satisfy the condition on finite matrices.
Dysplasia
发表于 2025-3-26 04:32:32
0302-9743 raphs and algorithms, pattern matching and learning, combinatorics of words, algebra of languages, formal language theory, and computational molecular biology.978-3-540-63246-7978-3-540-69242-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
Neuropeptides
发表于 2025-3-26 08:27:13
Ehrenfeucht games, the composition method, and the monadic theory of ordinal words,ich gives “recursive ordinal words”). It is shown that the monadic theory of a recursive ..-word belongs to the 2.-th level of the arithmetical hierarchy, and that in general this bound cannot be improved.
obscurity
发表于 2025-3-26 15:34:00
http://reply.papertrans.cn/89/8804/880350/880350_29.png
HOWL
发表于 2025-3-26 18:26:40
Expressive power of unary counters,ch builds a term of sort N that counts the number of elements of the finite model satisfying a formula .. Our main result shows that the stronger operator .(.)∶., where . is a term of sort N, cannot be expressed in .. That is, being able to count elements does not allow one to count terms..This pape