Titlebook: J.UCS The Journal of Universal Computer Science; Annual Print and CD- Hermann Maurer,Cristian Calude,Arto Salomaa Book 1996 Springer-Verlag

RODE

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 [P?un, Rozenberg 1994] are completed and improved.

inquisitive

帶來

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.

煤渣

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

Condyle

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

最低點

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.

高射炮

padding

braggadocio

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.

網(wǎng)絡(luò)添麻煩

http://image.papertrans.cn/j/image/500025.jpg