Recent advances in formal languages and applications

The theory of formal languages is widely accepted as the backbone of theoretical computer science originating from mathematics and generative linguistics. All human problem solving capabilities can be considered in a certain sense as a manipulation of symbols and structures composed by symbols, whic...

Full description

Saved in:
Bibliographic Details
Other Authors: Ésik, Zoltán (Publishing director), Martín Vide, Carlos, 1955- (Publishing director), Mitrana, Victor, 19..- (Publishing director)
Format: Livre numérique
Language:Anglais
Published: Berlin, Heidelberg : Springer Berlin Heidelberg [20..].
Cham : Springer Nature
Edition:1st ed. 2006.
Series:Studies in Computational Intelligence 25
Online Access:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Recent Advances in Formal Languages and Applications, Texte imprimé, 9783540822820
• Recent Advances in Formal Languages and Applications, Texte imprime, 9783642070099
• Recent Advances in Formal Languages and Applications, Texte imprimé, 9783540334606
LEADER 03544nam a22003737a 4500
001 938558
008 080410q2000 xx ||| |||| 00| 0 eng d
009 PPN123133610
020 |a 9783540334613 
041 0 |a eng 
082 |a 005.13 
245 0 0 |a Recent advances in formal languages and applications   |c edited by Zoltán Esik, Carlos Martín-Vide, Victor Mitrana. 
250 |a 1st ed. 2006. 
260 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
490 0 |a Studies in Computational Intelligence  |v 25  |x 1860-9503 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
505 1 |a Basic Notation and Terminology Janusz Brzozowski Maxime Crochemore, Thierry Lecroq Jozef Gruska Tom Head, Dennis Pixton Lucian Ilie Jarkko Kari Satoshi Kobayashi Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske Mitsunori Ogihara Friedrich Otto Holger Petersen Shuly Wintner Hsu-Chun Yen. 
506 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
506 |a Accès soumis à abonnement pour tout autre établissement 
506 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 
520 |a The theory of formal languages is widely accepted as the backbone of theoretical computer science originating from mathematics and generative linguistics. All human problem solving capabilities can be considered in a certain sense as a manipulation of symbols and structures composed by symbols, which is actually the stem of formal language theory. Language in its two basic forms, natural and artificial is a particular case of a symbol system. The contributors present the main results and techniques of their specialty areas in an easily accessible way accompanied with many references having multiple roles: historical, hints for complete proofs or solutions to exercises and directions for further research where the reader may identify attractive problems. This volume contains areas, mainly applications, which have not appeared in any collection of this type. The book representing "a gate to formal language theory and its applications", will be useful as a general source of information in computation theory, both at the undergraduate and research level. 
700 1 |a Ésik, Zoltán.  |4 pbd 
700 1 |a Martín Vide, Carlos,  |d 1955-  |4 pbd 
700 1 |a Mitrana, Victor,  |d 19..-  |4 pbd 
776 0 |t Recent Advances in Formal Languages and Applications  |b Texte imprimé  |z 9783540822820 
776 0 |t Recent Advances in Formal Languages and Applications  |b Texte imprime  |z 9783642070099 
776 0 |t Recent Advances in Formal Languages and Applications  |b Texte imprimé  |z 9783540334606 
856 4 |q PDF  |u https://doi.org/10.1007/978-3-540-33461-3  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-KL1FHTK7-S  |z Accès sur la plateforme Istex 
856 4 |5 452349901:747897875  |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-540-33461-3  |z Accès Université d'Orléans 
856 4 |5 180339901:750910895  |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-540-33461-3  |z Accès INSA CVL 
997 |0 938558  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/Autre ressource numérique/