| 000 | 01156camuu22003377a 4500 | |
| 001 | 000045369403 | |
| 005 | 20070710154901 | |
| 008 | 060407s2006 gw a b 000 0 eng d | |
| 010 | ▼a 2006925433 | |
| 015 | ▼a GBA665850 ▼2 bnb | |
| 016 | 7 | ▼a 979112265 ▼2 GyFmDB |
| 016 | 7 | ▼a 013518700 ▼2 Uk |
| 020 | ▼a 3540334602 (hd.bd.) | |
| 024 | 3 | ▼a 9783540334606 |
| 035 | ▼a (OCoLC)ocm70677448 | |
| 040 | ▼a OHX ▼c OHX ▼d UKM ▼d BAKER ▼d HNK ▼d DLC ▼d 244002 | |
| 042 | ▼a lccopycat | |
| 050 | 0 0 | ▼a QA267.3 ▼b .R43 2006 |
| 072 | 7 | ▼a QA ▼2 lcco |
| 082 | 0 0 | ▼a 005.131 ▼2 22 |
| 090 | ▼a 005.131 ▼b R295 | |
| 245 | 0 0 | ▼a Recent advances in formal languages and applications / ▼c [edited by] Zoltan Esik, Carlos Martin-Vide, Victor Mitrana. |
| 260 | ▼a Berlin : ▼b Springer-Verlag , ▼c c2006. | |
| 300 | ▼a viii, 373 p. : ▼b ill. (some col.) ; ▼c 24 cm. | |
| 440 | 0 | ▼a Studies in computational intelligence , ▼x 1860-949X ; ▼v v. 25 |
| 504 | ▼a Includes bibliographical references. | |
| 650 | 0 | ▼a Formal languages. |
| 700 | 1 | ▼a Esik, Zoltan , ▼d 1951- |
| 700 | 1 | ▼a Martin Vide, Carlos. |
| 700 | 1 | ▼a Mitrana, Victor. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 세종학술정보원/과학기술실(5층)/ | 청구기호 005.131 R295 | 등록번호 151233465 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level.
New feature
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.
정보제공 :
목차
Basic Notation and Terminology.- Janusz Brzozowski.- Maxime Crochemore, Thierry Lecroq.- Jozef Gruska.- Tom Head, Dennis Pixton.- Lucian Ilie.- Jarkko Kari.- Satoshi Kobayashi.- Hans-Jorg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske.- Mitsunori Ogihara.- Friedrich Otto.- Holger Petersen.- Shuly Wintner.- Hsu-Chun Yen.
정보제공 :