Learn More
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(More)
A new string-matching algorithm is presented, which can be viewed as an intermediate between the classical algorithms of Knuth, Morris, and Pratt on the one hand and Boyer and Moore, on the other hand. The algorithm is linear in time and uses constant space as the algorithm of Galil and Seiferas. It presents the advantage of being remarkably simple which(More)
The interest in understanding healthy aging has prompted scientist to look for animal models presenting this feature. Lou/C rats, an inbred strain of Wistar origin, is an animal model of successful aging with a longer lifespan and preserved memory capacities than most laboratory rat strains. In an attempt to shed light on this remarkable aging feature, we(More)
Non-competitive N-methyl-d-aspartate (NMDA) blockers induce schizophrenic-like behavior in healthy volunteers and exacerbate symptomatology in schizophrenic patients. Hence, a compound able to enhance NMDA neurotransmission by increasing levels of d-serine, an endogenous full agonist at the glycine site of the NMDA receptors, could have anti-psychotic(More)