Software-Synthesis via LL ( * ) for Context-Free Robot Programs