Formal Language Tools for Robots