Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3151204 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Recent advances in formal languages and applications
Rok: c2006
ISBN: 9783540334606
OKCZID: 110160414
Citace (dle ČSN ISO 690):
ÉSIK, Zoltán, ed., MARTÍN-VIDE, Carlos, ed. a MITRANA, Victor, ed. Recent advances in formal languages and applications. Berlin: Springer, c2006. viii, 373 s. Studies in computational intelligence, 25.
Anotace
The theory of formal languages is widely accepted as the backbone of theoretical computer science. It mainly originated from mathematics (combinatorics, algebra, mathematical logic) 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 areas of specialization in an easily accessible way accompanied with many references having a multiple role: historical, hints for complete proofs or solutions to exercises, 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. We believe that the volume representing "a gate to formal language theory and its applications", will be also useful as a general source of information in computation theory, both at the undergraduate and research level.