presented at event 27th International Symposium on Mathematical Foundations of Computer Science Conference
keywords Computer Science Computer Science, Theory & Methods DERIVATIVES REGULAR EXPRESSIONS Science & Technology Technology algorithms follow relations invariant equivalences nondeterministic finite automata partial derivatives positions quotients regular expressions