Detail výsledku

Simple Matrix Grammars and Their Leftmost Variants

MEDUNA, A.; SOUKUP, O. Simple Matrix Grammars and Their Leftmost Variants. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2016, vol. 27, no. 3, p. 359-373. ISSN: 0129-0541.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Meduna Alexandr, prof. RNDr., CSc., UIFS (FIT)
Soukup Ondřej, Ing., Ph.D., UIFS (FIT)
Abstrakt


In essence, simple matrix grammars can be seen as sequences of context-free grammars, referred to as their components, which work in parallel. The present paper demonstrates that two-component simple matrix grammars are as powerful as ordinary matrix grammars. Then, it places three leftmost derivation restrictions upon these grammars and demonstrates that under two of these restrictions, simple matrix grammars are computational complete--that is, they are equivalent with Turing machines. From a historical perspective, concerning simple matrix grammars, the paper also makes several remarks that correct false statements published about them in the past.

Klíčová slova

simple matrix grammars, leftmost derivations, generative power

URL
Rok
2016
Strany
359–373
Časopis
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, roč. 27, č. 3, ISSN 0129-0541
DOI
UT WoS
000378637600005
EID Scopus
BibTeX
@article{BUT130903,
  author="Alexandr {Meduna} and Ondřej {Soukup}",
  title="Simple Matrix Grammars and Their Leftmost Variants",
  journal="INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE",
  year="2016",
  volume="27",
  number="3",
  pages="359--373",
  doi="10.1142/S0129054116400141",
  issn="0129-0541",
  url="http://www.worldscientific.com/doi/10.1142/S0129054116400141"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Centrum kompetence ve zpracování vizuálních informací (V3C - Visual Computing Competence Center), TAČR, Centra kompetence, TE01020415, zahájení: 2012-05-01, ukončení: 2019-12-31, ukončen
Výzkum pokročilých metod ICT a jejich aplikace, VUT, Vnitřní projekty VUT, FIT-S-14-2299, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Výzkumné skupiny
Pracoviště
Nahoru