THE WREATH PRODUCT PRINCIPLE FOR ORDERED SEMIGROUPS

REFERENCES

• Almeida , J. and Weil , P. 1995 . Free Profinite Semigroups Over Semidirect Products, Izvestiya VUZ Matematika , 39 : 3 – 31 .
   Google Scholar
• 1995 . English Version, Russian Mathem. (Iz. VUZ.) . 39 : 1 – 28 .
   Google Scholar
• Brzozowski , J.A. and Simon , I. 1973 . Characterizations of Locally Testable Languages . Discrete Math. , 4 : 243 – 271 .
   Google Scholar
• Cohen , R.S. and Brzozowski , J.A. 1968 . On Star-free Events . Proc. Hawaii Int. Conf. on System Science, Honolulu , : 1 – 4 .
   Google Scholar
• Cohen , J. , Perrin , D. and Pin , J.-E. 1993 . On the Expressive Power of Temporal Logic . J. Comput. System Sci. , 46 : 271 – 294 .
   Web of Science ®Google Scholar
• Eilenberg , S. 1976 . Automata, Languages and Machines New York : Academic Press .
   Google Scholar
• Emery , S. 1999 . Varieties and Pseudovarieties of Ordered Normal Bands . Semigroup Forum , 58 : 348 – 366 .
   Web of Science ®Google Scholar
• Glaßer , C. and Schmitz , H. Languages of Dot-depth 3/2. Proceedings 17th Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science . Vol. 1770 , pp. 555 – 566 . Springer Verlag .
   Google Scholar
• Knast , R. 1983 . A Semigroup Characterization of Dot-depth One Languages . RAIRO Inform. The´or. , 17 : 321 – 330 .
   Web of Science ®Google Scholar
• Knast , R. 1983 . Some Theorems on Graph Congruences . RAIRO Inform. The´or. , 17 : 331 – 342 .
   Web of Science ®Google Scholar
• MCNaughton , R. 1974 . Algebraic Decision Procedures for Local Testability . Math. Syst. Theor. , 8 : 60 – 76 .
   Google Scholar
• Meyer , A.R. 1969 . A Note on Star-free Events . J. Assoc. Comput. Mach. , 16 : 220 – 225 .
   Web of Science ®Google Scholar
• Pin , J.-E. 1984 . Varie´te´s de Langages Formels Mason Paris .
   Google Scholar
• 1986 . “ English translation ” . In Varieties of Formal Languages New-York : Plenum .
   Google Scholar
• Pin , J.-E. 1995 . A Variety Theorem Without Complementation . Izvestiya VUZ Matematika , 39 : 80 – 90 .
   Google Scholar
• 1995 . English version . Russian Mathem. (Iz. VUZ) , 39 : 74 – 83 .
   Google Scholar
• Pin , J.-E. 1997 . “ Syntactic Semigroups, Chapter 10 ” . In Handbook of Formal Languages Edited by: Rozenberg , G. and Salomaa , A. Springer .
   Google Scholar
• Pin , J.-E. , Pinguet , A. and Weil , P. 2000 . Ordered Categories and Ordered Semigroups . Communications in Algebra , 30 : 5651 – 5675 .
   Web of Science ®Google Scholar
• Pin , J.-E. and Weil , P. 1997 . Polynomial Closure and Unambiguous Product . Theory Comput. Systems , 30 : 1 – 39 .
   Web of Science ®Google Scholar
• Pin , J.-E. and Weil , P. 2002 . Semidirect Products of Ordered Semigroups . Communications in Algebra , 30 : 149 – 169 .
   Web of Science ®Google Scholar
• Simon , I. Piecewise Testable EventsProc. 2nd GI Conf. Lect. Notes in Comp. Sci. 33 , pp. 214 – 222 . Berlin : Springer .
   Google Scholar
• Straubing , H. 1979 . Families of Recognizable Sets Corresponding to Certain Varieties of Finite Monoids . J. Pure Appl. Algebra , 15 : 305 – 318 .
   Google Scholar
• Straubing , H. 1985 . Finite Semigroups Varieties of the Form V∗D . J. Pure Appl. Algebra , 36 : 53 – 94 .
   Web of Science ®Google Scholar
• Straubing , H. 1989 . “ The Wreath Product and its Application ” . In Formal Properties of Finite Automata and Applications Edited by: Pin , J.-E. 15 – 24 . Berlin , Heidelberg, New York : Springer Verlag . Lect. Notes in Comp. Sci. 386
   Google Scholar
• Wilke , T. 1999 . “ Classifying Discrete Temporal Properties ” . In STACS 99 Edited by: Meinel , Ch. and Tison , S. 32 – 46 . Berlin : Springer-Verlag . Lect. Notes in Comput. Sci. 1563
   Google Scholar
• Work supported by the INTAS project 1224.
   Google Scholar
• The word “subword” is used to mean a subsequence, not a segment.
   Google Scholar
• In fact is a semigroup isomorphic to (resp. )
   Google Scholar