The GraMa Page
What is GraMa?
GraMa will be a symbolic computation environment for pushdown
machines, context-free expressions, context-free grammars
and other formal language theory objects.
Using GraMa, one can input machines,
expressions or grammars, convert them from one form to the other,
reduce them, convert them into specified normal forms
and perform other operations.
GraMa is intended for use in teaching,
for research into the properties of grammars, and for efficient
computation with grammars and machines.
GraMa will be written in C++. It will be accessed
either through a process library or through a C++ class library.
Who's developing GraMa?
GraMa's principal researcher is:
Derick Wood (presently at the Hong Kong University of
Science and Technology)
Click here for
Derick's home page.
GraMa's other researchers are and have been Juergen Albert, Dora Giammarresi,
Jean-Luc Ponty and Djelloul Ziadi.
Where can I read more about GraMa?
Consult the GraMa publications page.
Will GraMa be free?
Yes and No.
We will not charge scholars, students, or researchers
for the use of GraMa, and we will not charge people who simply want to play
with it to satisfy their own curiosity.
But no commercial use of GraMa will be permitted without our prior, express,
written consent. No part of GraMa may be included in a commercial
product or used on a commercial problem without our prior, express,
written consent.
It's not that we have something against people
making money---we just want to make sure that those who benefit financially
from using GraMa put some small part of that benefit back into the
development and support of GraMa.
What's going on with GraMa these days?
We're looking for students to work on some interesting projects
we haven't time to do ourselves.