| Аннотацiя: |
Під час використання омега-регулярних виразів у задачах верифікації та синтезу реактивних систем виникає проблема доповнення цих виразів, яка пов’язана з перевіркою включення омега-регулярних мов. Для цього зазвичай омега-регулярну мову задають омега-автоматом A і будують автомат, що розпізнає доповнення омега-регулярної мови, заданої автоматом A. У статті замість омега-регулярних виразів розглянуто симетричні –омега-регулярні вирази, пов’язані з поняттям зворотного слова (омега-слова). |
