Text this: Migrating teaching of automata theory to a digital platform