New Developments in Formal Languages and Applications [electronic resource] /edited by Gemma Bel-Enguix, M. Dolores Jiménez-López, Carlos Martín-Vide.
by Bel-Enguix, Gemma [editor.]; Jiménez-López, M. Dolores [editor.]; Martín-Vide, Carlos [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Studies in Computational Intelligence: 113Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Description: online resource.ISBN: 9783540782919.Subject(s): Engineering | Artificial intelligence | Translators (Computer programs) | Logic, Symbolic and mathematical | Engineering mathematics | Engineering | Appl.Mathematics/Computational Methods of Engineering | Artificial Intelligence (incl. Robotics) | Language Translation and Linguistics | Mathematical Logic and FoundationsDDC classification: 519 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| TA640-643 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | TA329-348 (Browse shelf) | Available |
Close shelf browser
| TA329-348 Discrete-Time High Order Neural Control | TA640-643 Discrete-Time High Order Neural Control | TA329-348 New Developments in Formal Languages and Applications | TA640-643 New Developments in Formal Languages and Applications | TA329-348 Computational Intelligence: A Compendium | TA640-643 Computational Intelligence: A Compendium | TA329-348 Hybrid Metaheuristics |
Basic Notation and Terminology -- Open Problems on Partial Words -- Alignments and Approximate String Matching -- An Introductory Course on Communication Complexity -- Formal Languages and Concurrent Behaviours -- Cellular Automata – A Computational Point of View -- Probabilistic Parsing -- DNA-Based Memories: A Survey.
The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others. As a foundational discipline, formal language theory concepts and techniques are present in a variety of theoretical and applied fields of contemporary research which are concerned with symbol manipulation: discrete mathematics, bioinformatics, natural language processing, pattern recognition, text retrieval, learning, cryptography, compression, etc. This volume presents the main results of some recent, quickly developing subfields of formal language theory in an easily accessible way and provides the reader with extensive bibliographical references to go deeper. Open problems are formulated too. The intended audience consists of undergraduates and graduates in computer science or mathematics. Graduates in other disciplines (linguistics, electrical engineering, molecular biology, logic) with some basic level of mathematical maturity may find the volume appealing and useful too. The book represents "a gate to formal language theory and its applications" and a source of information in computation theory in general. This volume is complementary of the volumes in the Springer series Studies in Fuzziness and Soft Computing, number 148, and Studies in Computational Intelligence, 25.
There are no comments for this item.