Detail publikačního výsledku

The Leftmost Derivation of Type Two in Matrix Grammars

ŠKRKAL, O.

Originální název

The Leftmost Derivation of Type Two in Matrix Grammars

Anglický název

The Leftmost Derivation of Type Two in Matrix Grammars

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

This contribution discusses the descriptional complexity of matrixgrammars using left-most derivation of type two with respect to thenumber of nonterminals and matrices with two or more productions. Itproves that these matrix grammars need only nine nonterminals and sixmatrices of length two or more to generate recursively enumerablelanguages.

Anglický abstrakt

This contribution discusses the descriptional complexity of matrixgrammars using left-most derivation of type two with respect to thenumber of nonterminals and matrices with two or more productions. Itproves that these matrix grammars need only nine nonterminals and sixmatrices of length two or more to generate recursively enumerablelanguages.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

ŠKRKAL, O.

Rok RIV

2011

Vydáno

28.04.2003

Nakladatel

Marq software s.r.o.

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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-84-4"
}