Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Quaglia, Paola"'
Autor:
Quaglia, Paola
We exploit the nondeterminism of LR parsing tables to reason about grammar ambiguity after a conflict-driven strategy. First, from parsing tables we define specialized structures, called SR-automata. Next, we search for ambiguous words along the path
Externí odkaz:
http://arxiv.org/abs/1902.02439
Autor:
Quaglia, Paola
These short notes are meant as a quick reference for the construction of SLR(1), of LR(1), and of LALR(1) parsing tables.
Externí odkaz:
http://arxiv.org/abs/1807.05555
Autor:
Merelli, Emanuela, Quaglia, Paola
Publikováno v:
EPTCS 19, 2010
This volume contains the papers presented at the 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, held in Paphos, Cyprus, on March 27, 2010, as satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS
Externí odkaz:
http://arxiv.org/abs/1002.4919
Autor:
Cappello, Igor, Quaglia, Paola
Publikováno v:
In Electronic Notes in Theoretical Computer Science 28 February 2009 229(1):109-125
Publikováno v:
In Journal of Logic and Algebraic Programming 2008 75(2):167-181
Autor:
Quaglia, Paola, Walker, David
Publikováno v:
In Information and Computation 2005 200(2):215-246
Autor:
Priami, Corrado1,2, Quaglia, Paola3,4
Publikováno v:
Briefings in Bioinformatics. Sep2004, Vol. 5 Issue 3, p259-269. 11p. 2 Diagrams.
Autor:
Quaglia, Paola
We present algorithms for the construction of LALR(1) parsing tables, and of LR(1) parsing tables of reduced size. We first define specialized characteristic automata whose states are parametric w.r.t. variables symbolically representing lookahead-se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a05510e5cd68eead56dcacfc434002fa
Several approaches have been proposed to model biological systems by means of the formal techniques and tools available in computer science. To mention just a few of them, some representations are inspired by Petri Nets theory, and some other by stoc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______353::8c20f34b1fd57ba1450c5dbaef919c40
http://eprints.biblio.unitn.it/1704/
http://eprints.biblio.unitn.it/1704/