Máquina de estados finitos estendida