w-reguläre [omega-reguläre] Sprachen und temporale Aussagenlogik | lit.salon