Match-Bounded String Rewriting Systems - Nasa Technical Reports Server (Ntrs),Alfons Geser,Et Al
-20% with code BOOKS
Shipping in 10-16 days
30-day return policy
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, m ... Full description
You May Also Like
TOP
The Culture Map: Breaking Through the Invisible Boundaries of Global Business
-20% with code BOOKS
In stock
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-20% with code BOOKS
In stock
TOP
The Nord Stream Conspiracy: The Inside Story of the Explosions That Shook the World
-20% with code BOOKS
Out of stock
TOP
Women Who Run with the Wolves: Myths and Stories of the Wild Woman Archetype
Clarissa Pinkola Estés, Clarissa Pinkola Estes
-20% with code BOOKS
In stock at our supplier
TOP
Prisoners of Geography: Updated 10th Anniversary Edition: Ten Maps That Tell You Everything You Need To Know About Global Politics
-20% with code BOOKS
In stock at our supplier
TOP
All about Love: New Visions
-20% with code BOOKS
In stock at our supplier
TOP
Sapiens: A Brief History of Humankind
-20% with code BOOKS
In stock at our supplier
TOP
How Democracies Die
Steven Levitsky, Daniel Ziblatt
-20% with code BOOKS
In stock at our supplier
TOP
Classic Football Shirts
Classic Football Shirts, Rory Smith
-20% with code BOOKS
In stock at our supplier
TOP
The Whole-Brain Child: 12 Revolutionary Strategies to Nurture Your Child's Developing Mind
Daniel J. Siegel, Tina Payne Bryson
-20% with code BOOKS
In stock at our supplier
TOP
Everything I Know About Love: Now a Major BBC One Series
-20% with code BOOKS
In stock
TOP
Braiding Sweetgrass: Indigenous Wisdom, Scientific Knowledge and the Teachings of Plants
-20% with code BOOKS
In stock at our supplier
TOP
The Year of Magical Thinking
-20% with code BOOKS
In stock at our supplier
TOP
To Kill a Mockingbird. 60th Anniversary Edition
-20% with code BOOKS
In stock
TOP
Factfulness: Ten Reasons We're Wrong About The World - And Why Things Are Better Than You Think
Anna Rosling Rönnlund, Ola Rosling, Hans Rosling
-20% with code BOOKS
In stock at our supplier
Description
More Information
| Author | Nasa Technical Reports Server (Ntrs), Alfons Geser, Et Al |
|---|---|
| Publisher | Creative Media Partners, LLC |
| Release year | 2013 |
| Cover type | Softcover |
| EAN | 9781289263676 |