Limit search to available items
Book Cover
E-book
Author Conference on Developments in Language Theory (9th : 2005 : Palermo, Italy)

Title Developments in language theory : 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 : proceedings / Clelia De Felice, Antonio Restivo (eds.)
Published Berlin ; New York : Springer, ©2005

Copies

Description 1 online resource (xi, 408 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3572
Lecture notes in computer science ; 3572. 0302-9743
Contents Restricted Towers of Hanoi and Morphisms -- Collapsing Words: A Progress Report -- Locally Consistent Parsing and Applications to Approximate String Comparisons -- Central Sturmian Words: Recent Developments -- Reversible Cellular Automata -- Inexpressibility Results for Regular Languages in Nonregular Settings -- Complexity of Quantum Uniform and Nonuniform Automata -- Membership and Finiteness Problems for Rational Sets of Regular Languages -- Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells -- The Mortality Threshold for Partially Monotonic Automata -- Sturmian Words: Dynamical Systems and Derivated Words -- Schützenberger and Eilenberg Theorems for Words on Linear Orderings -- On the Membership of Invertible Diagonal Matrices -- A Kleene Theorem for Languages of Words Indexed by Linear Orderings -- Revolving-Input Finite Automata -- Some New Results on Palindromic Factors of Billiard Words -- A Note on a Result of Daurat and Nivat -- Palindromes in Sturmian Words -- Voronoi Cells of Beta-Integers -- Languages with Mismatches and an Application to Approximate Indexing -- Bidimensional Sturmian Sequences and Substitutions -- Unambiguous Morphic Images of Strings -- Complementing Two-Way Finite Automata -- On Timed Automata with Discrete Time -- Structural and Language Theoretical Characterization -- Monotone Deterministic RL-Automata Don't Need Auxiliary Symbols -- On Hairpin-Free Words and Languages -- Adding Monotonic Counters to Automata and Transition Graphs -- Polynomial Generators of Recursively Enumerable Languages -- On Language Inequalities XK???LX -- The Power of Tree Series Transducers of Type I and II -- The Inclusion Problem for Unambiguous Rational Trace Languages -- LR Parsing for Boolean Grammars -- On Some Properties of the Language of 2-Collapsing Words -- Semi-rational Sets of DAGs -- On the Frequency of Letters in Pure Binary Morphic Sequences
Summary "DLT 2005 was the 9th Conference on Developments in Language Theory."
Notes "9th Conference on Developments in Language Theory ... held at Mondello (Palermo, Italy)"--Preface
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Formal languages -- Congresses
MATHEMATICS -- Infinity.
MATHEMATICS -- Logic.
Informatique.
Formal languages.
Automatentheorie
Petri-Netz
Sprachtheorie
Turing-Maschine
Langage formel.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Kongress.
Form Electronic book
Author De Felice, Clelia.
Restivo, Antonio.
ISBN 9783540316824
3540316825
Other Titles DLT 2005