# Tagged Questions

**1**

vote

**0**answers

121 views

### Substitution semiring?

Let G be a [ CF ] grammar, and let elements of semiring be sets of rules.
Define multiplication as:
$$ x\otimes y = \{ t| \exists r \in x \exists s \in y (t=subst(r,s))\} $$
where $subst(r,s)$ ...