Safra-Konstruktion an einem Praefix-Lauf fuer den Automaten A_n
aus der Uebung.


Usage-Example fuer A_3:

./safra 3 12312313##213#312131# > safra.dot
dotty safra.dot