Algorithms for equivalence and reduction to minimal form for a class of simple recursive equationsReport as inadecuate




Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations - Download this document for free, or read online. Document in PDF available to download.

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.





Author: Bruno Courcelle - Gilles Kahn - Jean Vuillemin -

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



DOWNLOAD PDF




Related documents