2015 | OriginalPaper | Buchkapitel
Over-Approximating Terms Reachable by Context-Sensitive Rewriting
verfasst von : Nirina Andrianarivelo, Pierre Réty
Erschienen in: Reachability Problems
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
For any left-linear context-sensitive term rewrite system and any regular language of ground terms
I
, we build a finite tree automaton that recognizes a superset of the descendants of
I
, i.e. of the terms reachable from
I
by context-sensitive rewriting.