Talk for Automata and formal languages - CB0081 (EAFIT University 2013)