Regularitet og Automater