Axiomatizing omega and omega-op powers of words
نویسندگان
چکیده
In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.
منابع مشابه
On some sets of dictionaries whose omega -powers have a given
A dictionary is a set of finite words over some finite alphabet X. The ω-power of a dictionary V is the set of infinite words obtained by infinite concatenation of words in V . Lecomte studied in [1] the complexity of the set of dictionaries whose associated ω-powers have a given complexity. In particular, he considered the sets W(Σ0k) (respectively, W(Π 0 k), W(∆ 1 1)) of dictionaries V ⊆ 2 ⋆ ...
متن کاملVarious Effects of Omega 3 and Omega 3 Plus Vitamin E Supplementations on Serum Glucose Level and Insulin Resistance in Patients with Coronary Artery Disease
BACKGROUND Omega 3 and vitamin E are two critical nutrients which include beneficial effects in coronary artery disease (CAD). The aim of this study was to assess the effects of omega 3 alone supplementation or in combination with vitamin E on serum glucose and lipid levels and insulin resistance in CAD patients. METHODS Participants of this clinical trial included 60 male patients with CAD w...
متن کاملEffects of Omega 3 and Vitamin E on Antioxidant Enzymes and Hscrp in Cad Patients
Inflammation, as a consequence of oxidative stress, is a key factor in development of cardiovascular diseases. The aim of the current study was to assess the effects of omega 3 and vitamin E supplementation on the serum level of antioxidant enzymes and hsCRP levels in CAD patients. Participants of this RC T study included 60 non-smoker male CAD patients who received 4g/day of omega 3 and vitami...
متن کامل$omega$-Operads of coendomorphisms and fractal $omega$-operads for higher structures
In this article we introduce the notion of textit{Fractal $omega$-operad} emerging from a natural $omega$-operad associated to any coglobular object in the category of higher operads in Batanin's sense, which in fact is a coendomorphism $omega$-operads. We have in mind coglobular object of higher operads which algebras are kind of higher transformations. It follows that this natural $omeg...
متن کاملOperads of higher transformations for globular sets and for higher magmas
In this article we discuss examples of fractal $omega$-operads. Thus we show that there is an $omega$-operadic approach to explain existence of the globular set of globular setsfootnote{Globular sets are also called $omega$-graphs by the French School.}, the reflexive globular set of reflexive globular sets, the $omega$-magma of $omega$-magmas, and also the reflexive $omega$-magma ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- ITA
دوره 38 شماره
صفحات -
تاریخ انتشار 2004