scholarly journals The Size of One-Way Cellular Automata

2010 ◽  
Vol DMTCS Proceedings vol. AL,... (Proceedings) ◽  
Author(s):  
Martin Kutrib ◽  
Jonas Lefèvre ◽  
Andreas Malcher
Keyword(s):  
Cellular Automata ◽  
Real Time ◽  
Finite Automata ◽  
Fixed Number ◽  
Point Of View ◽  
Upper And Lower Bounds ◽  
Worst Case ◽  
Order Of Magnitude ◽  
International Audience ◽  
Number Of Cells

International audience We investigate the descriptional complexity of basic operations on real-time one-way cellular automata with an unbounded as well well as a fixed number of cells. The size of the automata is measured by their number of states. Most of the bounds shown are tight in the order of magnitude, that is, the sizes resulting from the effective constructions given are optimal with respect to worst case complexity. Conversely, these bounds also show the maximal savings of size that can be achieved when a given minimal real-time OCA is decomposed into smaller ones with respect to a given operation. From this point of view the natural problem of whether a decomposition can algorithmically be solved is studied. It turns out that all decomposition problems considered are algorithmically unsolvable. Therefore, a very restricted cellular model is studied in the second part of the paper, namely, real-time one-way cellular automata with a fixed number of cells. These devices are known to capture the regular languages and, thus, all the problems being undecidable for general one-way cellular automata become decidable. It is shown that these decision problems are $\textsf{NLOGSPACE}$-complete and thus share the attractive computational complexity of deterministic finite automata. Furthermore, the state complexity of basic operations for these devices is studied and upper and lower bounds are given.

SIMULATIONS OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATA

2014 ◽  
Vol 25 (07) ◽  
pp. 877-896 ◽  
Author(s):  
MARTIN KUTRIB ◽  
ANDREAS MALCHER ◽  
MATTHIAS WENDLANDT
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Finite Automaton ◽  
Finite Automata ◽  
Upper And Lower Bounds ◽  
Unary Languages ◽  
Order Of Magnitude ◽  
Simulation Results ◽  
Special Case ◽  
Nondeterministic Finite Automaton

We investigate the descriptional complexity of deterministic one-way multi-head finite automata accepting unary languages. It is known that in this case the languages accepted are regular. Thus, we study the increase of the number of states when an n-state k-head finite automaton is simulated by a classical (one-head) deterministic or nondeterministic finite automaton. In the former case upper and lower bounds that are tight in the order of magnitude are shown. For the latter case we obtain an upper bound of O(n2k) and a lower bound of Ω(nk) states. We investigate also the costs for the conversion of one-head nondeterministic finite automata to deterministic k-head finite automata, that is, we trade nondeterminism for heads. In addition, we study how the conversion costs vary in the special case of finite and, in particular, of singleton unary lanuages. Finally, as an application of the simulation results, we show that decidability problems for unary deterministic k-head finite automata such as emptiness or equivalence are LOGSPACE-complete.

scholarly journals Optimal Computer Crash Performance Precaution

2012 ◽  
Vol Vol. 14 no. 1 (Distributed Computing and...) ◽  
Author(s):  
Efraim Laksman ◽  
Hakan Lennerstad ◽  
Lars Lundberg
Keyword(s):  
Completion Time ◽  
Optimal Allocation ◽  
Parallel Program ◽  
Parallel Computer ◽  
Upper And Lower Bounds ◽  
Worst Case ◽  
Worst Case Ratio ◽  
International Audience ◽  
Computer Crash ◽  
The Cost

Distributed Computing and Networking International audience For a parallel computer system with m identical computers, we study optimal performance precaution for one possible computer crash. We want to calculate the cost of crash precaution in the case of no crash. We thus define a tolerance level r meaning that we only tolerate that the completion time of a parallel program after a crash is at most a factor r + 1 larger than if we use optimal allocation on m - 1 computers. This is an r-dependent restriction of the set of allocations of a program. Then, what is the worst-case ratio of the optimal r-dependent completion time in the case of no crash and the unrestricted optimal completion time of the same parallel program? We denote the maximal ratio of completion times f(r, m) - i.e., the ratio for worst-case programs. In the paper we establish upper and lower bounds of the worst-case cost function f (r, m) and characterize worst-case programs.

scholarly journals A stochastic modelling of phytoplankton aggregation

2006 ◽  
Vol Volume 5, Special Issue TAM... ◽  
Author(s):  
Nadjia El Saadi ◽  
Ovide Arino
Keyword(s):  
Differential Equation ◽  
Stochastic Partial Differential Equation ◽  
Stochastic Modelling ◽  
Point Of View ◽  
Modèle Mathématique ◽  
Initial Number ◽  
Microscopic Description ◽  
Random Dispersal ◽  
International Audience ◽  
Number Of Cells

