Zobrazeno 1 - 10
of 577
pro vyhledávání: '"Parikh image"'
Autor:
Ganty, Pierre, Gutiérrez, Elena
We compare pushdown automata (PDAs for short) against other representations. First, we show that there is a family of PDAs over a unary alphabet with $n$ states and $p \geq 2n + 4$ stack symbols that accepts one single long word for which every equiv
Externí odkaz:
http://arxiv.org/abs/1706.08315
Autor:
Bourreau, Pierre
Publikováno v:
Journal of Logic, Language, and Information, 2015 Jan 01. 24(1), 1-26.
Externí odkaz:
https://www.jstor.org/stable/24462273
Autor:
Bourreau, Pierre
Back in the 80s, the class of mildly context-sensitive formalisms was introduced so as to capture the syntax of natural languages. While the languages generated by such formalisms are constrained by the constant-growth property, the most well-known a
Externí odkaz:
http://arxiv.org/abs/1311.0632
Autor:
Lenka Turoňová, Petr Janků
Publikováno v:
Computer Aided Systems Theory – EUROCAST 2019 ISBN: 9783030450922
EUROCAST (1)
EUROCAST (1)
In this paper, we propose a refined version of the Parikh image abstraction of finite automata to resolve string length constraints. We integrate this abstraction into the string solver SLOTH, where on top of handling length constraints, our abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5dc92524f5f112b700846b856aeb5c88
https://doi.org/10.1007/978-3-030-45093-9_59
https://doi.org/10.1007/978-3-030-45093-9_59
Kniha
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:
Pierre Ganty, Elena Gutiérrez
Publikováno v:
Fundamentals of Computation Theory ISBN: 9783662557501
FCT
FCT
We compare pushdown automata (PDAs for short) against other representations. First, we show that there is a family of PDAs over a unary alphabet with \(n\) states and \(p \ge 2n + 4\) stack symbols that accepts one single long word for which every eq
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1f8e4b42c85ca0f8f403de420bdd1892
https://doi.org/10.1007/978-3-662-55751-8_22
https://doi.org/10.1007/978-3-662-55751-8_22
Conference
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.
Kniha
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:
Ciobanu, Laura, Zetzsche, Georg
Indexed languages are a classical notion in formal language theory. As the language equivalent of second-order pushdown automata, they have received considerable attention in higher-order model checking. Unfortunately, counting properties are notorio
Externí odkaz:
http://arxiv.org/abs/2405.07911