Related Books

String-Rewriting Systems
Language: en
Pages: 198
Authors: Ronald V. Book
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this
Term Rewriting Systems
Language: en
Pages: 926
Authors: Terese
Categories: Computers
Type: BOOK - Published: 2003-03-20 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete tran
Loops of Superexponential Lengths in One-rule String Rewriting
Language: en
Pages: 18
Authors: Alfons Geser
Categories:
Type: BOOK - Published: 2002 - Publisher:

DOWNLOAD EBOOK

Loops are the most frequent cause of non-termination in string rewriting. In the general case, non-terminating, non-looping string rewriting systems exist, and
Confluent String Rewriting
Language: en
Pages: 133
Authors: Matthias Jantzen
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Replacement systems, such as term rewriting systems, tree manipulat ing systems, and graph grammars, have been used in Computer Science in the context of theore
Term Graph Rewriting
Language: en
Pages: 408
Authors: M. R. Sleep
Categories: Computers
Type: BOOK - Published: 1993-06-08 - Publisher:

DOWNLOAD EBOOK

A comprehensive study and exposition on the benefits of graph and term rewriting. Contains such theoretical advances as a single pushout categorical model of gr