International audience The aim of this work is to provide a stochastic mathematical model of aggregation in phytoplankton, from the point of view of modelling a system of a large but finite number of phytoplankton cells that are subject to random dispersal, mutual interactions allowing the cell motions some dependence and branching (cell division or death). We present the passage from the ''microscopic'' description to the ''macroscopic'' one, when the initial number of cells tends to infinity (large phytoplankton populations). The limit of the system is an extension of the Dawson-Watanabe superprocess: it is a superprocess with spatial interactions which can be described by a nonlinear stochastic partial differential equation. L'objectif de ce travail est de fournir un modèle mathématique stochastique qui décrit l'aggrégation du hytoplancton,à partir de la modélisation d'un système de grande taille, mais finie, de cellules de phytoplancton sujettes à une dispersion aléatoire, des interactions spatiales qui donnent aux mouvements des cellules une certaine dépendance et un branchement (division cellulaire ou mort). Nous présentons le passage de la description microscopique à une description macroscopique, lorsque le nombre de cellules devient très grand (grandes populations de phytoplancton). La limite du système est une extension du superprocessus de Dawson-Watanabe: c'est un superprocessus avec interactions qui peut être décrit par une équation aux dérivées partielles stochastique non linéaire.

Set Automata

2016 ◽  
Vol 27 (02) ◽  
pp. 187-214 ◽  
Author(s):  
Martin Kutrib ◽  
Andreas Malcher ◽  
Matthias Wendlandt
Keyword(s):  
Finite Automata ◽  
Point Of View ◽  
Storage Medium ◽  
Deterministic Finite Automaton ◽  
Closure Properties ◽  
Language Class ◽  
Trade Offs ◽  
Double Exponential ◽  
Order Of Magnitude ◽  
Context Free

We consider the model of deterministic set automata which are basically deterministic finite automata equipped with a set as an additional storage medium. The basic operations on the set are the insertion of elements, the removing of elements, and the test whether an element is in the set. We investigate the computational power of deterministic set automata and compare the language class accepted with the context-free languages and classes of languages accepted by queue automata. As result the incomparability to all classes considered is obtained. Furthermore, we examine the closure properties under several operations. Then we show that deterministic set automata may be an interesting model from a practical point of view by proving that their regularity problem as well as the problems of emptiness, finiteness, infiniteness, and universality are decidable. Finally, the descriptional complexity of deterministic and nondeterministic set automata is investigated. A conversion procedure that turns a deterministic set automaton accepting a regular language into a deterministic finite automaton is developed which leads to a double exponential upper bound. This bound is proved to be tight in the order of magnitude by presenting also a double exponential lower bound. In contrast to these recursive bounds we obtain non-recursive trade-offs when nondeterministic set automata are considered.

Worst Case Branching and Other Measures of Nondeterminism

2017 ◽  
Vol 28 (03) ◽  
pp. 195-210 ◽  
Author(s):  
Alexandros Palioudakis ◽  
Kai Salomaa ◽  
Selim G. Akl
Keyword(s):  
Blow Up ◽  
Finite Automata ◽  
Upper And Lower Bounds ◽  
Tight Bound ◽  
Worst Case ◽  
Number Of Leaves ◽  
Tree Width ◽  
Computation Trees ◽  
Finite Trace ◽  
Nondeterministic Finite Automaton

Many nondeterminism measures for finite automata have been studied in the literature. The tree width of an NFA (nondeterministic finite automaton) counts the number of leaves of computation trees as a function of input length. The trace of an NFA is defined in terms of the largest product of the degrees of nondeterministic choices in computations on inputs of given length. Branching is the corresponding best case measure based on the product of nondeterministic choices in the computation that minimizes this value. We establish upper and lower bounds for the trace of an NFA in terms of its tree width. We give a tight bound for the size blow-up of determinizing an NFA with finite trace. Also we show that the trace of any NFA either is bounded by a constant or grows exponentially.

Boosting Reversible Pushdown and Queue Machines by Preprocessing

2020 ◽  
pp. 1-29
Author(s):  
Holger Bock Axelsen ◽  
Martin Kutrib ◽  
Andreas Malcher ◽  
Matthias Wendlandt
Keyword(s):  
Real Time ◽  
Finite Automata ◽  
Point Of View ◽  
Regular Languages ◽  
Theoretical Point ◽  
Computational Power ◽  
Finite State ◽  
Finite State Transducer ◽  
Context Free ◽  
Pushdown Automata

