TRACE
发表于 2025-3-28 17:18:33
http://reply.papertrans.cn/24/2321/232066/232066_41.png
doxazosin
发表于 2025-3-28 21:51:16
http://reply.papertrans.cn/24/2321/232066/232066_42.png
animated
发表于 2025-3-29 01:41:02
Context Insertionsistance between two words that measures the minimal number of context insertions in one of the words in order to obtain the other. Some properties of this distance, which is actually a semimetric, are investigated.
弄皱
发表于 2025-3-29 05:13:25
A Temporal Logic for Mutual Mobile Membranes with Objects on Surfacein TLA+ which could be used for verification of certain properties of the systems of mutual mobile membranes with objects on surface, and illustrate the whole process by a simple specification and its execution.
懒惰民族
发表于 2025-3-29 10:27:55
http://reply.papertrans.cn/24/2321/232066/232066_45.png
tympanometry
发表于 2025-3-29 15:29:20
On the Parallelizability of Languages Accepted by P Automatariant. We examine how one of the features of P automata, namely the choice of the mapping which maps the sequence of multisets imported by the system to the symbols of the alphabet of the accepted language, influences the efficient parallelizability of the accepted languages.
abracadabra
发表于 2025-3-29 17:12:03
http://reply.papertrans.cn/24/2321/232066/232066_47.png
DRILL
发表于 2025-3-29 20:09:25
H. Wiehn,H. Langner,H. Schusterr science journals and in many program committees of international scientific meetings etc. It was enough for a successful life. Unfortunately, many scientists, if they don’t stop, they begin to decline when they enter the fifties. How far is this situation from that of GP!
elucidate
发表于 2025-3-30 01:58:12
Hans Joachim Kölbel,Martin Schmeißerallowing sequences of rules to be applied. For example, graph-controlled grammars are always at least as powerful as programmed and matrix grammars. For the simulation of random context and ordered grammars by matrix and graph-controlled grammars, some specific requirements have to be fulfilled by the types of rules.
commute
发表于 2025-3-30 06:00:02
https://doi.org/10.1007/978-3-322-90526-0iction, and we relate the generative power of such CDGSs working either in a sequential or in a parallel manner and according to the aforementioned cooperation protocol, for various ., with that of context-free forbidding random context grammars, (random context) ET0L systems, and context-free programmed grammars with appearance checking.