Important Subclasses
The most widely-used subclass of the ω-languages is the set of ω-regular languages, which enjoy the useful property of being recognizable by Büchi automata; thus the decision problem of ω-regular language membership is decidable and fairly straightforward to compute.
Read more about this topic: Omega Language
Famous quotes containing the word important:
“The selfish man suffers more from his selfishness than he from whom that selfishness withholds some important benefit.”
—Ralph Waldo Emerson (18031882)