Publication detail

How to Generate Recursively Enumerable Languages Using Only Context-free Productions and Eight Nonterminals

BIDLO, R., BLATNÝ, P.

Original Title

How to Generate Recursively Enumerable Languages Using Only Context-free Productions and Eight Nonterminals

English Title

How to Generate Recursively Enumerable Languages Using Only Context-free Productions and Eight Nonterminals

Type

conference paper

Language

en

Original Abstract

The notion of a context-free grammar over a free group is introduced. The transformation of any type-0 grammar to an equivalent context-free grammar over a free group is demonstrated. This approach causes an undesirable increase of the number of nonterminal symbols. Hence we introduce a method for their reduction.

English abstract

The notion of a context-free grammar over a free group is introduced. The transformation of any type-0 grammar to an equivalent context-free grammar over a free group is demonstrated. This approach causes an undesirable increase of the number of nonterminal symbols. Hence we introduce a method for their reduction.

Keywords

Context-Free Grammars, Derivations, Free Groups, Recursively Enumerable Languages

RIV year

2005

Released

13.05.2005

Publisher

Faculty of Electrical Engineering and Communication BUT

Location

Brno

ISBN

80-214-2890-2

Book

Proceedings of 11th Conference and Competition Student EEICT 2005, Volume 3

Pages from

536

Pages to

541

Pages count

6

Documents

BibTex


@inproceedings{BUT18908,
  author="Radek {Bidlo} and Petr {Blatný}",
  title="How to Generate Recursively Enumerable Languages Using Only Context-free Productions and Eight Nonterminals",
  annote="The notion of a context-free grammar over a free group is introduced.
The transformation of any type-0 grammar to an equivalent context-free
grammar over a free group is demonstrated. This approach causes an
undesirable increase of the number of nonterminal symbols. Hence we
introduce a method for their reduction.",
  address="Faculty of Electrical Engineering and Communication BUT",
  booktitle="Proceedings of 11th Conference and Competition Student EEICT 2005, Volume 3",
  chapter="18908",
  institution="Faculty of Electrical Engineering and Communication BUT",
  year="2005",
  month="may",
  pages="536--541",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  type="conference paper"
}