1991
DOI: 10.1016/s0020-0190(05)80006-7
|View full text |Cite
|
Sign up to set email alerts
|

A note on the space complexity of some decision problems for finite automata

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
33
0
1

Year Published

2000
2000
2016
2016

Publication Types

Select...
8
2

Relationship

0
10

Authors

Journals

citations
Cited by 52 publications
(34 citation statements)
references
References 9 publications
0
33
0
1
Order By: Relevance
“…Our construction can, for example, be used in hardware-based monitors to reduce the time needed to evaluate a block of path positions from linear to just logarithmic. The LTL path checking problem is closely related to the membership problems for the various types of regular expressions: the membership problem is in NL for regular expressions [14], in logCFL for semi-extended regular expressions [20], and P-complete for star-free regular expressions and extended regular expressions [19]. Of particular interest is the comparison to the star-free regular expressions, since they have the same expressive power as LTL on finite paths [16].…”
Section: Discussionmentioning
confidence: 99%
“…Our construction can, for example, be used in hardware-based monitors to reduce the time needed to evaluate a block of path positions from linear to just logarithmic. The LTL path checking problem is closely related to the membership problems for the various types of regular expressions: the membership problem is in NL for regular expressions [14], in logCFL for semi-extended regular expressions [20], and P-complete for star-free regular expressions and extended regular expressions [19]. Of particular interest is the comparison to the star-free regular expressions, since they have the same expressive power as LTL on finite paths [16].…”
Section: Discussionmentioning
confidence: 99%
“…The different classes of regular expressions considered here have been well studied; in particular, RE(∩) and its membership [21,23,29] and equivalence and emptiness [10,28,30] problems. Also the classes RE(#) [22,27] and RE(&) [12,24] have received interest.…”
Section: Re(#)mentioning
confidence: 99%
“…For regular expressions with intersection (RE ∩ ) (or semi-extended), several computational complexity decision problems, such as membership, equivalence and emptiness, were studied by various authors. Petersen [21] has shown that the membership problem is LOGCFL-complete, while for standard regular expressions (RE) it is NL-complete [19]. Fürer [14] has proved that inequivalence and non-empty complement are EXPSPACE-complete, which contrasts with the PSPACE-completeness of these problems for RE.…”
Section: Introductionmentioning
confidence: 99%