Extending the textbook: a distributed tool for learning automata theory fundamentals | IEEE Conference Publication | IEEE Xplore