Match-Bounded String Rewriting Systems
โ Scribed by Alfons Geser; Dieter Hofbauer; Johannes Waldmann
- Book ID
- 105867418
- Publisher
- Springer
- Year
- 2004
- Tongue
- English
- Weight
- 228 KB
- Volume
- 15
- Category
- Article
- ISSN
- 0938-1279
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
We study the relation between time complexity and derivation work for the word problem of infinitely presented semigroups and groups. We introduce the notion of the work of a derivation (defined as the sum of the lengths of all the rules used in the derivation, with multiplicity). The following resu
This paper investigates decision problems of finite, special string-rewriting systems . There are two main results . The first one is that the word problem for a finite, special string-rewriting system T on alphabet A is reducible to its restricted version: given a word w, is w congruent to any fixe