This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007.
The 10 revised full papers presented together with nine invited papers were carefully reviewed and selected from 29 submissions. The papers cover topics such as algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.
Author(s): Jürgen Albert, German Tischler (auth.), Symeon Bozapalidis, George Rahonis (eds.)
Series: Lecture Notes in Computer Science 4728 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer Berlin Heidelberg
Year: 2007
Language: English
Pages: 297
Content:
Front Matter....Pages -
On Generalizations of Weighted Finite Automata and Graphics Applications....Pages 1-22
Sturmian and Episturmian Words....Pages 23-47
From Tree-Based Generators to Delegation Networks....Pages 48-72
Bifinite Chu Spaces....Pages 73-74
Tiling Recognizable Two-Dimensional Languages....Pages 75-86
Algebraic Methods in Quantum Informatics....Pages 87-111
Recognizable vs. Regular Picture Languages....Pages 112-121
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems....Pages 122-146
Deterministic Two-Dimensional Languages over One-Letter Alphabet....Pages 147-159
Recognizable Picture Languages and Polyominoes....Pages 160-171
An Algebra for Tree-Based Music Generation....Pages 172-188
Aperiodicity in Tree Automata....Pages 189-207
The Syntactic Complexity of Eulerian Graphs....Pages 208-217
Learning Deterministically Recognizable Tree Series — Revisited....Pages 218-235
The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs....Pages 236-246
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques....Pages 247-259
Nonassociativity � la Kleene....Pages 260-274
Restarting Tree Automata and Linear Context-Free Tree Languages....Pages 275-289
Back Matter....Pages -
