Conference paper

ŠKRKAL Oto. The Leftmost Derivation of Type Two in Matrix Grammars. In: Proceedings of 6th International Conference ISIM'03 Information System Implementation and Modeling. Ostrava, 2003, pp. 195-199. ISBN 80-85988-84-4.
Publication language:english
Original title:The Leftmost Derivation of Type Two in Matrix Grammars
Title (cs):Levá derivace typu dvě v maticových gramatikách
Pages:195-199
Proceedings:Proceedings of 6th International Conference ISIM'03 Information System Implementation and Modeling
Conference:MOSIS 2003 - Modelling and Simulation of Systems
Place:Ostrava, CZ
Year:2003
ISBN:80-85988-84-4
Keywords
Formal language theory, regulated rewriting, matrix grammars, canonical derivations, complexity reduction.
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Oto {\v{S}}krkal},
   title = {The Leftmost Derivation of Type Two in Matrix Grammars},
   pages = {195--199},
   booktitle = {Proceedings of 6th International Conference ISIM'03
	Information System Implementation and Modeling},
   year = {2003},
   location = {Ostrava, CZ},
   ISBN = {80-85988-84-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7201}
}

Your IPv4 address: 107.22.126.144
Switch to IPv6 connection

DNSSEC [dnssec]