你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Match-Bounded String Rewriting Systems
Type
Physical Book
Author
Publisher
Language
English
Pages
26
Format
Paperback
Dimensions
24.6 x 18.9 x 0.1 cm
Weight
0.07 kg.
ISBN13
9781289263676
Categories

Match-Bounded String Rewriting Systems

Nasa Technical Reports Server (Ntrs) (Author) · Alfons Geser (Author) · Bibliogov · Paperback

Match-Bounded String Rewriting Systems - Geser, Alfons ; Nasa Technical Reports Server (Ntrs) ; Et Al

New Book Imported to Taiwan
Delivery: 25 Sep - 08 Oct Shipping: 16 to 20 business days.
NT$ 919
NT$ 919

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Match-Bounded String Rewriting Systems"

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+1 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 rewriting by a match-bounded system preserves regular languages. Hence it is decidable whether a given rewriting system has a given match bound. We also provide a sufficient criterion for the abence of a match-bound. The problem of existence of a match-bound is still open. Match-boundedness for all strings can be used as an automated criterion for termination, for match-bounded systems are terminating. This criterion can be strengthened by requiring match-boundedness only for a restricted set of strings, for instance the set of right hand sides of forward closures.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews