Coverart for item
The Resource Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 1621, 2001 Revised Papers, edited by Werner Kuich, Grzegorz Rozenberg, Arto Salomaa

Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 1621, 2001 Revised Papers, edited by Werner Kuich, Grzegorz Rozenberg, Arto Salomaa

Label
Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 1621, 2001 Revised Papers
Title
Developments in Language Theory
Title remainder
5th International Conference, DLT 2001 Wien, Austria, July 1621, 2001 Revised Papers
Statement of responsibility
edited by Werner Kuich, Grzegorz Rozenberg, Arto Salomaa
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Developments in Language Theory, DLT 2001, held in Vienna, Austria, in July 2001. The 24 revised full papers presented together with 10 revised invited papers were carefully selected during two rounds of reviewing and revision from a total of 64 papers submitted. Among the topics covered are grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems, relations to complexity theory, logic, picture description and analysis, DNA computing, cryptography, and concurrency
Member of
Cataloging source
DKDLA
Dewey number
005.131
Index
index present
LC call number
QA8.9-QA10.3
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • standards specifications
http://library.link/vocab/relatedWorkOrContributorDate
1941-
http://library.link/vocab/relatedWorkOrContributorName
  • Kuich, Werner
  • Rozenberg, Grzegorz
  • Salomaa, Arto
Series statement
Lecture Notes in Computer Science
Series volume
2295,
http://library.link/vocab/subjectName
  • Formal languages
  • Formal languages
Label
Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 1621, 2001 Revised Papers, edited by Werner Kuich, Grzegorz Rozenberg, Arto Salomaa
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Presentations -- Automata: From Uncertainty to Quantum -- Elementary Theory of Ordinals with Addition and Left Translation by? -- The Equational Theory of Fixed Points with Applications to Generalized Language Theory -- Second-Order Logic over Strings: Regular and Non-regular Fragments -- Decision Questions on Integer Matrices -- Some Petri Net Languages and Codes -- Words, Permutations, and Representations of Numbers -- Proof Complexity of Pigeonhole Principles -- Words and Patterns -- A Short Introduction to Infinite Automata -- Contributions -- The Power of One-Letter Rational Languages -- The Entropy of Lukasiewicz-Languages -- Collapsing Words vs. Synchronizing Words -- A Note on Synchronized Automata and Road Coloring Problem -- Shuffle Quotient and Decompositions -- The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages -- Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable -- Automata on Series-Parallel Biposets -- Hierarchies of String Languages Generated by Deterministic Tree Transducers -- Partially-Ordered Two-Way Automata: A New Characterization of DA -- Level 5/2 of the Straubing-Thérien Hierarchy for Two-Letter Alphabets -- On the Power of Randomized Pushdown Automata -- The Root of a Language and Its Complexity -- Valuated and Valence Grammars: An Algebraic View -- Context-Free Valence Grammars -- Revisited -- An Undecidability Result Concerning Periodic Morphisms -- A Universal Turing Machine with 3 States and 9 Symbols -- Minimal Covers of Formal Languages -- Some Regular Languages That Are Church-Rosser Congruential -- On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy -- Forbidden Factors and Fragment Assembly -- Parallel Communicating Grammar Systems with Incomplete Information Communication -- Eliminating Communication by Parallel Rewriting -- String Rewriting Sequential P-Systems and Regulated Rewriting
Control code
769771035
Extent
1 online resource.
Form of item
online
Isbn
9783540460114
Lccn
2002020915
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-46011-X
Specific material designation
remote
System control number
(OCoLC)769771035
Label
Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 1621, 2001 Revised Papers, edited by Werner Kuich, Grzegorz Rozenberg, Arto Salomaa
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Presentations -- Automata: From Uncertainty to Quantum -- Elementary Theory of Ordinals with Addition and Left Translation by? -- The Equational Theory of Fixed Points with Applications to Generalized Language Theory -- Second-Order Logic over Strings: Regular and Non-regular Fragments -- Decision Questions on Integer Matrices -- Some Petri Net Languages and Codes -- Words, Permutations, and Representations of Numbers -- Proof Complexity of Pigeonhole Principles -- Words and Patterns -- A Short Introduction to Infinite Automata -- Contributions -- The Power of One-Letter Rational Languages -- The Entropy of Lukasiewicz-Languages -- Collapsing Words vs. Synchronizing Words -- A Note on Synchronized Automata and Road Coloring Problem -- Shuffle Quotient and Decompositions -- The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages -- Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable -- Automata on Series-Parallel Biposets -- Hierarchies of String Languages Generated by Deterministic Tree Transducers -- Partially-Ordered Two-Way Automata: A New Characterization of DA -- Level 5/2 of the Straubing-Thérien Hierarchy for Two-Letter Alphabets -- On the Power of Randomized Pushdown Automata -- The Root of a Language and Its Complexity -- Valuated and Valence Grammars: An Algebraic View -- Context-Free Valence Grammars -- Revisited -- An Undecidability Result Concerning Periodic Morphisms -- A Universal Turing Machine with 3 States and 9 Symbols -- Minimal Covers of Formal Languages -- Some Regular Languages That Are Church-Rosser Congruential -- On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy -- Forbidden Factors and Fragment Assembly -- Parallel Communicating Grammar Systems with Incomplete Information Communication -- Eliminating Communication by Parallel Rewriting -- String Rewriting Sequential P-Systems and Regulated Rewriting
Control code
769771035
Extent
1 online resource.
Form of item
online
Isbn
9783540460114
Lccn
2002020915
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-46011-X
Specific material designation
remote
System control number
(OCoLC)769771035

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...