MAYBE

Problem:
 R(x,a(y)) -> R(a(x),y)
 R(x,b()) -> L(x,a(b()))
 L(a(x),y) -> L(x,a(y))
 L(b(),x) -> R(a(b()),x)

Proof:
 Open