Match-Bounded String Rewriting Systems

@article{Geser2004MatchBoundedSR,
  title={Match-Bounded String Rewriting Systems},
  author={Alfons Geser and Dieter Hofbauer and Johannes Waldmann},
  journal={Applicable Algebra in Engineering, Communication and Computing},
  year={2004},
  volume={15},
  pages={149-171}
}
We introduce a new class of automated proof methods for the termination of rewriting systems on strings. The basis of all these methods is to show that rewriting preserves regular languages. To this end, letters are annotated with natural numbers, called match heights. If the minimal height of all positions in a redex is h then every position in the reduct will get height h+1. In a match-bounded system, match heights are globally bounded. Using recent results on deleting systems, we prove that… CONTINUE READING
Highly Cited
This paper has 65 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

66 Citations

0510'03'06'10'14'18
Citations per Year
Semantic Scholar estimates that this publication has 66 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 35 references

Match-bounded string rewriting systems

A. Geser, D. Hofbauer, J. Waldmann
B. Rovan and P. Vojtas (Eds.), Proc. 28th Int. Symp. Mathematical Foundations of Computer Science MFCS-03, Lecture Notes in Comput. Sci. Vol. 2747, pp. 449-459. Springer-Verlag, • 2003
View 1 Excerpt

Match-bounded string rewriting systems and automated termination proofs

A. Geser, D. Hofbauer, J. Waldmann
A. Rubio (Ed.), Proc. 6th Int. Workshop on Termination WST-03, Technical Report DSIC-II/15/03, Universidad Politécnica de Valencia, Spain, pp. 19–22, • 2003
View 2 Excerpts

Jednoregu lowe systemy przepisywania s lów

W. Moczyd lowski
Masters thesis, Warsaw University, • 2002
View 2 Excerpts

Rewrite Games

RTA • 2002
View 1 Excerpt

Is Termination Decidable for String Rewriting with only One Rule? Habilitationsschrift

A. Geser
Eberhard-Karls-Universität Tübingen, Germany, • 2001
View 1 Excerpt

Similar Papers

Loading similar papers…