using state number and symbol number