automatas
jflap
minimization
transformations
