Omega-regular languages