Detail publikačního výsledku

Combined Leftmost Derivations in Matrix Grammars

MEDUNA, A.; ŠKRKAL, O.

Originální název

Combined Leftmost Derivations in Matrix Grammars

Anglický název

Combined Leftmost Derivations in Matrix Grammars

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

It is an open problem, whether matrix grammars with erasing productions using leftmost derivation of type three generate the whole family of recursively enumerable languages. This paper proves that matrix grammars that apply one matrix using leftmost derivation of type one and all other matrices using leftmost derivation of type three generate the family of recursively enumerable languages.

Anglický abstrakt

It is an open problem, whether matrix grammars with erasing productions using leftmost derivation of type three generate the whole family of recursively enumerable languages. This paper proves that matrix grammars that apply one matrix using leftmost derivation of type one and all other matrices using leftmost derivation of type three generate the family of recursively enumerable languages.

Klíčová slova

Formal language theory, regulated rewriting, matrix grammar, canonical derivation, generative power.

Klíčová slova v angličtině

Formal language theory, regulated rewriting, matrix grammar, canonical derivation, generative power.

Autoři

MEDUNA, A.; ŠKRKAL, O.

Vydáno

19.04.2004

Nakladatel

Marq software s.r.o.

Místo

Ostrava

ISBN

80-85988-99-2

Kniha

Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling

Edice

1st edition

Strany od

127

Strany do

132

Strany počet

6

BibTex

@inproceedings{BUT17119,
  author="Alexandr {Meduna} and Oto {Škrkal}",
  title="Combined Leftmost Derivations in Matrix Grammars",
  booktitle="Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling",
  year="2004",
  series="1st edition",
  pages="127--132",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-99-2"
}