Derivation in Scattered Context Grammar via Lazy Function Evaluation

Jirák, Ota; Kolář, Dušan

doi:10.4230/DROPS.MEMICS.2009.2351

Document

Derivation in Scattered Context Grammar via Lazy Function Evaluation

Authors Ota Jirák, Dušan Kolář

Part of: Volume: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09) (MEMICS 2009)
Part of: Series: Open Access Series in Informatics (OASIcs)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2009-12-15

PDF

File

PDF

DROPS.MEMICS.2009.2351.pdf

Filesize: 0.61 MB
10 pages

Document Identifiers

DOI: 10.4230/DROPS.MEMICS.2009.2351
URN: urn:nbn:de:0030-drops-23517

Subject Classification

Keywords

SCG
delayed execution
derivation
lazy evaluation

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

This paper discusses scattered context grammars (SCG) and considers the application of scattered context grammar production rules. We use function that represents single derivation step over the given sentential form. Moreover, we define this function in such a way, so that it represents the delayed execution of scattered context grammar production rules using the same principles as a lazy evaluation in functional programming. Finally, we prove equivalence of the usual and the delayed execution of SCG production rules.

Cite As Get BibTex

Ota Jirák and Dušan Kolář. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Open Access Series in Informatics (OASIcs), Volume 13, pp. 27-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009) https://doi.org/10.4230/DROPS.MEMICS.2009.2351

Author Details

Ota Jirák

Dušan Kolář

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail