Recent Advances in Formal Languages and Applications

✍ Scribed by Zoltán Esik, Carlos Martín-Vide, Victor Mitrana (eds.)

• Publisher: Springer
• Year: 2006
• Tongue: English
• Leaves: 373
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages I-VIII
Basic Notation and Terminology....Pages 1-9
Janusz Brzozowski....Pages 11-42
Maxime Crochemore, Thierry Lecroq....Pages 43-80
Jozef Gruska....Pages 81-117
Tom Head, Dennis Pixton....Pages 119-147
Lucian Ilie....Pages 149-170
Jarkko Kari....Pages 171-208
Satoshi Kobayashi....Pages 209-228
Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske....Pages 229-254
Mitsunori Ogihara....Pages 255-267
Friedrich Otto....Pages 269-303
Holger Petersen....Pages 305-319
Shuly Wintner....Pages 321-342
Hsu-Chun Yen....Pages 343-373

✦ Subjects

Computational Linguistics