uaveiro-leci/2ano/2semestre/as/slides/tp03/AS-TP03c Estados.pdf