Research Catalog

Title

Developments in language theory II : at the crossroads of mathematics, computer science, and biology : Magdeburg, Germany, 17-21 July 1995 / editors, Jürgen Dassow, Grzegorz Rozenberg, Arto Salomaa.

Publication

Singapore ; River Edge, NJ : World Scientific, [1996], ©1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Dassow, Jürgen.
• Rozenberg, Grzegorz.
• Salomaa, Arto.
• Conference on Developments in Language Theory (2nd : 1995 : Magdeburg, Germany)

Description

x, 491 pages : illustrations; 23 cm

Subject

• Formal languages > Congresses

Note

• "... second conference on Developments in Language Theory"--P. v.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• A Family of p-Uniform Tag Systems for p-Paperfolding Sequences / C. Bercoff -- Recent Results on Sturmian Words / J. Berstel -- Special Factors of Sequences with Linear Subword Complexity / J. Cassaigne -- Cantor Sets and Dejean's Conjecture / J. D. Currie and R. O. Shelton -- On Disjunctivity, Ultimate Periodicity and Ultimate Identity of Paun-Salomaa Self-Reading Sequences / L. Ilie -- Colored Gauss and Tangent Codes on the Torus / J. Kari and V. Niemi -- Binary Self-Adding Sequences / V. Mitrana -- The Orthogonality of Some Complexity Measures of Context-Free Languages / G. Georgescu -- Time-Bounded Parallel Rewriting / P. Gvozdjak and B. Rovan -- On Emptiness and Counting for Alternating Finite Automata / M. Holzer -- Height Functions and Linear Languages / M. Ito -- Restarting Automata, Marcus Grammars and Context-Free Languages / P. Jancar, F. Mraz, M. Platek, M. Prochazka and J. Vogel -- An Undecidable Problem for Shuffle Languages / J. Jedrzejowicz --
• Morphisms and Associated Congruences / L. Kari and G. Thierrin -- Rational and Algebraic Languages with Distributed Catenation / M. Kudlek and A. Mateescu -- On F-Prime Solutions of the Post Correspondence Problem / M. Lipponen -- (0,1)-Total Pure Context-Free Grammars / C. Matei and F. L. Tiplea -- Nondeterminism Degrees for Context-Free Languages / K. Salomaa and S. Yu -- Counter-Free Automata, First-Order Logic and Star-Free Expressions Extended by Prefix Oracles / I. Schiering and W. Thomas -- Transforming a Single-Valued Transducer Into a Mealy Machine / A. Weber -- Colonies as Systems of Turing Machines Without States / I. Banik -- Accepting Grammars and Systems: An Overview / H. Bordihn and H. Fernau -- The Computational Complexity of PCGS with Regular Components / L. Cai -- Array Grammars with Prescribed Teams of Array Productions / R. Freund -- On Partition Limited 0L Systems / S. Gartner --
• On the Communication Complexity of Distributive Language Generation / J. Hromkovic -- Szilard Languages Associated to Parallel Communicating Grammar Systems / V. Mihalache -- Imposing Vertical Context Conditions on Derivations / O. Rambow -- The Membership Problem for Unordered Vector Languages / G. Satta -- Computing an Upper Bound for SVS(gg) by Abstract Interpretation / H. Dorr -- On the Connectedness of Pictures Defined by Iterated Function Systems / F. Drewes -- Finite State Recognizability for Two-Dimensional Languages: A Brief Survey / D. Giammarresi -- Efficient Subgraph Matching Within Cellular Hypergraphs / P. Hartmann -- Timed Attribute Hypergraph Grammars and Their Basic Properties / Y. Kimura and T. Tokuda -- Some New Decision Results for Edge Grammars / R. Stiebe -- Prefix and Period Languages of Rational [omega]-Languages / H. Calbrix and M. Nivat -- On the Computational Complexity of Infinite Words / A. Lepisto --
• Finite Acceptance of Infinite Words / I. Litovsky and L. Staiger -- Recent Developments in Trace Theory / V. Diekert, P. Gastin and A. Petit -- Trace Languages Definable with Modular Quantifiers / M. Droste and D. Kuske -- Hierarchies of Petri Net Languages and a Super-Normal Form / F. L. Tiplea and C. Ene -- Rule Space Transformations and One-Dimensional Cellular Automata / G. Cattaneo, E. Formenti and G. Mauri -- Real-Time One-Way Pushdown Cellular Automata Languages / M. Kutrib and J. Richstein -- Neural Language Acceptors / J. Sima and J. Wiedermann -- Towards Robustness in Parsing - Fuzzifying Context-Free Language Recognition / P. R. J. Asveld -- From Synonymy to Self-Modifying Automata: Q-Diam Language / B. Cases -- A Practical Small LR Parser with Action Decision Through Minimal Stack Suffix Scanning / J. Fortes Galvez -- Introducing the Operatorial Parser / R. Gramatovici -- Reversible Pushdown Automata and Bidirectional Parsing / M.-J. Nederhof --
• A Finitary-Language Semantics for Propositional Linear Temporal Logic / U. Nitsche.

ISBN

9810226829

OCLC

ocm35321130

Owning Institutions

Columbia University Libraries