Other Resources


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 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.