Translation from Classical Two-Way Automata to Pebble Two-Way Automata

We study the relation between the standard two-way automata and more powerful devices, namely, two-way finite automata with an additional "pebble" movable along the input tape. Similarly as in the case of the classical two-way machines, it is not known whether there exists a polynomial trade-off, in the number of states, between the nondeterministic and deterministic pebble two-way automata. However, we show that these two machine models are not independent: if there exists a polynomial trade-off for the classical two-way automata, then there must also exist a polynomial trade-off for the pebble two-way automata. Thus, we have an upward collapse (or a downward separation) from the classical two-way automata to more powerful pebble automata, still staying within the class of regular languages. The same upward collapse holds for complementation of nondeterministic two-way machines. These results are obtained by showing that each pebble machine can be, by using suitable inputs, simulated by a classical two-way automaton with a linear number of states (and vice versa), despite the existing exponential blow-up between the classical and pebble two-way machines

Coherence resonance in a network of FitzHugh-Nagumo systems: interplay of noise, time-delay and topology

We systematically investigate the phenomena of coherence resonance in time-delay coupled networks of FitzHugh-Nagumo elements in the excitable regime. Using numerical simulations, we examine the interplay of noise, time-delayed coupling and network topology in the generation of coherence resonance. In the deterministic case, we show that the delay-induced dynamics is independent of the number of nearest neighbors and the system size. In the presence of noise, we demonstrate the possibility of controlling coherence resonance by varying the time-delay and the number of nearest neighbors. For a locally coupled ring, we show that the time-delay weakens coherence resonance. For nonlocal coupling with appropriate time-delays, both enhancement and weakening of coherence resonance are possible

Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement

Recently, it has been shown that every recursively enumerable language can be generated by a scattered context grammar with no more than three nonterminals. However, in that construction, the maximal number of nonterminals simultaneously rewritten during a derivation step depends on many factors, such as the cardinality of the alphabet of the generated language and the structure of the generated language itself. This paper improves the result by showing that the maximal number of nonterminals simultaneously rewritten during any derivation step can be limited by a small constant regardless of other factors

Remarks on separating words

The separating words problem asks for the size of the smallest DFA needed to distinguish between two words of length <= n (by accepting one and rejecting the other). In this paper we survey what is known and unknown about the problem, consider some variations, and prove several new results

Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation

Directed graphs (DG), interpreted as state transition diagrams, are traditionally used to represent finite-state automata (FSA). In the context of formal languages, both FSA and regular expressions (RE) are equivalent in that they accept and generate, respectively, type-3 (regular) languages. Based on our previous work, this paper analyzes effects of graph manipulations on corresponding RE. In this present, starting stage we assume that the DG under consideration contains no cycles. Graph manipulation is performed by deleting or inserting of nodes or arcs. Combined and/or multiple application of these basic operators enable a great variety of transformations of DG (and corresponding RE) that can be seen as mutants of the original DG (and corresponding RE). DG are popular for modeling complex systems; however they easily become intractable if the system under consideration is complex and/or large. In such situations, we propose to switch to corresponding RE in order to benefit from their compact format for modeling and algebraic operations for analysis. The results of the study are of great potential interest to mutation testing

The Magic Number Problem for Subregular Language Families

We investigate the magic number problem, that is, the question whether there exists a minimal n-state nondeterministic finite automaton (NFA) whose equivalent minimal deterministic finite automaton (DFA) has alpha states, for all n and alpha satisfying n less or equal to alpha less or equal to exp(2,n). A number alpha not satisfying this condition is called a magic number (for n). It was shown in [11] that no magic numbers exist for general regular languages, while in [5] trivial and non-trivial magic numbers for unary regular languages were identified. We obtain similar results for automata accepting subregular languages like, for example, combinational languages, star-free, prefix-, suffix-, and infix-closed languages, and prefix-, suffix-, and infix-free languages, showing that there are only trivial magic numbers, when they exist. For finite languages we obtain some partial results showing that certain numbers are non-magic.Comment: In Proceedings DCFS 2010, arXiv:1008.127

Astrometric Control of the Inertiality of the Hipparcos Catalog

Based on the most complete list of the results of an individual comparison of the proper motions for stars of various programs common to the Hipparcos catalog, each of which is an independent realization of the inertial reference frame with regard to stellar proper motions, we redetermined the vector $\omega$ of residual rotation of the ICRS system relative to the extragalactic reference frame. The equatorial components of this vector were found to be the following: $\omega_x = +0.04\pm 0.15$ mas yr$^{-1}$, $\omega_y = +0.18\pm 0.12$ mas yr$^{-1}$, and $\omega_z = -0.35\pm 0.09$ mas yr$^{-1}$.Comment: 8 pages, 1 figur

Algorithms for Colourful Simplicial Depth and Medians in the Plane

The colourful simplicial depth of a point x in the plane relative to a configuration of n points in k colour classes is exactly the number of closed simplices (triangles) with vertices from 3 different colour classes that contain x in their convex hull. We consider the problems of efficiently computing the colourful simplicial depth of a point x, and of finding a point, called a median, that maximizes colourful simplicial depth. For computing the colourful simplicial depth of x, our algorithm runs in time O(n log(n) + k n) in general, and O(kn) if the points are sorted around x. For finding the colourful median, we get a time of O(n^4). For comparison, the running times of the best known algorithm for the monochrome version of these problems are O(n log(n)) in general, improving to O(n) if the points are sorted around x for monochrome depth, and O(n^4) for finding a monochrome median.Comment: 17 pages, 8 figure

A Far-Ultraviolet Survey of 47 Tucanae.II The Long-Period Cataclysmic Variable AKO 9

We present time-resolved, far-ultraviolet (FUV) spectroscopy and photometry of the 1.1 day eclipsing binary system AKO 9 in the globular cluster 47 Tucanae. The FUV spectrum of AKO 9 is blue and exhibits prominent C IV and He II emission lines. The spectrum broadly resembles that of long-period, cataclysmic variables in the galactic field. Combining our time-resolved FUV data with archival optical photometry of 47 Tuc, we refine the orbital period of AKO 9 and define an accurate ephemeris for the system. We also place constraints on several other system parameters, using a variety of observational constraints. We find that all of the empirical evidence is consistent with AKO 9 being a long-period dwarf nova in which mass transfer is driven by the nuclear expansion of a sub-giant donor star. We therefore conclude that AKO 9 is the first spectroscopically confirmed cataclysmic variable in 47 Tuc. We also briefly consider AKO 9's likely formation and ultimate evolution. Regarding the former, we find that the system was almost certainly formed dynamically, either via tidal capture or in a 3-body encounter. Regarding the latter, we show that AKO 9 will probably end its CV phase by becoming a detached, double WD system or by exploding in a Type Ia supernova.Comment: 40 pages, 11 figures, to appear in the Dec 20 issue of ApJ; minor changes to match final published versio