Машина Маркова

+
набор пар для "a+b=?" -> "c"
набор пар для "a+b=?" -> "a+b=c"