Result Details

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.
Type
journal article
Language
English
Authors
Křoustek Jakub, Ing., Ph.D., DIFS (FIT)
Židek Stanislav, Ing., DIFS (FIT)
Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., DIFS (FIT)
Abstract

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.

Keywords

scattered context grammar, regulation, priority, generative power

Published
2011
Pages
1–6
Journal
International Journal of Advanced Research in Computer Science, vol. 2, no. 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"
}
Projects
Advanced recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-11-2, start: 2011-01-01, end: 2013-12-31, completed
National Support for Project Smart Multicore Embedded SYstems, MŠMT, Společné technologické iniciativy, 7H10014, start: 2010-02-01, end: 2013-01-31, running
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
System for Programming and Realization of Embedded Systems, MPO, TIP, FR-TI1/038, start: 2009-07-01, end: 2013-06-30, completed
System for Support of Platform Independent Malware Analysis in Executable Files, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010667, start: 2011-01-01, end: 2013-12-31, completed
Research groups
Formal Model Research Group (RG FM)
Hardware-Software Codesign research group (RG LISSOM)
Departments
Department of Information Systems (DIFS)
Back to top