TRS Execution Semantics
Given a set of rules and an initial term s
While ( some rules are applicable to s )
{
_ choose an applicable rule
(non-deterministic)
_ apply the rule atomically to s
}
Previous slide
Next slide
Back to first slide
View graphic version