Amazon cover image
Image from Amazon.com

Developments in language theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007 : proceedings / Tero Harju, Juhani Karhumäki, Arto Lepistö (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 4588. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Berlin ; New York : Springer, ©2007.Description: 1 online resource (xi, 421 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540732082
  • 354073208X
  • 9783540732075
  • 3540732071
  • 9788354073208
  • 8354073203
Other title:
  • DLT 2007
Subject(s): Genre/Form: Additional physical formats: Print version:: Developments in language theory.DDC classification:
  • 005.13/1 22
LOC classification:
  • QA267.3 .C63 2007eb
Other classification:
  • TP301. 2-532
Online resources:
Contents:
Front Matter; On First-Order Fragments for Words and Mazurkiewicz Traces; Quantitative Generalizations of Languages; What Do We Know About Language Equations?; Finite Automata and the Writing of Numbers; Descriptional Complexity of Nondeterministic Finite Automata; From Determinism to Non-determinism in Recognizable Two-Dimensional Languages; Coding Partitions: Regularity, Maximality and Global Ambiguity; Multi-letter Reversible and Quantum Finite Automata; Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids.
The Dynamics of Cellular Automata in Shift-Invariant TopologiesTwo Element Unavoidable Sets of Partial Words; Hairpin Finite Automata; Characterizing Reduction Graphs for Gene Assembly in Ciliates; 2-Visibly Pushdown Automata; An Efficient Computation of the Equation \mathbbK-Automaton of a Regular \mathbbK-Expression; An Extension of Newton's Method to .-Continuous Semirings; Non-constructive Methods for Finite Probabilistic Automata; The Unambiguity of Segmented Morphisms; Commutation of Binary Factorial Languages.
Inapproximability of Nondeterministic State and Transition Complexity Assuming P ... NPState Complexity of Union and Intersection of Finite Languages; Bisimulation Minimisation for Weighted Tree Automata; Conjunctive Grammars Can Generate Non-regular Unary Languages; Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet; Reduced Languages as .-Generators; Avoiding Approximate Squares; Duplication Roots; Complexity Theory for Splicing Systems; Descriptional Complexity of Bounded Context-Free Languages; Definable Transductions and Weighted Logics for Texts.
A Star Operation for Star-Free Trace LanguagesFinite Automata on Unranked and Unordered DAGs; On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases; A Local Balance Property of Episturmian Words; Suffix Automata and Standard Sturmian Words; Fine Hierarchy of Regular Aperiodic .-Languages; On Transition Minimality of Bideterministic Automata; Back Matter.
In: Springer e-booksSummary: This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. The 32 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 74 submissions. All important issues in language theory are addressed including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyomino.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

Front Matter; On First-Order Fragments for Words and Mazurkiewicz Traces; Quantitative Generalizations of Languages; What Do We Know About Language Equations?; Finite Automata and the Writing of Numbers; Descriptional Complexity of Nondeterministic Finite Automata; From Determinism to Non-determinism in Recognizable Two-Dimensional Languages; Coding Partitions: Regularity, Maximality and Global Ambiguity; Multi-letter Reversible and Quantum Finite Automata; Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids.

The Dynamics of Cellular Automata in Shift-Invariant TopologiesTwo Element Unavoidable Sets of Partial Words; Hairpin Finite Automata; Characterizing Reduction Graphs for Gene Assembly in Ciliates; 2-Visibly Pushdown Automata; An Efficient Computation of the Equation \mathbbK-Automaton of a Regular \mathbbK-Expression; An Extension of Newton's Method to .-Continuous Semirings; Non-constructive Methods for Finite Probabilistic Automata; The Unambiguity of Segmented Morphisms; Commutation of Binary Factorial Languages.

Inapproximability of Nondeterministic State and Transition Complexity Assuming P ... NPState Complexity of Union and Intersection of Finite Languages; Bisimulation Minimisation for Weighted Tree Automata; Conjunctive Grammars Can Generate Non-regular Unary Languages; Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet; Reduced Languages as .-Generators; Avoiding Approximate Squares; Duplication Roots; Complexity Theory for Splicing Systems; Descriptional Complexity of Bounded Context-Free Languages; Definable Transductions and Weighted Logics for Texts.

A Star Operation for Star-Free Trace LanguagesFinite Automata on Unranked and Unordered DAGs; On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases; A Local Balance Property of Episturmian Words; Suffix Automata and Standard Sturmian Words; Fine Hierarchy of Regular Aperiodic .-Languages; On Transition Minimality of Bideterministic Automata; Back Matter.

This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. The 32 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 74 submissions. All important issues in language theory are addressed including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyomino.

Powered by Koha