Concepts inA Generalized Higher-Order Chemical Computation Model

Rewriting

In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. What is considered are rewriting systems (also known as rewrite systems or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects. Rewriting can be non-deterministic.  more from Wikipedia

Multiset

In mathematics, the notion of multiset (or bag) is a generalization of the notion of set in which members are allowed to appear more than once. For example, there is a unique set that contains the elements a and b and no others, but there are many multisets with this property, such as the multiset that contains two copies of a and one of b or the multiset that contains three copies of both a and b. The term "multiset" was coined by Nicolaas Govert de Bruijn in the 1970s.  more from Wikipedia

Π-calculus

In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation. The π-calculus is elegantly simple yet very expressive.  more from Wikipedia

Computation

Computation is any type of calculation or the use of computer technology in Information processing. Computation is a process following a well-defined model understood and expressed in an algorithm, protocol, network topology, etc. Computation is also a major subject matter of computer science: it investigates what can or cannot be done in a computational manner. 40x40px Look up computation in Wiktionary, the free dictionary.  more from Wikipedia

Model theory

In mathematics, model theory is the study of (classes of) mathematical structures using tools from mathematical logic. It has close ties to abstract algebra, particularly universal algebra. Objects of study in model theory are models for formal languages which are structures that give meaning to the sentences of these formal languages.  more from Wikipedia

Infinity

Infinity refers to something without any limit, and is a concept relevant in a number of fields, predominantly mathematics and physics. Having a recognizable history in these disciplines reaching back into the time of ancient Greek civilization, the term in the English language derives from Latin infinitas, which is translated as "unboundedness". In mathematics, "infinity" is often treated as if it were a number but it is not the same sort of number as the real numbers.  more from Wikipedia

Programming language

A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely. The earliest programming languages predate the invention of the computer, and were used to direct the behavior of machines such as Jacquard looms and player pianos.  more from Wikipedia

Multiplicity (mathematics)

In mathematics, the multiplicity of a member of a multiset is the number of times it appears in the multiset. For example, the number of times a given polynomial equation has a root at a given point. The notion of multiplicity is important to be able to count correctly without specifying exceptions (for example, double roots counted twice). Hence the expression, "counted with (sometimes implicit) multiplicity".  more from Wikipedia