书籍详情
语言理论进展：DLT 2006/会议录 Developments in language theory
作者：Oscar H. Ibarra 著
出版社：崇文书局（原湖北辞书出版社）
出版时间：2006-12-01
ISBN：9783540354284
定价：¥678.00
购买这本书可以去
内容简介
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 de*ion and analysis; polyominoes and bidimensional patterns; cryptography; concurrency; bio-inspired computing; and quantum computing.
作者简介
暂缺《语言理论进展：DLT 2006/会议录 Developments in language theory》作者简介
目录
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
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
猜您喜欢
