Complexity of E0L Structural Equivalence
@article{Salomaa1995ComplexityOE, title={Complexity of E0L Structural Equivalence}, author={Kai Salomaa and Derick Wood and Sheng Yu}, journal={RAIRO Theor. Informatics Appl.}, year={1995}, volume={29}, pages={471-485} }
We show that the EOL structural equivalence problem is logspace hard for deterministic exponential time. Also, we show that this question can be solved in linear space by a synchronized alternating Turing machine, and thus establish an exponential space upper bound for its complexity. The equivalence of finite tree automata is shown to be logspace reducible to context-free structural equivalence. The converse reduction is well known and thus context-free structural equivalence is complete for…
4 Citations
On Computational Complexity of Basic Decision Problems of Finite Tree Automata
- Mathematics
- 1997
This report focuses on the following basic decision problems of nite tree automata: nonemptiness and intersection nonemptiness. There is a comprehensive proof of EXPTIME-completeness of the…
Structural Equivalence and Et0l Grammars X Structural Equivalence and Et0l Grammars 1
- Linguistics
- 1996
For a given context-sensitive grammar G we construct ET0L grammars G 1 and G 2 that are structurally equivalent if and only if the language generated by G is empty, which implies that structural…
On Simultaneous Rigid E-Unification
- Mathematics
- 1997
Automated theorem proving methods in classical logic with equality that are based on the Herbrand theorem, reduce to a problem called Simultaneous Rigid E-Unification, or SREU for short. Recent dev…
References
SHOWING 1-10 OF 30 REFERENCES
Deciding Equivalence of Finite Tree Automata
- Computer ScienceSIAM J. Comput.
- 1990
For finite tree automata with coefficients in a field R, a polynomial time algorithm is given for deciding ambiguity-equivalence provided R-operations and R-tests for 0 can be performed in constant time.
Structural Equivalence and ETOL grammars
- Computer Science
- 1993
It is shown that structural equivalence is undecidable for propagating ET0L grammars even when the number of tables is restricted to be at most two, in contrast to the decidability result for the E0L case.
The Complexity of the Emptiness Problem for EOL Systems
- Computer Science
- 1992
The emptiness problem for EOL systems is shown to be computationally equivalent to the word problem of RPAC automata which are augmented with a LOGSPACE working tape and a two-way input head.
Deterministic versus Nondeterministic Space in Terms of Synchronized Alternating Machines
- MathematicsTheor. Comput. Sci.
- 1994
The Tape-Complexity of Context-Independent Developmental Languages
- Computer Science, LinguisticsJ. Comput. Syst. Sci.
- 1975
Simplifications of E0L Grammars
- Computer Science
- 1992
It is established that some simplification results for E0L grammars that preserve their structure are sufficient to solve the structural equivalence problem, but this does not hold in the context-free case.
A normal form for structurally equivalent E0L grammars
- Geology
- 1992
A normal form for structurally equivalent E0L grammars is constructed. Two E0L grammars are structurally equivalent iff the respective normal form grammars are isomorphic. This result gives also a…