Omega-regular Language Website Links For
Language 		 

Information About

Omega-regular Language
  CATEGORIES ABOUT OMEGA-REGULAR LANGUAGE
   
formal languages
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...




FORMAL DEFINITION

  • if ''A'' is a Regular Language , then ''A''ω is an omega-regular language

  • if ''A'' is a Regular Language , and ''B'' is an omega-regular language, then their Concatenation ''AB'' is an omega-regular language.(Note that ''BA'' is ''not'' well-defined.)

  • if ''A'', ''B'' are omega-regular languages, then their Intersection ''A''∩''B'', and Union ''A''∪''B'' are omega-regular.

  • if ''A'' is an omega-regular language, then so is its Complement (Σω - ''A'').


Every omega-language is accepted by a nondeterministic Büchi Automaton ; the translation is constructive. An omega-language can also be described as an expression in Linear Temporal Logic (LTL).