Timed Definite Clause Omega-Grammars

Saeedloei, Neda; Gupta, Gopal

doi:10.4230/LIPIcs.ICLP.2010.212

Document

Timed Definite Clause Omega-Grammars

Authors Neda Saeedloei, Gopal Gupta

Part of: Volume: Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Logic Programming (ICLP)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2010-06-25

PDF

File

PDF

LIPIcs.ICLP.2010.212.pdf

Filesize: 313 kB
10 pages

Document Identifiers

DOI: 10.4230/LIPIcs.ICLP.2010.212
URN: urn:nbn:de:0030-drops-25994

Subject Classification

Keywords

Constraint Logic Programming over reals
Co-induction
Context-Free Grammars
Omega-Grammars

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

We propose timed context-free grammars (TCFGs) and show how parsers for such grammars can be developed using definite clause grammars (DCGs) coupled with constraints over reals (CLP(R)). Timed context-free grammars describe timed context-free languages (TCFLs). We next extend timed context-free grammars to timed context-free omega-grammars (omega-TCFGs for brevity) and incorporate co-inductive logic programming in DCGs to obtain parsers for them. Timed context-free omega-grammars describe timed context-free languages containing infinite-sized words, and are a generalization of timed omega-regular languages recognized by timed automata. We show a practical application of omega-TCFGs to the well-known generalized railroad crossing problem.

Cite As Get BibTex

Neda Saeedloei and Gopal Gupta. Timed Definite Clause Omega-Grammars. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 212-221, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010) https://doi.org/10.4230/LIPIcs.ICLP.2010.212

Author Details

Neda Saeedloei

Gopal Gupta

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail