Formal and Natural Computing

This book presents state of the art research in theoretical computer science and related ?elds. Being a comprehensive overview of some of the most active current research in theoretical computer science, it should be of de?nite interest for all researchers in the areas covered. This book assesses the state of the art in some of the most active research areas in theoretical computer science. It presents research papers and survey articles written by leading researchers on the occasion of Grzegorz Rozenberg's 60th birthday. The topics covered range from basic decidability and the notion of information to graph grammars and graph transformations, and from trees and traces to aqueous algorithms, DNA encoding, and self-assembly. Besides scientific excellence and originality, special attention has been paid to lucid presentation.