Given a new string re-writing (s,t) ∈ Σ * × Σ * , our goal is to predict its response y.
the training data consists of binary classes of string re-writings, and the prediction is made for the new re-writing based on learning from the training data.