Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Confluent String Rewriting

BuchGebunden
126 Seiten
Englisch
Springererschienen am25.11.1988
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.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
BuchGebunden
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextReplacement 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.
Details
ISBN/GTIN978-3-540-13715-3
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr1988
Erscheinungsdatum25.11.1988
ReiheMonographs in Theoretical Computer Science. An EATCS Series
Seiten126 Seiten
SpracheEnglisch
Gewicht366 g
IllustrationenIX, 126 p.
Artikel-Nr.11691873

Inhalt/Kritik

Inhaltsverzeichnis
1. Basic Definitions.- 1.1 General Reduction Systems.- 1.2 String Rewriting.- 2. Decision Problems.- 2.1 Undecidability Results.- 2.2 Decidability Results.- 3. Congruential Languages Specified by Semi-Thue Systems.- 4. Complete STSs, Groups, and Monoids.- 4.1 Introduction and General Results.- 4.2 The STS S1 = {(abba, ?)}.- 5. The Special One-Relator STSs Snfor n > 1 and the Groups Gn.- 5.1 Definitions, Notation, and Characterization of Gnas a Semidirect Product.- 5.2 Matrix Representation of Gn in GL2(?).- 5.3 Normal Forms, Conjugates, and Homomorphisms.- 5.4 Commutativity and Unique Divisibility in Gn.- 5.5 Complete Presentation for Gn.- 5.6 Sn Has No Preperfect Equivalent.- 5.7 Irreducible Strings in STSs Equivalent to Sn.- References and Further Reading.mehr