GUItar

GUItar is a visualization software tool for various types of automata (standard, weighted, pushdown, transducers, Turing machines, etc.). Its purposes include automatic and assisted diagram drawing, algorithm animation, interactive editing and export/import filters.

I-LaSer

I-LaSer is a system written by S. Konstantinidis that answers questions about regular languages and independence properties---prefix code property, suffix code property,..., error-detection and error-correction properties.

• Satisfaction question: Given language L and property P, does L satisfy P?

• Maximality question: Given language L and property P, is L maximal with respect to P? Note: in general, this is PSPACE-hard.

• To Do: Construction question: Given property P and integers N,k>0, return a language of N words of length k satisfying P.