Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
| Edición: | 1st ed. 2006. |
| Colección: | Studies in Computational Intelligence,
25 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-540-33461-3 | ||
| 003 | DE-He213 | ||
| 005 | 20220118165823.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2006 gw | s |||| 0|eng d | ||
| 020 | |a 9783540334613 |9 978-3-540-33461-3 | ||
| 024 | 7 | |a 10.1007/978-3-540-33461-3 |2 doi | |
| 050 | 4 | |a QA76.76.C65 | |
| 072 | 7 | |a UMC |2 bicssc | |
| 072 | 7 | |a COM051010 |2 bisacsh | |
| 072 | 7 | |a UMC |2 thema | |
| 082 | 0 | 4 | |a 005.45 |2 23 |
| 245 | 1 | 0 | |a Recent Advances in Formal Languages and Applications |h [electronic resource] / |c edited by Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana. |
| 250 | |a 1st ed. 2006. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2006. | |
| 300 | |a VIII, 373 p. 122 illus., 11 illus. in color. |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 ; |v 25 | |
| 505 | 0 | |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. | |
| 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. | ||
| 650 | 0 | |a Compilers (Computer programs). | |
| 650 | 0 | |a Engineering mathematics. | |
| 650 | 0 | |a Engineering-Data processing. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Computational linguistics. | |
| 650 | 1 | 4 | |a Compilers and Interpreters. |
| 650 | 2 | 4 | |a Mathematical and Computational Engineering Applications. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Computational Linguistics. |
| 700 | 1 | |a Ésik, Zoltán. |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 | |
| 700 | 1 | |a Mitrana, Victor. |e editor. |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 9783540822820 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642070099 |
| 776 | 0 | 8 | |i Printed edition: |z 9783540334606 |
| 830 | 0 | |a Studies in Computational Intelligence, |x 1860-9503 ; |v 25 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-540-33461-3 |z Texto Completo |
| 912 | |a ZDB-2-ENG | ||
| 912 | |a ZDB-2-SXE | ||
| 950 | |a Engineering (SpringerNature-11647) | ||
| 950 | |a Engineering (R0) (SpringerNature-43712) | ||