Elsevier

Theoretical Computer Science

Volume 290, Issue 3, 3 January 2003, Pages 1931-1946
Theoretical Computer Science

One application of real-valued interpretation of formal power series

https://doi.org/10.1016/S0304-3975(02)00369-9Get rights and content
Under an Elsevier user license
open archive

Abstract

We define two natural properties of context-free grammars. The first property generalizes linearity and the second property strengthens nonlinearity. A language generated by an unambiguous grammar of the first type is called the language with weak linear structure and a language generated by an unambiguous grammar of the second type is called the language with strong nonlinear structure. Our main theorem states that the family of unambiguous grammars generating languages with weak linear structure and the family of unambiguous grammars generating languages with strong nonlinear structure are effectively separable.

Keywords

Context-free grammars
Context-free languages
Unambiguousness
Linearity

Cited by (0)

1

The work was partially supported by grant N 01-01-00505 of Russian Foundation for Basic Researches.