Click on Aude: AUtomata DEmystifier to open the resource.