语言理论进展： DLT 2006/会议录 Developments in language theory
点此进入淘宝搜索页搜索分類: 图书,社会科学,语言文字 ,
作者： Oscar H. Ibarra 著
出 版 社： 湖北辞书出版社
出版时间： 2006-12-1字数：版次： 1页数： 456印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540354284包装： 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
内容简介
This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT 2006, held in Santa Barbara, CA, USA in June 2006.
The 36 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 63 submissions. All important issues in language theory are addressed including grammars, acceptors and transducers for strings, trees, graphs, arrays; efficient text algorithms; algebraic theories for automata and languages; combinatorial and algebraic properties of words and languages; variable-length codes; symbolic dynamics; decision problems; relations to complexity theory and logic; picture description and analysis; polyominoes and bidimensional patterns; cryptography; concurrency; bio-inspired computing; and quantum computing.
目录
Invited Lectures
Adding Nesting Structure to Words
Can Abstract State Machines Be Useful in Language Theory?
Languages in Membrane Computing: Some Details for Spiking Neural P Systems
Computational Nature of Biochemical Reactions
Papers
Polynomials, Fragments of Temporal Logic and the Variety DA over Traces
Weighted Automata and Weighted Logics on Infinite Words
Simulation Relations for Alternating Parity Automata and Parity Games
Equivalence of Functions Represented by Simple Context-Free Grammars with Output
On the Gao-Comolexity of Simple RL-Automata
Noncanonical LALR(1) Parsing
Context-Free Grammars and XML Languages
Synchronization of Pushdown Automata
Context-Dependent Nondeterminism for Pushdown Automata
Prime Decompositions of Regular Languages
On Weakly Ambiguous Finite Transducers
Ciliate Bio-operations on Finite String Multisets
Characterizing DNA Bond Shapes Using Trajectories
Involution Solid and Join Codes
Well-Founded Semantics for Boolean Grammars
Hierarchies of Tree Series Transformations Revisited
Bag Context Tree Grammars
Closure of Language Classes Under Bounded Duplication
The Boolean Closure of Growing Context-Sensitive Languages
Well Quasi Orders and the Shuffle Closure of Finite Sets
The Growth Ratio of Synchronous Rational Relations Is Unique
On Critical Exponents in Fixed Points of Non-erasing Morphisms
……
Author Index
