Zobrazeno 1 - 10
of 3 792
pro vyhledávání: '"Language inclusion"'
We present a uniform approach for solving language inclusion problems. Our approach relies on a least fixpoint characterization and a quasiorder to compare words of the "smaller" language, reducing the inclusion check to a finite number of membership
Externí odkaz:
http://arxiv.org/abs/2404.09862
We propose a novel algorithm to decide the language inclusion between (nondeterministic) B\"uchi automata, a PSPACE-complete problem. Our approach, like others before, leverage a notion of quasiorder to prune the search for a counterexample by discar
Externí odkaz:
http://arxiv.org/abs/2207.13549
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:
Czerwiński, Wojciech, Hofman, Piotr
Publikováno v:
LIPIcs, 2022, 243, 16:1--16:22, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik
We consider the problems of language inclusion and language equivalence for Vector Addition Systems with States (VASSes) with the acceptance condition defined by the set of accepting states (and more generally by some upward-closed conditions). In ge
Externí odkaz:
http://arxiv.org/abs/2202.08033
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.
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:
Linda Sprague Martinez, Cristina Araujo Brinkerhoff, Riana C. Howard, James A. Feldman, Erin Kobetz, J. Tommy White, Laurene Tumiel Berhalter, Alicia Bilheimer, Megan Hoffman, Carmen R. Isasi, Cynthia Killough, Julia Martinez, Johanna Chesley, Arshiya A. Baig, Capri Foy, Nadia Islam, Antonia Petruse, Carolina Rosales, Michele D. Kipke, Lourdes Baezconde-Garbanati, Tracy A. Battaglia, Rebecca Lobb
Publikováno v:
Journal of Clinical and Translational Science, Vol 8 (2024)
The prioritization of English language in clinical research is a barrier to translational science. We explored promising practices to advance the inclusion of people who speak languages other than English in research conducted within and supported by
Externí odkaz:
https://doaj.org/article/022cab5878d848eab5d6d5e897f0d12c
We study the problem of language inclusion between finite, labeled prime event structures. Prime event structures are a formalism to compactly represent concurrent behavior of discrete systems. A labeled prime event structure induces a language of se
Externí odkaz:
http://arxiv.org/abs/1911.06355
We study the language inclusion problem $L_1 \subseteq L_2$ where $L_1$ is regular or context-free. Our approach relies on abstract interpretation and checks whether an overapproximating abstraction of $L_1$, obtained by overapproximating the Kleene
Externí odkaz:
http://arxiv.org/abs/1904.01388
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.