Coinductive_Languages.Coinductive_Regular_Set