ex3: added state; found more symbols