The effect of mathematical vs. verbal formulation for finite automata. - Tali Dror; Dafna Levi Rashti (ITiCSE, 2012)