Formal Language Tools for Robots
Clone or download
ndantam Refactor comparisons
* Rename macros to OR-COMPARE and OR-COMPARE-2
* Inline FIXNUM-COMPARE
Latest commit 42e8e19 Apr 23, 2013

README.md

Motion Grammar Kit

Formal Language Tools for Robots

http://golems.github.com/motion-grammar-kit

Features

  • Automata Manipulation
    • Automata Operations: union, intersection, complement
    • Regular Expressions
    • Automata Minimization
  • Supervisory Control
  • Code Generation
    • Generate C code for Regular and Context-Free LL(1) parsers.
  • Visualization
    • Generate automata diagrams with Graphviz

Usage

  • Can be used from either Common Lisp or Python
  • Common Lisp: Loadable via ASDF
  • Python: use the ./motgrampy script to start the python interpreter

Installation