Result Details

Scattered Context Grammars Parsers

KOLÁŘ, D. Scattered Context Grammars Parsers. Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS. Wroclaw: Wroclaw University of Technology, 2008. p. 491-500. ISBN: 978-83-7493-400-8.
Type
conference paper
Language
English
Authors
Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
Abstract

There are severalefficient parsing techniques used for analysis of context-free languages.  Nevertheless, context bindings must berecognized and verified by some other (less formal) means, e.g. symbol tables,semantic actions, attributed grammars, etc. The paper presents a restricted variant of scattered context grammars anda deterministic version of regulated pushdown automata. These formal meanstogether represent an efficient formal system for parsing of context languages.Moreover, construction of a deterministic regulated pushdown automaton from therestricted scattered context grammar is also possible.

Keywords

scattered context grammars, context languages, parsers, regulated pushdown automata

Published
2008
Pages
491–500
Proceedings
Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS
Conference
14TH INTERNATIONAL CONGRESS OF CYBERNETICS AND SYSTEMS OF WOSC
ISBN
978-83-7493-400-8
Publisher
Wroclaw University of Technology
Place
Wroclaw
BibTeX 
@inproceedings{BUT32112,
  author="Dušan {Kolář}",
  title="Scattered Context Grammars Parsers",
  booktitle="Proceedings of the  14th International Congress of Cybernetics and Systems of WOCS",
  year="2008",
  pages="491--500",
  publisher="Wroclaw University of Technology",
  address="Wroclaw",
  isbn="978-83-7493-400-8"
}
Projects
Multi-Information Technologies, GACR, Standardní projekty, GA201/07/0005, start: 2007-01-01, end: 2009-12-31, completed
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
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top