Skip to main content

1980 | ReviewPaper | Buchkapitel

The complexity of the inequivalence problem for regular expressions with intersection

verfasst von : Martin Fürer

Erschienen in: Automata, Languages and Programming

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

The nondeterministic lower space bound $$\sqrt n$$ of Hunt, for the problem if a regular expression with intersection describes a non-empty language, is improved to the upper bound n. For the general inequivalence problem for regular expressions with intersection the lower bound cn matches the upper bound except for the constant c. And the proof for this tight lower bound is simpler than the proofs for previous bounds. Methods developed in a result about one letter alphabets are extended to get a complete characterization for the problem of deciding if one input-expression describes a given language. The complexity depends only on the property of the given language to be finite, infinite but bounded, or unbounded.

Metadaten
Titel
The complexity of the inequivalence problem for regular expressions with intersection
verfasst von
Martin Fürer
Copyright-Jahr
1980
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/3-540-10003-2_74

Premium Partner