000 03494nam a22005775i 4500
001 978-3-540-33461-3
003 DE-He213
005 20161121231119.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540334613
_9978-3-540-33461-3
024 7 _a10.1007/978-3-540-33461-3
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
245 1 0 _aRecent Advances in Formal Languages and Applications
_h[electronic resource] /
_cedited by Zoltán Esik, Carlos Martín-Vide, Victor Mitrana.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2006.
300 _aVIII, 373 p. 122 illus., 11 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aStudies in Computational Intelligence,
_x1860-949X ;
_v25
505 0 _aBasic 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 _aThe 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 _aComputer science.
650 0 _aProgramming languages (Electronic computers).
650 0 _aArtificial intelligence.
650 0 _aComputational linguistics.
650 0 _aApplied mathematics.
650 0 _aEngineering mathematics.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aAppl.Mathematics/Computational Methods of Engineering.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aComputational Linguistics.
700 1 _aEsik, Zoltán.
_eeditor.
700 1 _aMartín-Vide, Carlos.
_eeditor.
700 1 _aMitrana, Victor.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540334606
830 0 _aStudies in Computational Intelligence,
_x1860-949X ;
_v25
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-33461-3
912 _aZDB-2-ENG
950 _aEngineering (Springer-11647)
999 _c508785
_d508785