Algorithms for equivalence and reduction to minimal form for a class of simple recursive equationsReportar como inadecuado




Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique 2 Laboria - Laboratoire de recherche en informatique et en automatique 3 Parkas - Parallélisme de Kahn Synchrone DI-ENS - Département d-informatique de l-École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548 4 DI-ENS - Département d-informatique de l-École normale supérieure

Abstract : Foreword This document presents a translation for historical perspective of the paper: - B. Courcelle, G. Kahn, and J. Vuillemin. Algorithmes d- equivalence et de réduction a des expressions minimales dans une classe d- equations récursives simples, in, Jacques Loeckx, editor, Automata, Languages and Programming, volume Abstract In this paper, we describe an algorithm for deciding equivalence in a domain whose objects are defined by uninterpreted fixpoint equations. The algorithm is then applied to finding minimal representations of those objects.





Autor: Bruno Courcelle - Gilles Kahn - Jean Vuillemin -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados