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:
“Criticism is a study by which men grow important and formidable at very small expense. The power of invention has been conferred by nature upon few, and the labour of learning those sciences which may, by mere labour, be obtained, is too great to be willingly endured; but every man can exert some judgment as he has upon the works of others; and he whom nature has made weak, and idleness keeps ignorant, may yet support his vanity by the name of critic.”
—Samuel Johnson (1709–1784)