Regular expression star-freeness is PSPACE-complete

Bernátsky László: Regular expression star-freeness is PSPACE-complete. In: Acta cybernetica, (13) 1. pp. 1-21. (1997)

[thumbnail of cybernetica_013_numb_001_001-021.pdf]
Előnézet
Cikk, tanulmány, mű
cybernetica_013_numb_001_001-021.pdf

Letöltés (862kB) | Előnézet

Absztrakt (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.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 1997
Kötet: 13
Szám: 1
ISSN: 0324-721X
Oldalak: pp. 1-21
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38503/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:26
Utolsó módosítás: 2022. jún. 13. 15:08
URI: http://acta.bibl.u-szeged.hu/id/eprint/12575
Bővebben:
Tétel nézet Tétel nézet