Paper Search Console

Home Search Page About Contact

Journal Title

Title of Journal: Theory Comput Syst

Search In Journal Title:

Abbravation: Theory of Computing Systems

Search In Journal Abbravation:

Publisher

Springer-Verlag

Search In Publisher:

DOI

10.1002/cjoc.19980160212

Search In DOI:

ISSN

1433-0490

Search In ISSN:
Search In Title Of Papers:

Unidirectional Lambek Grammars in Polynomial Time

Authors: Yury Savateev
Publish Date: 2009/03/28
Volume: 46, Issue: 4, Pages: 662-672
PDF Link

Abstract

Lambek grammars provide a useful tool for studying formal and natural languages The generative power of unidirectional Lambek grammars equals that of contextfree grammars However no feasible algorithm was known for deciding membership in the corresponding formal languages In this paper we present a polynomial algorithm for deciding whether a given word belongs to a language generated by a given unidirectional Lambek grammar

Keywords:

References

.
Search In Abstract Of Papers:
Other Papers In This Journal:
  1. Parameterized Complexity of Secluded Connectivity Problems
  2. Collusion in Atomic Splittable Routing Games
  3. The Deduction Theorem for Strong Propositional Proof Systems
  4. Contiguous Search Problem in Sierpiński Graphs
  5. Complexity of the Bollobás–Riordan Polynomial. Exceptional Points and Uniform Reductions
  6. One-Nonterminal Conjunctive Grammars over a Unary Alphabet
  7. Finding Similar Users in Social Networks
  8. A reducibility concept for problems defined in terms of ordered binary decision diagrams
  9. A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids
  10. Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification
  11. On the Flattest Common Supersequence Method for Deadlock-Free Routing in Arbitrary Networks
  12. Composing Stack-Attributed Tree Transducers
  13. Preface of STACS 2013 Special Issue
  14. Querying Data Sources that Export Infinite Sets of Views
  15. Sharing Resources at Nonuniform Access Rates
  16. Weighted Picture Automata and Weighted Logics
Search Result: