Qual diagrama de estados UML não possui erros sintáticos nem erros semânticos?