This paper continues the study of measure-once finite quantum automata building on work by Bertoni, Choffrut et al. We investigate conditions ensuring that, given a language recognized by such a device and a language generated by a grammar, it is decidable whether or not they have a nonempty intersection.
On the intersection problem for quantum finite automata / Benso, Andrea; D'Alessandro, Flavio; Papi, Paolo. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 1053:(2025), pp. 1-19. [10.1016/j.tcs.2025.115454]
On the intersection problem for quantum finite automata
Flavio D'Alessandro
;Paolo Papi
2025
Abstract
This paper continues the study of measure-once finite quantum automata building on work by Bertoni, Choffrut et al. We investigate conditions ensuring that, given a language recognized by such a device and a language generated by a grammar, it is decidable whether or not they have a nonempty intersection.File allegati a questo prodotto
| File | Dimensione | Formato | |
|---|---|---|---|
|
Benso_On-the-intersection problem_2025.pdf
solo gestori archivio
Note: reprint versione pubblicata online sulla rivista
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
1.34 MB
Formato
Adobe PDF
|
1.34 MB | Adobe PDF | Contatta l'autore |
|
Benso_preprint_On-the-intersection problem_2025.pdf.pdf
accesso aperto
Tipologia:
Documento in Pre-print (manoscritto inviato all'editore, precedente alla peer review)
Licenza:
Creative commons
Dimensione
460.6 kB
Formato
Adobe PDF
|
460.6 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
