منابع مشابه
Three forms of xanthine: acceptor oxidoreductase in rat heart.
The enzyme xanthine: acceptor oxidoreductase found in rat heart equilibrates between three forms differing in electron acceptor specificity. Form D transfers electrons exclusively to NAD+ and accounts for 85% of total oxidoreductase activity. Form O transfers electrons to molecular oxygen and accounts for 8%. The D/O form prefers NAD+, but without NAD+ transfers electrons to oxygen. Interconver...
متن کاملPushdown Compression
The pressing need for efficient compression schemes for XML documents has recently been focused on stack computation [6, 9], and in particular calls for a formulation of information-lossless stack or pushdown compressors that allows a formal analysis of their performance and a more ambitious use of the stack in XML compression, where so far it is mainly connected to parsing mechanisms. In this ...
متن کاملPushdown Specifications
Traditionally, model checking is applied to finite-state systems and regular specifications. While researchers have successfully extended the applicability of model checking to infinite-state systems, almost all existing work still consider regular specification formalisms. There are, however, many interesting non-regular properties one would like to model check. In this paper we study model ch...
متن کاملPushdown Automata
Families of Languages AFL thm if F is closed under substitution with λ-free regular sets, morphism, union with regular sets [easy for cfg] & intersection with regular sets, then F is closed under inverse morphism Figure 26: closure properties of CF II 12 intersection with regular languages a;A/α a a;A/α λ;A/α λ;A/α { } } { ⇒ ⇒ { anbn | n ≥ 1 }∗ ∩ { w ∈ {a, b}∗ |#ax even } r1 p1 q1 r0 p0 q0 r p ...
متن کاملPushdown dimension
Resource-bounded dimension is a notion of computational information density of infinite sequences based on computationally bounded gamblers. This paper develops the theory of pushdown dimension and explores its relationship with finite-state dimension. The pushdown dimension of any sequence is trivially bounded above by its finite-state dimension, since a pushdown gambler can simulate any finit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1977
ISSN: 0304-3975
DOI: 10.1016/0304-3975(77)90047-0