Publication detail

The Parallel Generation of Recursively Enumerable Languages Using Only Context-free Productions and Six Nonterminals

BLATNÝ, P., BIDLO, R.

Original Title

The Parallel Generation of Recursively Enumerable Languages Using Only Context-free Productions and Six Nonterminals

English Title

The Parallel Generation of Recursively Enumerable Languages Using Only Context-free Productions and Six Nonterminals

Type

conference paper

Language

en

Original Abstract

This paper defines the notion of an E0L grammar on a free group. The transformation of any type-0 grammar to an equivalent E0L grammar on a free group is demonstrated. Next, an algorithm reducing the number of nonterminals is introduced.

English abstract

This paper defines the notion of an E0L grammar on a free group. The transformation of any type-0 grammar to an equivalent E0L grammar on a free group is demonstrated. Next, an algorithm reducing the number of nonterminals is introduced.

Keywords

E0L Grammars, Derivations, Free Groups, Recursively Enumerable Languages

RIV year

2005

Released

16.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

541

Pages to

546

Pages count

6

Documents

BibTex


@inproceedings{BUT18909,
  author="Petr {Blatný} and Radek {Bidlo}",
  title="The Parallel Generation of Recursively Enumerable Languages Using Only Context-free Productions and Six Nonterminals",
  annote="This paper defines the notion of an E0L grammar on a free group. The
transformation of any type-0 grammar to an equivalent E0L grammar on a
free group is demonstrated. Next, an algorithm reducing the number of
nonterminals is introduced.",
  address="Faculty of Electrical Engineering and Communication BUT",
  booktitle="Proceedings of 11th Conference and Competition Student EEICT 2005, Volume 3",
  chapter="18909",
  institution="Faculty of Electrical Engineering and Communication BUT",
  year="2005",
  month="may",
  pages="541--546",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  type="conference paper"
}