It is well known that reversible finite automata do not accept all regular languages, that reversible pushdown automata do not accept all deterministic context-free languages, and that reversible queue automata are less powerful than deterministic real-time queue automata. It is of significant interest from both a practical and theoretical point of view to close these gaps. We here extend these reversible models by a preprocessing unit which is basically a reversible injective and length-preserving finite state transducer. It turns out that preprocessing the input using such weak devices increases the computational power of reversible deterministic finite automata to the acceptance of all regular languages, whereas for reversible pushdown automata the accepted family of languages lies strictly in between the reversible deterministic context-free languages and the real-time deterministic context-free languages. For reversible queue automata the preprocessing of the input leads to machines that are stronger than real-time reversible queue automata, but less powerful than real-time deterministic (irreversible) queue automata. Moreover, it is shown that the computational power of all three types of machines is not changed by allowing the preprocessing finite state transducer to work irreversibly. Finally, we examine the closure properties of the family of languages accepted by such machines.

scholarly journals NONDETERMINISTIC DESCRIPTIONAL COMPLEXITY OF REGULAR LANGUAGES

2003 ◽  
Vol 14 (06) ◽  
pp. 1087-1102 ◽  
Author(s):  
MARKUS HOLZER ◽  
MARTIN KUTRIB
Keyword(s):  
Finite Automata ◽  
Regular Languages ◽  
Boolean Operations ◽  
Worst Case ◽  
Descriptional Complexity ◽  
Exact Number ◽  
Nondeterministic Finite Automata ◽  
Order Of Magnitude

We investigate the descriptional complexity of operations on finite and infinite regular languages over unary and arbitrary alphabets. The languages are represented by nondeterministic finite automata (NFA). In particular, we consider Boolean operations, catenation operations – concatenation, iteration, λ-free iteration – and the reversal. Most of the shown bounds are tight in the exact number of states, i.e. the number is sufficient and necessary in the worst case. Otherwise tight bounds in the order of magnitude are shown.

MINIMIZING CONGESTION OF LAYOUTS FOR ATM NETWORKS WITH FAULTY LINKS

1999 ◽  
Vol 10 (04) ◽  
pp. 503-512 ◽  
Author(s):  
LESZEK GASIENIEC ◽  
EVANGELOS KRANAKIS ◽  
DANNY KRIZANC ◽  
ANDREZEJ PELC
Keyword(s):  
Lower Bounds ◽  
High Probability ◽  
Upper Bounds ◽  
Upper And Lower Bounds ◽  
Atm Networks ◽  
Worst Case ◽  
Precise Analysis ◽  
Order Of Magnitude ◽  
Bounded Size ◽  
Fault Distribution

We consider the problem of constructing virtual path layouts for an ATM network consisting of a complete network Kn of n processors in which a certain number of links may fail. Our main goal is to construct layouts which tolerate any configuration of up to f faults and have the least possible congestion. First, we study the minimal congestion of 1-hop f-tolerant layouts in Kn. For any positive integer f we give upper and lower bounds on this minimal congestion and construct f-tolerant layouts with congestion corresponding to the upper bounds. Our results are based on a precise analysis of the diameter of the network Kn[ℱ] which results from Kn by deleting links from a set ℱ of bounded size. Next we study the minimal congestion of h-hop f-tolerant layouts in Kn, for larger values of the number h of hops. We give upper and lower bounds on the order of magnitude of this congestion, based on results for 1-hop layouts. Finally, we consider a random, rather than worst case, fault distribution where links fail independently with constant probability p<1. Our goal now is to construct layouts with low congestion that tolerate the existing faults with high probability. For any p<1, we show the existence of 1-hop layouts in Kn, with congestion O( log n).

A novel cryptosystem based on abstract automata and Latin cubes

2015 ◽  
Vol 52 (2) ◽  
pp. 221-232
Author(s):  
Pál Dömösi ◽  
Géza Horváth
Keyword(s):  
Block Cipher ◽  
Finite Automata ◽  
Theoretical Background ◽  
Point Of View ◽  
Theoretical Point ◽  
Transition Matrices ◽  
Encryption And Decryption ◽  
Secret Keys ◽  
Automata Network ◽  
Fully Functioning

In this paper we introduce a novel block cipher based on the composition of abstract finite automata and Latin cubes. For information encryption and decryption the apparatus uses the same secret keys, which consist of key-automata based on composition of abstract finite automata such that the transition matrices of the component automata form Latin cubes. The aim of the paper is to show the essence of our algorithms not only for specialists working in compositions of abstract automata but also for all researchers interested in cryptosystems. Therefore, automata theoretical background of our results is not emphasized. The introduced cryptosystem is important also from a theoretical point of view, because it is the first fully functioning block cipher based on automata network.

Sign in / Sign up

Export Citation Format

Share Document