CUB
发表于 2025-3-23 10:33:32
On the Algebraic Structure of Rooted Treess “unfold” into the SAME infinite tree. In some cases at least it is also true that different (i.e. non-isomorphic) trees represent different phenomena (of the same kind). In these cases the unfolding (i.e. the trees) are surrogates for the phenomena.
photopsia
发表于 2025-3-23 15:53:18
Random-Access Stored-Program Machines, an Approach to Programming Languagesed instructions are properly more powerful if address modification is permitted than when it is forbidden, thereby shedding some light on the role of address modification in digital computers. The relation between problem-oriented languages (POL) and machine languages (ML) is briefly considered.
悦耳
发表于 2025-3-23 18:44:31
Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation. 0 meaning in such a way that all the “old laws” hold, we can give meaning to the “iteration operation” (the analogue of division into 1) in such a way that all the “old laws” still hold. Indeed, we can describe “parametrically” all such ways of extending the (partially defined) scalar iteration operation to all trees (more generally, morphisms).
Obsessed
发表于 2025-3-24 00:18:07
http://reply.papertrans.cn/87/8642/864186/864186_14.png
MITE
发表于 2025-3-24 04:18:06
Vector Iteration in Pointed Iterative Theoriesto . (so that (..) is the unique solution of the iteration equation for ..)..In the case that . = ΓTr, the iterative theory of Γ-trees, it is shown that the vector iterate .. in (., ⊥) is a metric limit of “modified powers” of .
incontinence
发表于 2025-3-24 06:36:14
A Semantically Meaningful Characterization of Reducible Flowchart Schemeshart schemes which can be characterized in a manner analogous to the scalar case but involving simpler more basic operations (which are also semantically meaningful). A significant side effect of this semantic viewpoint is the treatment of multi-exit flowchart schemes on an equal footing with single exit ones.
固定某物
发表于 2025-3-24 12:38:48
http://reply.papertrans.cn/87/8642/864186/864186_17.png
GULF
发表于 2025-3-24 14:53:17
Random-Access Stored-Program Machines, an Approach to Programming Languagesr endowing programming languages with semantics. The notion of Random-Access Stored-Program Machine (RASP) is intended to capture some of the most salient features of the central processing unit of a modern digital computer. An instruction of such a machine is understood as a mapping from states (of
CAB
发表于 2025-3-24 19:21:09
Abstract Algorithms and Diagram Closure there should be a name in L which expresses it. In addition, L should possess names for the “tasks performable by algorithms” in M. A theory of the language L should presumably include statements about algorithms in M and their tasks.
Gentry
发表于 2025-3-24 23:49:44
Algebraic Theories and Program Schemes explicated by existing algebraic notions. More explicitly, equivalence classes of schemes correspond to morphisms in a free algebraic theory (cf., Lawvere (1963), and Eilenberg and Wright (1967)), and an interpretation of the collection of morphisms is a coproduct-preserving functor into an appropr