Pumping Lemmata for Multiset Languages Accepted by Multiset Finite Automata With and Without Detection
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F25%3A63596938" target="_blank" >RIV/70883521:28140/25:63596938 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1063/5.0286669" target="_blank" >http://dx.doi.org/10.1063/5.0286669</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1063/5.0286669" target="_blank" >10.1063/5.0286669</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Pumping Lemmata for Multiset Languages Accepted by Multiset Finite Automata With and Without Detection
Popis výsledku v původním jazyce
Families of multiset languages accepted by deterministic multiset finite automata with detection, deterministic and nondeterministic multiset finite automata without detection differ. However, the only published pumping lemma concerning all these languages is the same. The paper describes several forms of pumping lemmata which can distinguish some of the different multiset languages.
Název v anglickém jazyce
Pumping Lemmata for Multiset Languages Accepted by Multiset Finite Automata With and Without Detection
Popis výsledku anglicky
Families of multiset languages accepted by deterministic multiset finite automata with detection, deterministic and nondeterministic multiset finite automata without detection differ. However, the only published pumping lemma concerning all these languages is the same. The paper describes several forms of pumping lemmata which can distinguish some of the different multiset languages.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2025
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
AIP Conference Proceedings
ISBN
978-0-7354-5245-9
ISSN
0094-243X
e-ISSN
1551-7616
Počet stran výsledku
4
Strana od-do
1-4
Název nakladatele
American Institute of Physics
Místo vydání
Meville
Místo konání akce
Heraklion
Datum konání akce
11. 9. 2023
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—