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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Esik, Zoltán (Επιμελητής έκδοσης), Martín-Vide, Carlos (Επιμελητής έκδοσης), Mitrana, Victor (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Σειρά:Studies in Computational Intelligence, 25
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03511nam a22005775i 4500
001 978-3-540-33461-3
003 DE-He213
005 20151204183042.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 
040 |d GrThAP 
050 4 |a QA76.7-76.73 
050 4 |a QA76.76.C65 
072 7 |a UMX  |2 bicssc 
072 7 |a UMC  |2 bicssc 
072 7 |a COM051010  |2 bisacsh 
072 7 |a COM010000  |2 bisacsh 
082 0 4 |a 005.13  |2 23 
245 1 0 |a Recent Advances in Formal Languages and Applications  |h [electronic resource] /  |c edited by Zoltán Esik, Carlos Martín-Vide, Victor Mitrana. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |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-949X ;  |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 Computer science. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Artificial intelligence. 
650 0 |a Computational linguistics. 
650 0 |a Applied mathematics. 
650 0 |a Engineering mathematics. 
650 1 4 |a Computer Science. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Appl.Mathematics/Computational Methods of Engineering. 
650 2 4 |a Artificial Intelligence (incl. Robotics). 
650 2 4 |a Computational Linguistics. 
700 1 |a Esik, Zoltán.  |e editor. 
700 1 |a Martín-Vide, Carlos.  |e editor. 
700 1 |a Mitrana, Victor.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783540334606 
830 0 |a Studies in Computational Intelligence,  |x 1860-949X ;  |v 25 
856 4 0 |u http://dx.doi.org/10.1007/978-3-540-33461-3  |z Full Text via HEAL-Link 
912 |a ZDB-2-ENG 
950 |a Engineering (Springer-11647)