𝔖 Bobbio Scriptorium
✦   LIBER   ✦

System Presentation: An Analyser of Rewriting Systems Complexity

✍ Scribed by J.-Y. Moyen

Book ID
104444692
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
281 KB
Volume
59
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Infinite String Rewrite Systems and Comp
Infinite String Rewrite Systems and Complexity
✍ Jean-Camille Birget πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 712 KB

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