|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
16th Annual IEEE Symposium on Logic in Computer Science (LICS'01)
Permutation Rewriting and Algorithmic Verification
Boston, Massachusetts
June 16-June 19
ISBN: 0-7695-1281-X
| ASCII Text | x | ||
| Ahmed Bouajjani, Anca Muscholl, Tayssir Touili, "Permutation Rewriting and Algorithmic Verification," Logic in Computer Science, Symposium on, pp. 0399, 16th Annual IEEE Symposium on Logic in Computer Science (LICS'01), 2001. | |||
| BibTex | x | ||
| @article{ 10.1109/LICS.2001.932515, author = {Ahmed Bouajjani and Anca Muscholl and Tayssir Touili}, title = {Permutation Rewriting and Algorithmic Verification}, journal ={Logic in Computer Science, Symposium on}, volume = {0}, year = {2001}, isbn = {0-7695-1281-X}, pages = {0399}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2001.932515}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Logic in Computer Science, Symposium on TI - Permutation Rewriting and Algorithmic Verification SN - 0-7695-1281-X SP EP A1 - Ahmed Bouajjani, A1 - Anca Muscholl, A1 - Tayssir Touili, PY - 2001 VL - 0 JA - Logic in Computer Science, Symposium on ER - | |||
Abstract: We propose a natural subclass of regular languages (Alphabetic Pattern Constraints, APC) which is effectively closed under permutation rewriting, i.e., under iterative application of rules of the form ab \rightarrow ba. It is well-known that regular languages do not have this closure property, in general. Our result can be applied for example to regular model checking, for verifying properties of parametrized linear networks of regular processes, and for modeling and verifying properties of asynchronous distributed systems. We also consider the complexity of testing membership in APC and show that the question is complete for PSPACE when the input is an NFA, and complete for NLOGSPACE when it is a DFA. Moreover, we show that both the inclusion problem and the question of closure under permutation rewriting are PSPACE-complete when we restrict to the class APC.
Citation:
Ahmed Bouajjani, Anca Muscholl, Tayssir Touili, "Permutation Rewriting and Algorithmic Verification," lics, pp.0399, 16th Annual IEEE Symposium on Logic in Computer Science (LICS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.
