maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

From: Ozan Kahramanogullari <ozan.kah AT gmail.com>
To: maude-help AT lists.cs.illinois.edu
Subject: [[maude-help] ] depth control in rewrites
Date: Sun, 3 Jan 2021 16:39:31 +0100
Authentication-results: ppops.net; spf=pass smtp.mailfrom=ozan.kah AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025

Hi,

I was wondering if there is a way to control the depth of the rewrites in a term in a system module.

For example, if I want the rewrites to happen only at the maximum depth and nowhere else. Let's say that I have a rule

f(x) -> g(x)

and I rewrite f(f(f(a))) and I want to allow only f(f(g(a))) as a solution so there will be no solution of the form f(g(f(a))) or g(f(f(a))).

Is this possible in a system module with a search query?

Thanks,

Ozan

[[maude-help] ] depth control in rewrites, Ozan Kahramanogullari, 01/03/2021
- Re: [[maude-help] ] depth control in rewrites, Francisco Durán, 01/04/2021
  - Re: [[maude-help] ] depth control in rewrites, Rubén Rafael Rubio Cuéllar, 01/04/2021