-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy pathREADME
More file actions
29 lines (25 loc) · 785 Bytes
/
README
File metadata and controls
29 lines (25 loc) · 785 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
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
============
* Binaries are available at http://code.golems.org/pkg/mgk/core
* See the `INSTALL` file for detailed instructions
* You can run the test cases with `make check`