Results 1  10
of
193
A Variety Theorem Without Complementation.
, 1995
"... this paper is to show that such results are not isolated, but are instances of a result as general as Eilenberg's theorem. On the language side, we consider positive varieties of languages, which have the same properties as varieties of languages except they are not supposed to be closed under ..."
Abstract

Cited by 73 (26 self)
 Add to MetaCart
this paper is to show that such results are not isolated, but are instances of a result as general as Eilenberg's theorem. On the language side, we consider positive varieties of languages, which have the same properties as varieties of languages except they are not supposed to be closed under complement. On the algebraic side, varieties of finite semigroups are replaced by varieties of finite ordered semigroups. Our main result states there is a onetoone correspondence between positive varieties of languages and varieties of finite ordered semigroups. Due to the lack of space, we shall just give a few examples of this correspondence and defer to future papers the detailed study of our new types of varieties. For instance, P. Weil and the author have shown that the theorems of Birkhoff and Reiterman can be extended to ordered semigroups by replacing equations by inequations
Ash's type II theorem, profinite topology and Malcev products Part I
"... This paper is concerned with the many deep and far reaching consequences of Ash's positive solution of the type II conjecture for finite monoids. After rewieving the statement and history of the problem, we show how it can be used to decide if a finite monoid is in the variety generated by t ..."
Abstract

Cited by 47 (10 self)
 Add to MetaCart
This paper is concerned with the many deep and far reaching consequences of Ash's positive solution of the type II conjecture for finite monoids. After rewieving the statement and history of the problem, we show how it can be used to decide if a finite monoid is in the variety generated by the Malcev product of a given variety and the variety of groups. Many interesting varieties of finite monoids have such a description including the variety generated by inverse monoids, orthodox monoids and solid monoids. A fascinating case is that of block groups. A block group is a monoid such that every element has at most one semigroup inverse. As a consequence of the cover conjecture  also verified by Ash  it follows that block groups are precisely the divisors of power monoids of finite groups. The proof of this last fact uses earlier results of the authors and the deepest tools and results from global semigroup theory. We next give connections with the profinite group topologies on finitely generated free monoids and free groups. In particular, we show that the type II conjecture is equivalent with two other conjectures on the structure of closed sets (one conjecture for the free monoid and another one for the free group). Now Ash's theorem implies that the two topological conjectures are true and independently, a direct proof of the topological conjecture for the free group has been recently obtained by Ribes and Zalesskii. An important consequence is that a rational subset of a finitely generated free group G is closed in the profinite topology if and only if it is a finite union of sets of the form gH 1 H 2 \Delta \Delta \Delta Hn , where each H i is a finitely generated subgroup of G. This significantly extends classical results by M. Hall. Final...
On the Expressive Power of Temporal Logic
 J. COMPUT. SYSTEM SCI
, 1993
"... We study the expressive power of linear propositional temporal logic interpreted on finite sequences or words. We first give a transparent proof of the fact that a formal language is expressible in this logic if and only if its syntactic semigroup is finite and aperiodic. This gives an effective ..."
Abstract

Cited by 47 (4 self)
 Add to MetaCart
We study the expressive power of linear propositional temporal logic interpreted on finite sequences or words. We first give a transparent proof of the fact that a formal language is expressible in this logic if and only if its syntactic semigroup is finite and aperiodic. This gives an effective algorithm to decide whether a given rational language is expressible. Our main result states a similar condition for the "restricted" temporal logic (RTL), obtained by discarding the "until" operator. A formal language is RTLexpressible if and only if its syntactic semigroup is finite and satisfies a certain simple algebraic condition. This leads
Polynomial closure and unambiguous product
 Theory Comput. Systems
, 1997
"... This paper is a contribution to the algebraic theory of recognizable languages. The main topic of this paper is the polynomial closure, an operation that mixes together the operations of union and concatenation. Formally, the polynomial closure of a class of languages L of A ∗ is the set of language ..."
Abstract

Cited by 46 (6 self)
 Add to MetaCart
This paper is a contribution to the algebraic theory of recognizable languages. The main topic of this paper is the polynomial closure, an operation that mixes together the operations of union and concatenation. Formally, the polynomial closure of a class of languages L of A ∗ is the set of languages
Finite semigroups and recognizable languages: an introduction
, 2002
"... This paper is an attempt to share with a larger audience some modern developments in the theory of finite automata. It is written for the mathematician who has a background in semigroup theory but knows next to nothing on automata and languages. No proofs are given, but the main results are illustra ..."
Abstract

Cited by 32 (8 self)
 Add to MetaCart
This paper is an attempt to share with a larger audience some modern developments in the theory of finite automata. It is written for the mathematician who has a background in semigroup theory but knows next to nothing on automata and languages. No proofs are given, but the main results are illustrated by several examples and counterexamples. What is the topic of this theory? It deals with languages, automata and semigroups, although recent developments have shown interesting connections with model theory in logic, symbolic dynamics and topology. Historically, in their attempt to formalize natural languages, linguists such as Chomsky gave a mathematical definition of natural concepts such as words, languages or grammars: given a finite set A, a word on A is simply an element of the free monoid on A, and a language is a set of words. But since scientists are fond of classifications of all sorts, language theory didn’t escape to this mania. Chomsky established a first hierarchy, based on his formal grammars. In this paper, we are interested in the recognizable languages, which form the lower level of the
Tropical Semirings
"... this paper is to present other semirings that occur in theoretical computer science. These semirings were baptized tropical semirings by Dominique Perrin in honour of the pioneering work of our brazilian colleague and friend Imre Simon, but are also commonly known as (min; +)semirings ..."
Abstract

Cited by 31 (0 self)
 Add to MetaCart
this paper is to present other semirings that occur in theoretical computer science. These semirings were baptized tropical semirings by Dominique Perrin in honour of the pioneering work of our brazilian colleague and friend Imre Simon, but are also commonly known as (min; +)semirings
Superlinear lower bounds for boundedwidth branching programs.
 J. Comput. Syst. Sci.
, 1995
"... ..."