All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

On restricted context-free grammars

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F12%3A00367493" target="_blank" >RIV/67985840:_____/12:00367493 - isvavai.cz</a>

  • Result on the web

    <a href="http://dx.doi.org/10.1016/j.jcss.2011.05.008" target="_blank" >http://dx.doi.org/10.1016/j.jcss.2011.05.008</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1016/j.jcss.2011.05.008" target="_blank" >10.1016/j.jcss.2011.05.008</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    On restricted context-free grammars

  • Original language description

    Context-free grammars are widely used for the simple form of their rules. A derivation step consists of the choice of a nonterminal of the sentential form and of an application of a rule rewriting it. Several regulations of the derivation process have been studied to increase the power of context-free grammars. In the resulting grammars, however, not only the symbols to be rewritten are restricted, but also the rules to be applied. In this paper, we study context-free grammars with a simpler restrictionwhere only symbols to be rewritten are restricted, not the rules, in the sense that any rule rewriting the chosen nonterminal can be applied. We prove that these grammars have the same power as random context, matrix, or programmed grammars. We also present two improved normal forms and discuss the characterization of context-sensitive languages by a variant using strings of length at most two instead of symbols.

  • Czech name

  • Czech description

Classification

  • Type

    J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

  • CEP classification

    BA - General mathematics

  • OECD FORD branch

Result continuities

  • Project

  • Continuities

    Z - Vyzkumny zamer (s odkazem do CEZ)

Others

  • Publication year

    2012

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Name of the periodical

    Journal of Computer and System Sciences

  • ISSN

    0022-0000

  • e-ISSN

  • Volume of the periodical

    78

  • Issue of the periodical within the volume

    1

  • Country of publishing house

    US - UNITED STATES

  • Number of pages

    12

  • Pages from-to

    293-304

  • UT code for WoS article

    000297833200021

  • EID of the result in the Scopus database