Ficheiro:DFAexample.svg loading ...