Proving Languages Are Regular