Skip to main content
Log in

On sentential forms of context-free grammars

  • Published:
Acta Informatica Aims and scope Submit manuscript

Summary

There is no algorithm for deciding whether two linear context-free grammars generate the same sentential forms. The equivalence problem for propagatingOL-systems is undecidable. The finiteness problem forOL-systems is decidable.SF-languages, i.e., languages which equal the set of sentential forms of a context-free grammar, possess some of the properties of context-free languages but their family is not closed under any of the ordinary operations.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Gabrielian, A.: Pure grammars and pure languages. University of Waterloo, Department of Applied Analysis and Computer Science Research Report CSRR 2027 (1970).

  • Ginsburg, S.: The mathematical theory of context-free languages. McGraw-Hill 1966.

  • Paz, A., Salomaa, A.: Integral sequential word functions and growth equivalence of Lindenmayer systems. Information and Control, to appear.

  • Rozenberg, G.: The equivalence problem for deterministicTOL-systems is undecidable. SUNY at Buffalo, Department of Computer Science Report 24-72 (1972).

  • Salomaa, A.: Formal languages. Academic Press, 1973, to appear.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Salomaa, A. On sentential forms of context-free grammars. Acta Informatica 2, 40–49 (1973). https://doi.org/10.1007/BF00571462

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00571462

Keywords

Navigation