Advertisement

Whale Calf, a Parser Generator for Conjunctive Grammars

  • Alexander Okhotin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2608)

Abstract

Whale Calf is a parser generator that uses conjunctive grammars, a generalization of context-free grammars with an explicit intersection operation, as the formalism of specifying the language. All existing parsing algorithms for conjunctive grammars are implemented — namely, the tabular algorithm for grammars in the binary normal form, the tabular algorithm for grammars in the linear normal form, the tabular algorithm for arbitrary grammars, the conjunctive LL, the conjunctive LR and the algorithm based on simulation of the automata equivalent to linear conjunctive grammars. The generated C++ programs can determine the membership of strings in the language and, if needed, create parse trees of these strings.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Graphviz-open source graph drawing software, available at http://www.research.att.com/sw/tools/graphviz/.
  2. 2.
    A. Okhotin, “Conjunctive grammars”, Journal of Automata, Languages and Combinatorics, 6:4 (2001), 519–535.zbMATHMathSciNetGoogle Scholar
  3. 3.
    A. Okhotin, “Top-down parsing of conjunctive languages”, Grammars, 5:1 (2002), 21–40.zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    A. Okhotin, “A recognition and parsing algorithm for arbitrary conjunctive grammars”, to appear in Theoretical Computer Science.Google Scholar
  5. 5.
    A. Okhotin, “LR parsing for conjunctive grammars”, Grammars, 5:2 (2002), 81–124.zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    A. Okhotin, “On a new family of automata”, Technical Report 2002-456, Department of Computing and Information Science of Queen’s University, Kingston, Ontario, Canada.Google Scholar
  7. 7.
    A. Okhotin, “Efficient automaton-based recognition for linear conjunctive languages”, this volume.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Alexander Okhotin
    • 1
  1. 1.Department of Computing and Information ScienceQueen’s UniversityKingston, OntarioCanada

Personalised recommendations