Automatos da linguagem C Shark