table filling algorithm in automata