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)

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