Confluent String Rewriting
M. Jantzen
Vendido por AHA-BUCH GmbH, Einbeck, Alemania
Vendedor de AbeBooks desde 14 de agosto de 2006
Nuevos - Encuadernación de tapa dura
Condición: Nuevo
Cantidad disponible: 2 disponibles
Añadir al carritoVendido por AHA-BUCH GmbH, Einbeck, Alemania
Vendedor de AbeBooks desde 14 de agosto de 2006
Condición: Nuevo
Cantidad disponible: 2 disponibles
Añadir al carritoNeuware - Replacement systems, such as term rewriting systems, tree manipulat ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization, abstract data types, algebraic simplification, and symbolic comput ation. Replacement systems for strings arose about seventy years earlier in the area of combinatory logic and group theory. The most natural and appropriate formalism for dealing with string rewriting is the notion of a semi-Thue system and this monograph treats its central aspects. The reduction relation is here defined firstly by the direction of the rules and secondly by some metric that yields efficient algorithms. These systems are general enough to discuss the basic notions of arbitrary replacement systems, such as termination, confluence, and the Church-Rosser property in its original meaning. Confluent semi-Thue systems in which each and every derivation consists of finitely many steps only are called complete; they guarantee the existence of unique normal forms as canonical representatives of the Thue congruence classes. Each such system can be considered a nondeterministic algorithm for the word problem which works correctly without backtracking. This is often conceptually simpler and more elegant than an ad hoc construction. In many cases a replace ment system can be altered to a complete system by the Knuth-Bendix completion method.
N° de ref. del artículo 9783540137153
"Sobre este título" puede pertenecer a otra edición de este libro.
Ver la página web de la librería
Términos y Condiciones Generales e Información del Cliente / Política de Privacidad
I. Términos y Condiciones Generales
§ 1 Disposiciones básicas
(1)Los siguientes términos y condiciones se aplican a todos los contratos que celebre con nosotros como proveedor (AHA-BUCH GmbH) a través de las plataformas de Internet AbeBooks y/o ZVAB. A menos que se acuerde lo contrario, se objetará la inclusión de cualquiera de sus propios términos y condiciones utilizados por usted.
(2)Un consumidor en el sentid...
Enviamos su pedido después de recibirlos
para artículos disponibles las últimas 24 horas,
para artículos con suministro nocturno a más tardar 48 horas.
En caso de que necesitemos pedir un artículo a nuestro proveedor, nuestro tiempo de envío depende de la fecha de recepción de los artículos, pero los artículos se enviarán el mismo día.
Nuestro objetivo es enviar los artículos pedidos de la manera más rápida, pero también más eficiente y segura a nuestros clientes.
| Cantidad del pedido | De 30 a 40 días hábiles | De 7 a 14 días hábiles |
|---|---|---|
| Primer artículo | EUR 61.83 | EUR 71.83 |
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.