友好关系
发表于 2025-3-28 17:52:47
https://doi.org/10.1007/978-1-4471-0717-0Automat; Graph; Matching; Sim; algorithms; automata; complexity; formal language; logic; algorithm analysis a
FID
发表于 2025-3-28 22:01:48
http://reply.papertrans.cn/24/2301/230060/230060_42.png
Strength
发表于 2025-3-29 00:42:29
Recursive Functions: An Archeological Lookand how the basic ideas and methods used in a restricted area of Logic derive from, or at least interact with, a wider mathematical and intellectual experience. I can only offer suggestions, not scholarly arguments, to those who share my interest.
Nerve-Block
发表于 2025-3-29 06:45:38
Lex Ideals of Generalized MV-Algebrasras and unital .-groups, we describe the ordered sets of prime and regular ideals of GMV-algebras induced on principal ideals, study lexicographic extensions of ideals of GMV-algebras and describe basic GMV-algebras.
brachial-plexus
发表于 2025-3-29 07:34:30
http://reply.papertrans.cn/24/2301/230060/230060_45.png
liposuction
发表于 2025-3-29 11:35:58
On Relax-ability of Word-Order by D-grammarsn of DR-(non)projectivity. We obtain two infinite scales of classes of languages using different degrees of relaxation. The one scale contains the class of context-free languages as its first (minimal) element, the other one starts by the class of regular languages.
小官
发表于 2025-3-29 19:18:13
On the Structure of Linear Cellular Automataesented together with their properties in the first section of the paper. We characterize linear functions which are global transition functions for certain bounded linear cellular automata. Finally, some results concerning the limit sets and a remarkable structure for isometric linear cellular automata are also included.
不如乐死去
发表于 2025-3-29 23:11:37
http://reply.papertrans.cn/24/2301/230060/230060_48.png
hedonic
发表于 2025-3-29 23:55:50
http://reply.papertrans.cn/24/2301/230060/230060_49.png
逗留
发表于 2025-3-30 07:01:14
A Loopless Generation of Bitstrings without , Consecutive Onesregarded as the subsets of {1, 2,…, .} without . consecutive elements and bitstrings in .. code a particular class of trees or compositions of an integer. In this paper we give a Gray code for .. which can be implemented in a recursive generating algorithm, and finally in a loopless generating algorithm.