Detail výsledku

On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components

MASOPUST, T. On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2009, vol. 20, no. 2, p. 331-340. ISSN: 0129-0541.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Masopust Tomáš, doc. RNDr., Ph.D., UIFS (FIT)
Abstrakt

This paper discusses the terminating derivation mode in cooperating distributed grammar systems where components are forbidding grammars instead of context-free grammars. Such systems are called forbidding cooperating distributed grammar systems, and it is demonstrated that the number of their components can be reduced to two without changing the generative power and that these systems are computationally complete. Without erasing productions, however, these systems are less powerful than context-sensitive grammars.

Klíčová slova

Cooperating distributed grammar systems; terminating derivation mode; forbidding grammars; forbidding cooperating distributed grammar systems; generative power.

URL
Rok
2009
Strany
331–340
Časopis
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, roč. 20, č. 2, ISSN 0129-0541
UT WoS
000265086600007
BibTeX 
@article{BUT49471,
  author="Tomáš {Masopust}",
  title="On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components",
  journal="INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE",
  year="2009",
  volume="20",
  number="2",
  pages="331--340",
  issn="0129-0541",
  url="http://dx.doi.org/10.1142/S0129054109006589"
}
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru