Regular expression star-freeness is PSPACE-complete
It is proved that the problem of deciding if a regular expression denotes a star-free language is PSPACE-complete. The paper also includes a new proof of the PSPACE-completeness of the finite automaton aperiodicity problem.
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
1997
|
| Sorozat: | Acta cybernetica
13 No. 1 |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12575 |
| Tartalmi kivonat: | It is proved that the problem of deciding if a regular expression denotes a star-free language is PSPACE-complete. The paper also includes a new proof of the PSPACE-completeness of the finite automaton aperiodicity problem. |
|---|---|
| Terjedelem/Fizikai jellemzők: | 1-21 |
| ISSN: | 0324-721X |