Title:

Term Graph Rewriting

Description:  Nutzung gemeinsamer äquivalenter Subterme, ohne diese doppelt im Speicher halten zu müssen.
Author:Florian Wilhelm
deutsch
  
ISBN: 3423050012   ISBN: 3423050012   ISBN: 3423050012   ISBN: 3423050012 
 
|<< First     < Previous     Index     Next >     Last >>|
  Wir empfehlen:       
 

Termgraph Ersetzung Von Florian T. R.Wilhelm Motivation Repräsentation von Termen als Graphen Nutzung gemeinsamer äquivalenter Subterme, ohne diese doppelt im Speicher halten zu müssen Einfaches Verfahren zur Transformation von Graphen Termersetzungssystem Terme, Ersetzungsregeln Regel l->r erfüllt die Bedingungen: 1. l ist keine einzelne Variable 2. Alle Variablen in r treten auch in l auf Verfahren: 1. Prüfen ƒÐ(l) ein Unterterm von t  ist 2. Ersetze ƒÐ(l) durch ƒÐ(r) Termgraph Hauptanforderungen an einen Graphen G: Wurzel-Elemente in G: sind von jedem Knoten aus erreichbar G ist azyklisch Jeder Knoten ist das Ergebnis einer eindeutig bestimmten Kante
  
Bürgerliches Gesetzbuch BGB: mit Allgemeinem Gleichbehandlungsgesetz, BeurkundungsG, BGB-Informationspflichten-Verordnung, Einführungsgesetz, ... Rechtsstand: 1. August 2012
Siehe auch:
Handelsgesetzbuch HGB: ohne Seehandelsrecht, mit …
Strafgesetzbuch StGB: mit Einführungsgesetz, …
Grundgesetz GG: Menschenrechtskonvention, …
Arbeitsgesetze
Basistexte Öffentliches Recht: Rechtsstand: 1. …
Aktiengesetz · GmbH-Gesetz: mit …
 
   
 
     
|<< First     < Previous     Index     Next >     Last >>| 

This web site is a part of the project StudyPaper.com.
We are grateful to Florian Wilhelm for contributing this article.

Back to the topic site:
StudyPaper.com/Startseite/Computer/Informatik/theoretische

External Links to this site are permitted without prior consent.
   
  deutsch  |  Set bookmark  |  Send a friend a link  |  Copyright ©  |  Impressum