TY - BOOK ID - 2633485 TI - New Trends in Formal Languages : Control, Cooperation, and Combinatorics AU - Paun, Gheorghe. AU - Salomaa, Arto. PY - 1997 VL - 1218 SN - 3540628444 3540687033 9783540628446 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Analyse automatique (Linguistique) KW - Analyse automatique de la langue KW - Analyse grammaticale (Grammaire informatique) KW - Analyse informatique de la langue KW - Analyseurs syntaxiques KW - Formal languages KW - Formele talen KW - Langage et langues--Analyse automatique KW - Langages de programmation (Ordinateurs) KW - Languages [Formal ] KW - Langues formalisées KW - Linguistique--Analyse automatique KW - Ontleding (Computerspraakkunst) KW - Parsers (Computer grammar) KW - Parsing (Computer grammar) KW - Programmeertalen (Computers) KW - Programming languages (Electronic computers) KW - Talen [Formele ] KW - Formal languages. KW - Computer Science KW - Engineering & Applied Sciences KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Computer science. KW - Programming languages (Electronic computers). KW - Mathematical logic. KW - Artificial intelligence. KW - Computer Science. KW - Programming Languages, Compilers, Interpreters. KW - Mathematical Logic and Formal Languages. KW - Artificial Intelligence (incl. Robotics). KW - Artificial Intelligence. KW - Informatics KW - Science KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Languages, Artificial UR - https://www.unicat.be/uniCat?func=search&query=sysid:2633485 AB - 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. ER -