Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Fratani, Séverine"'
Regular nested word languages (a.k.a. visibly pushdown languages) strictly extend regular word languages, while preserving their main closure and decidability properties. Previous works have shown that considering languages of 2-nested words, i.e. wo
Externí odkaz:
http://arxiv.org/abs/2208.10347
Autor:
Fratani, Severine, Voundy, El Makki
Indexed languages are a generalization of context-free languages and form a proper subset of context-sensitive languages. We propose to generalize to indexed languages several well known characterizations of context-free languages: namely, the charac
Externí odkaz:
http://arxiv.org/abs/1409.6112
Autor:
Fratani, Séverine, Voundy, El Makki
Publikováno v:
In Information and Computation December 2019 269
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Fratani, Séverine, Voundy, El Makki
Publikováno v:
Language & Automata Theory & Applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings; 2016, p359-370, 12p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Damm, Werner, Hermanns, Holger, Bouajjani, Ahmed, Fratani, Séverine, Qadeer, Shaz
Publikováno v:
Computer Aided Verification (9783540733676); 2007, p207-220, 14p
Autor:
Voundy, El Makki
Une ligne de recherche présente dans la littérature depuis les années soixante est celle des \emph{théorèmes de représentation}. Son résultat fondateur est le théorème de Chomsky--Schützenberger qui stipule qu'un langage est algébrique si
Externí odkaz:
http://www.theses.fr/2017AIXM0249/document
Publikováno v:
Language & Automata Theory & Applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings; 2016, p617-618, 2p
This book constitutes the refereed proceedings of the 10th International Conference on Language and Automata Theory and Applications, LATA 2016, held in Prague, Czech Republic, in March 2016. The 42 revised full papers presented together with 5 invit