This is the first book on DNA computing, a molecular approach that may revolutionize
computing-replacing silicon with carbon and microchips with DNA molecules. The book …

First Published in 1994. The central problem of the “classic” formal language theory
concerns the generation (the recognition) of languages by grammars (automata …

At the turning of the millennium, a switch in computing technology is forecasted and looked
for. Two main directions of research, both based on quite unconventional ideas are most …

Marcus Contextual Grammars is the first monograph to present a class of grammars
introduced about three decades ago, based on the fundamental linguistic phenomenon of …

In classic formal language and automata theory, grammars and automata were modeling
classic computing devices. Such devices were “centralized”—the computation was …

A variant of cooperating and distributed grammar systems—the so-called colony—is studied
to capture some aspects of multiagent systems consisting of a finite number of very simple …

We continue the investigation of the power of the computability models introduced in [12]
under the name of transition super-cell systems. We compare these systems with classic …

We investigate the expressive power of timing restrictions on labeled transition systems. In
particular, we show how constraints on clock variables together with a uniform liveness …

The aim of this paper is to elaborate the power of cooperation in generating and analysing
(handwritten) characters by array grammars. We present various non-context-free sets of …

We introduce several internally hybrid derivation modes of cooperating distributed (CD)
grammar systems. External hybridizations were investigated by Mitrana and Păun: for …