Bøger af Gheorghe Paun

This book constitutes the proceedings of the 9th International Conference on Bio-inspired Computing: Theories and Applications, BIC-TA 2014, held in Wuhan, China, in October 2014. The 109 revised full papers presented were carefully reviewed and selected from 204 submissions. The papers focus on four main topics, namely evolutionary computing, neural computing, DNA computing, and membrane computing.

This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999.The 42 revised full papers presented together with four invited papers were carefully selected from a total of 102 submissions. Among the topics addressed are abstract data types, algorithms and data structures, automata and formal languages, categorical and topological approaches, complexity, computational geometry, concurrency, cryptology, distributed computing, logics in computer science, process algebras, symbolic computation, molecular computing, quantum computing, etc.

Membrane computing is an unconventional model of computation associated with a new computing paradigm. it is a branch of natural computing inspired by the structure and functioning of the living cell and devises distributed parallel computing models in the form of membrane systems.

Aurthors from the discipline of mathematics and computer science contribute to this volume, looking at ways in which we can explore infinity, whether infinity does exist, and where infinity comes from.

Audience: Researchers and students in theoretical computer science (formal language theory and automata theory), computational linguistics, mathematical methods in linguistics, and linguists interested in formal models of syntax.

To our families The formal language theory was born in the middle of our century as a tool for modelling and investigating the syntax of natural languages, and it has been developed mainly in connection with programming language handling.

Audience: Researchers and students in theoretical computer science (formal language theory and automata theory), computational linguistics, mathematical methods in linguistics, and linguists interested in formal models of syntax.

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 starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory.