Cargando…

New Developments in Formal Languages and Applications

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bel-Enguix, Gemma (Editor ), Jiménez-López, M Dolores (Editor ), Martin-Vide, Carlos (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Studies in Computational Intelligence,
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-540-78291-9
003 DE-He213
005 20220116180634.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 |a 9783540782919  |9 978-3-540-78291-9 
024 7 |a 10.1007/978-3-540-78291-9  |2 doi 
050 4 |a TA329-348 
050 4 |a TA345-345.5 
072 7 |a TBJ  |2 bicssc 
072 7 |a TEC009000  |2 bisacsh 
072 7 |a TBJ  |2 thema 
082 0 4 |a 620  |2 23 
245 1 0 |a New Developments in Formal Languages and Applications  |h [electronic resource] /  |c edited by Gemma Bel-Enguix, M Dolores Jiménez-López, Carlos Martin-Vide. 
250 |a 1st ed. 2008. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2008. 
300 |a VII, 275 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Studies in Computational Intelligence,  |x 1860-9503 
505 0 |a 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. 
520 |a 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. 
650 0 |a Engineering mathematics. 
650 0 |a Engineering-Data processing. 
650 0 |a Artificial intelligence. 
650 0 |a Natural language processing (Computer science). 
650 0 |a Mathematical logic. 
650 1 4 |a Mathematical and Computational Engineering Applications. 
650 2 4 |a Artificial Intelligence. 
650 2 4 |a Natural Language Processing (NLP). 
650 2 4 |a Mathematical Logic and Foundations. 
700 1 |a Bel-Enguix, Gemma.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Jiménez-López, M Dolores.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Martin-Vide, Carlos.  |e editor.  |0 (orcid)0000-0003-1670-6000  |1 https://orcid.org/0000-0003-1670-6000  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642096969 
776 0 8 |i Printed edition:  |z 9783540870760 
776 0 8 |i Printed edition:  |z 9783540782902 
830 0 |a Studies in Computational Intelligence,  |x 1860-9503 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-540-78291-9  |z Texto Completo 
912 |a ZDB-2-ENG 
912 |a ZDB-2-SXE 
950 |a Engineering (SpringerNature-11647) 
950 |a Engineering (R0) (SpringerNature-43712)