RODE 发表于 2025-3-25 04:15:27

A Variant of Team Cooperation in Grammar SystemsWe prove that grammar systems with (prescribed or free) teams (of constant size at least two or arbitrary size) working as long as they can do, characterize the family of languages generated by (context-free) matrix grammars with appearance checking; in this way, the results in are completed and improved.

inquisitive 发表于 2025-3-25 10:52:58

http://reply.papertrans.cn/51/5001/500025/500025_22.png

带来 发表于 2025-3-25 11:39:36

On Completeness of Pseudosimple SetsThe paper contains completeness criterions for pseudosimple sets. Those criterions are constructed using effectivization of the definitions as well as extensionally bounded functions.

煤渣 发表于 2025-3-25 18:04:15

Halting probability amplitude of quantum computersThe classical halting probability Ω introduced by Chaitin is generalized to quantum computations.

Condyle 发表于 2025-3-25 22:13:32

978-3-642-80352-9Springer-Verlag Berlin Heidelberg 1996

最低点 发表于 2025-3-26 00:53:40

Levels of Anonymityoverlooked that beyond such obvious cases as identified by means of a password or “anonymous use” there are many other levels of anonymity, identification and authenticity necessary in various applications.

高射炮 发表于 2025-3-26 04:58:49

http://reply.papertrans.cn/51/5001/500025/500025_27.png

padding 发表于 2025-3-26 11:11:57

http://reply.papertrans.cn/51/5001/500025/500025_28.png

braggadocio 发表于 2025-3-26 13:02:56

Special Cases of Divisionases where the divisor and the number base have a special relationship. The related operation of remainder is also covered. Various prior techniques are treated in a common framework. Worked examples are provided together with examples of practical application.

网络添麻烦 发表于 2025-3-26 18:54:06

http://image.papertrans.cn/j/image/500025.jpg
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: J.UCS The Journal of Universal Computer Science; Annual Print and CD- Hermann Maurer,Cristian Calude,Arto Salomaa Book 1996 Springer-Verlag