[personal profile] codedot
Configuration

<... | x = α(...y...), y = β(...x...)>

can be reduced to both

<... | x = α(...β(...x...)...)>

and

<... | y = β(...α(...y...)...)>,

which syntactically appears as a counterexample to strong confluence, while essentially representing the same configuration.

Is there a way to formalize equivalence between those two normal forms?

I think there is:

Most Popular Tags

November 2018

S M T W T F S
    123
45678 910
11121314151617
18192021222324
252627282930 
Powered by Dreamwidth Studios