1 research outputs found

    Word Problems and Confluence Problems for Restricted Semi-Thue Systems

    No full text
    We investigate word problems and conuence problems for the following four classes of terminating semi-Thue systems: lengthreducing systems, weight-reducing systems, length-lexicographic systems, and weight-lexicographic systems. For each of these four classes we determine the complexity of several variants of the word problem and confluence problem. Finally we show that the variable membership problem for quasi context-sensitive grammars is EXPSPACE-complete
    corecore