Detail publikace

The Leftmost Derivation of Type Two in Matrix Grammars

ŠKRKAL, O.

Originální název

The Leftmost Derivation of Type Two in Matrix Grammars

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

This contribution discusses the descriptional complexity of matrix grammars using left-most derivation of type two with respect to the number of nonterminals and matrices with two or more productions. It proves that these matrix grammars need only nine nonterminals and six matrices of length two or more to generate recursively enumerable languages.

Klíčová slova

Formal language theory, regulated rewriting, matrix grammars, canonical derivations, complexity reduction.

Autoři

ŠKRKAL, O.

Rok RIV

2004

Vydáno

28. 4. 2003

Místo

Ostrava

ISBN

80-85988-84-4

Kniha

Proceedings of 6th International Conference ISIM'03 Information System Implementation and Modeling

Strany od

195

Strany do

199

Strany počet

5

BibTex

@inproceedings{BUT13993,
  author="Oto {Škrkal}",
  title="The Leftmost Derivation of Type Two in Matrix Grammars",
  booktitle="Proceedings of 6th International Conference ISIM'03 Information System Implementation and Modeling",
  year="2003",
  pages="195--199",
  address="Ostrava",
  isbn="80-85988-84-4"
}