Ferramentas para construir autômatos finitos
