On Selective Unboundedness of VASS
Numerous properties of vector addition systems with states amount to checking the (un)boundedness of some selective feature (e.g., number of reversals, run length). Some of these features can be checked in exponential space by using Rackoff's proof or its variants, combined with Savitch's theorem. H...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Open Publishing Association
2010-10-01
|
| Col·lecció: | Electronic Proceedings in Theoretical Computer Science |
| Accés en línia: | http://arxiv.org/pdf/1011.0217v1 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|