[OS X TeX] pushdown automata?

[Roussanka Loukanova]

Hi,

On Mon, 19 Jan 2009, Alain Schremmer wrote:
[...]
> And the winner is?

Without any claims for placement in the competition, here are two more 
options:

- gastex.sty
/usr/local$ find . -name 'gastex.sty'
./texlive/2008/texmf-dist/tex/latex/gastex/gastex.sty

<http://www.lsv.ens-cachan.fr/~gastin/gastex/gastex.html>

While I have used only the plain GasTeX, there is JasTeX, which is a 
graphical interface for GasTeX in Java (linked from the website of 
GaSTeX).

- Another possibility is to use an automata tool, like JFLAP:

<http://www.jflap.org/>

One can get the transition diagram of the needed automata, and make an 
image of it. Making modifications and new transition diagrams in JFLAP are 
rather easy, the nodes and edges can be rearranged; one can get the 
grammar, some runs on inputs, etc. Of course, the maintenance drawback 
explained by Alain exists, plus the need of downloading the JFLAP 
software.

It seems that TikZ and pstricks are the competitors for the 1st price.

Roussanka