JFLAP (poster): an aid to studying theorems in automata theory