In the literature various notions of (non-) monotonicity of restarting automata have been studied. Here we introduce two new variants of (non-) monotonicity for restarting automata and for two-way restarting automata: left (non-) monotonicity and right-left (non-) monotonicity. It is shown that for the various types of deterministic and nondeterministic (two-way) restarting automata without aux...

The stateless deterministic ordered restarting automata accept exactly the regular languages, and it is known that the trade-off for turning a stateless deterministic ordered restarting automaton into an equivalent DFA is at least double exponential. Here we present a construction that yields an equivalent NFA of size 2 from a stateless deterministic ordered restarting automaton that works on a...

In this paper we present a study of four generic strategies for solving constraint satisfaction problems (CSPs) of any kind, be they soluble or insoluble. All four methods combine learning with restarting, two use a fixed cutoff restarting strategy followed by a run to completion, the other two use universal restarting strategies where the cutoff varies from run to run. Learning takes the form ...

We introduce a new mode of operation for CD-systems of restarting automata by providing explicit enable and disable conditions in the form of regular constraints. We show that, for each CD-systemM of restarting automata and each mode m of operation considered by Messerschmidt and Otto, there exists a CD-systemM′ of restarting automata of the same type asM that, working in the new mode ed, accep...

Some lower bound results are presented that separate the language classes accepted by certain types of nonforgetting restarting automata or CD-systems of restarting automata from each other.

Jan car et al (1995) developed the restarting automaton as a formal model of certain syn-tactical aspects of natural languages. Here we mainly concentrate on the deterministic version of the restarting automaton and its variants, establishing some inclusion results for the class of Church-Rosser languages. In addition, it is shown that there is a close correspondence between various classes of ...

We present a study on lookahead hierarchies for restarting automata with auxiliary symbols and small lookahead. In particular, we show that there are just two different classes of languages recognised by RRWW automata, through the restriction of lookahead size. We also show that the respective (left-) monotone restarting automaton models characterise the context-free languages and that the resp...

Eigenvalue iterative methods, such as Arnoldi and Jacobi-Davidson, are typically used with restarting. This has signiicant performance shortcomings, since important components of the invariant subspace may be discarded. One way of saving more information at restart is the idea of \thick" restarting which keeps more Ritz vectors than needed. Our previously proposed dynamic thick restarting choos...

The Davidson method is a popular preconditioned variant of the Arnoldi method for solving large eigenvalue problems. For theoretical, as well as practical reasons the two methods are often used with restarting. Frequently, information is saved through approximated eigen-vectors to compensate for the convergence impairment caused by restarting. We call this scheme of retaining more eigenvectors ...