What is the enlightenment I'm supposed to attain after studying finite automata?