Adição de estados e transições