Detail výsledku

Scattered Context Grammars with Priority

KŘOUSTEK, J.; ŽIDEK, S.; KOLÁŘ, D.; MEDUNA, A. Scattered Context Grammars with Priority. International Journal of Advanced Research in Computer Science, 2011, vol. 2, no. 4, p. 1-6. ISSN: 0976-5697.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Křoustek Jakub, Ing., Ph.D., UIFS (FIT)
Židek Stanislav, Ing., UIFS (FIT)
Kolář Dušan, doc. Dr. Ing., UIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., UIFS (FIT)
Abstrakt

The scattered context grammars are based on application of n context-free productions in parallel to generate their sentences. We can find two basic versions of this grammar type - erasing and propagating grammars. Erasing productions are allowed in erasing grammar, while they are prohibited in propagating grammars. In this paper, we present regulated versions of these grammars, where productions are regulated by the production-priority function. The priority function guarantees that productions will be applied whenever it is possible according to their priority. We also provide formal proofs of generative power of these grammars.

Klíčová slova

scattered context grammar, regulation, priority, generative power

Rok
2011
Strany
1–6
Časopis
International Journal of Advanced Research in Computer Science, roč. 2, č. 4, ISSN 0976-5697
BibTeX 
@article{BUT76359,
  author="Jakub {Křoustek} and Stanislav {Židek} and Dušan {Kolář} and Alexandr {Meduna}",
  title="Scattered Context Grammars with Priority",
  journal="International Journal of Advanced Research in Computer Science",
  year="2011",
  volume="2",
  number="4",
  pages="1--6",
  issn="0976-5697"
}
Projekty
National Support for Project Smart Multicore Embedded SYstems, MŠMT, Společné technologické iniciativy, 7H10014, zahájení: 2010-02-01, ukončení: 2013-01-31, řešení
Pokročilé rozpoznávání a prezentace multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-11-2, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Systém pro podporu platformě nezávislé analýzy škodlivého kódu ve spustitelných souborech, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010667, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Systém pro programování a realizaci vestavěných systémů, MPO, TIP, FR-TI1/038, zahájení: 2009-07-01, ukončení: 2013-06-30, ukončen
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)
Výzkumná skupina Hardware-Software Codesign (VZ LISSOM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru