Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jürgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems. The volume comprises 33 revised full papers organized in sections on regulated rewriting, cooperating distributed grammar systems, parallel communicating grammar systems, splicing systems, infinite words, and algebraic approaches to languages.

Analyse automatique (Linguistique) --- Analyse automatique de la langue --- Analyse grammaticale (Grammaire informatique) --- Analyse informatique de la langue --- Analyseurs syntaxiques --- Formal languages --- Formele talen --- Langage et langues--Analyse automatique --- Langages de programmation (Ordinateurs) --- Languages [Formal ] --- Langues formalisées --- Linguistique--Analyse automatique --- Ontleding (Computerspraakkunst) --- Parsers (Computer grammar) --- Parsing (Computer grammar) --- Programmeertalen (Computers) --- Programming languages (Electronic computers) --- Talen [Formele ] --- Formal languages. --- Computer Science --- Engineering & Applied Sciences --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Computer science. --- Programming languages (Electronic computers). --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Artificial Intelligence. --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Languages, Artificial --- Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Quantum computers --- Molecular computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book commemorates Solomon Marcus’s fifth death anniversary with a selection of articles in mathematics, theoretical computer science, and physics written by authors who work in Marcus’s research fields, some of whom have been influenced by his results and/or have collaborated with him.

automata theory --- formal language theory --- bio-informatics --- recursive function theory --- evolutionary processor --- network of evolutionary processors --- network topology --- theory of computation --- computational models --- intrinsic perception --- Hausdorff dimension --- fractal --- computational complexity --- Turing machine --- oracle Turing machine --- shortest computations --- quasiperiod --- formal language --- asymptotic growth --- polynomial --- membrane computing --- computational complexity theory --- P vs. NP problem --- evolutional communication --- symport/antiport --- Kolmogorov complexity --- random strings --- extractors --- finite languages --- deterministic finite cover automata --- multiple entry automata --- automata with “do not care” symbols --- similarity relations --- process calculus --- communication patterns --- control structures --- hypergraph model --- P systems --- cP systems --- NP-complete --- NP-hard --- SAT --- logarithmic time complexity