A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Multihead two-way probabilistic finite automata
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
We present properties of multihead two-way probabilistic finite automata that parallel those of their deterministic and nondeterministic counterparts. ...
Next, we represent logspace probabilistic complexity classes as proper hierarchies based on corresponding multihead two-way probabilistic finite automata, and we show their (deterministic Iogspace) reducibility ...
We prove that several relations that hold for deterministic and nondeterministic complexity classes remain true for probabilistic complexity classes as well. ...
doi:10.1007/3-540-59175-3_103
fatcat:l37vry5hunb3nk5dghikepjwia
Probabilistic Automata: System Types, Parallel Composition and Comparison
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Additionally, we discuss parallel composition for the presented types of systems, augmenting the map of probabilistic automata with closedness under this compositional operator. ...
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. ...
of parallel composition on probabilistic automata. ...
doi:10.1007/978-3-540-24611-4_1
fatcat:z7ci5kvndrdspi2nnr2xqhii3e
Page 2128 of Mathematical Reviews Vol. , Issue 83e
[page]
1983
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
This paper represents a brief survey of the author’s results on different classes of probabilistic and deterministic finite automata, comparing their computing power. ...
closure of the set of the languages recognizable by 2-type finite deterministic automata. ...
Quantum Cellular Automata Controlled Self-Organizing Networks
[chapter]
2011
Cellular Automata - Innovative Modelling for Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Using the power of quantum computation and quantum parallelism, the complexity of these structures can be decreased dramatically (Perez-Delgado and Cheung, 2005) . ...
The classical automata is deterministic and the state of the cells depends on the states of the neighbouring cells. The state of the automata is determined by the state of all its cells. ...
The self-organizing processes of the network can be modelled as many cellular automata in parallel, which permute the cells and apply the rules in parallel for many cells. ...
doi:10.5772/15750
fatcat:i6hajfibdjg4nkmn4ow5jmehuq
Page 435 of Mathematical Reviews Vol. , Issue 87a
[page]
1987
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
If we represent these automata by logic circuits, then the complexity of a proba- bilistic automaton is not less than that of a deterministic one. ...
“We show that all the known results on representation of lan- guages in finite probabilistic automata by isolated and nonisolated points of a cross-section and the zero point of the cross-section, whose ...
Page 321 of Mathematical Reviews Vol. , Issue 82a
[page]
1982
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A running time advantage over deterministic Turing machines is proved, and unimprovability of probabilistic running time is proved as well. ...
In this theorem the author gives a lower bound for the number of linear automata from which, by means of a sequential and parallel decomposition, it is possible to construct an automa- ton M that realizes ...
On the Structure of Logspace Probabilistic Complexity Classes
2000
SIAM journal on computing (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
For each log-space complexity class, we decompose it into a hierarchy based on corresponding multihead two-way nite automata and we (eventually) prove the separation of the hierarchy levels (even over ...
and one-way one-counter nite automata with probabilistic (probabilistic and nondeterministic) states. ...
The parallel relations for the settings of deterministic and nondeterministic computations can be found in Ha72]. ...
doi:10.1137/s0097539796298339
fatcat:rmejwvw7irbpllyy4f57yvkffa
Page 7116 of Mathematical Reviews Vol. , Issue 97K
[page]
1997
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
based on corresponding multihead two-way probabilistic finite automata, (iii) a deterministic logspace reduc- tion of logspace probabilistic complexity classes to the second lev- els of these hierarchies ...
—or, equivalently, from the set of rational numbers from [0, 1j}—and the probabilistic automata with transition probabilities from the set of real numbers from [0, 1]. ...
Page 1449 of Automation and Remote Control Vol. 53, Issue 9
[page]
1992
Automation and Remote Control
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In this paper, we discuss sequential and parallel identification algorithms for multidimensional deterministic CA and evaluate the complexity of identification by a Turing machine and by a systolic tree ...
Adamatskii UDC 62-501 .72:519.713
Sequential and parallel algorithms are proposed for computing the local transition table of the cells in deterministic cellular automata from a given sequence of configurations ...
Page 2375 of Mathematical Reviews Vol. , Issue 80F
[page]
1980
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Oyamaguchi, Michio; Honda, Namio 80f:68094 The decidability of equivalence for deterministic stateless pushdown automata.
Inform. and Control 38 (1978), no.3, 367-376. ...
Authors’ summary: “The language recognition abilities of several
two-dimensional tape automata are discussed from the standpoint
of tape complexities. ...
Properties of probabilistic pushdown automata
1998
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Properties of' (unbounded-error) probabilistic as well as "probabilistic plus nondeterministic" pushdown automata and auxiliary pushdown automata are studied. ...
Also, complexity lower bounds are given for the classes of languages recognized by these automata with unlimited running time. ...
Acknowledgements The first author is grateful to Eric Allender for enjoyable discussions on this topic. ...
doi:10.1016/s0304-3975(98)00059-0
fatcat:wblsfvu4urfxhj4p2vz3pjopiy
Page 1036 of Mathematical Reviews Vol. , Issue 93b
[page]
1993
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The general result: The complexity of stochastic automata needed to recognize a given language is usually below the complexity of deterministic automata needed for the same problem. ...
Peter Clote (1-BSTC-C)
93b:68060 68Q75 68Q05 68Q45 68Q70 Freivalds, RiisinS (LA-LATV) Complexity of probabilistic versus deterministic automata. ...
Page 3949 of Mathematical Reviews Vol. , Issue 92g
[page]
1992
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
, while as a complexity measure the combined complexity measure—the product of time and space—is considered. ...
Downward separation results, routine and plentiful in the litera- ture, show that the separation of classes of high complexity implies the separation of classes of low complexity. ...
Quantitative Automata under Probabilistic Semantics
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We present a complete picture of decidability for such automata, and even an almost-complete picture of computational complexity, for the probabilistic questions we consider. ...
We show that several problems that are undecidable for the classical questions of emptiness and universality become decidable under the probabilistic semantics. ...
Our results establish a sharp contrast of the decidability and complexity of the classical questions (of emptiness and universality) and the probabilistic questions for deterministic automata (see Tables ...
arXiv:1604.06764v3
fatcat:jbhgknsbtrfedlk5nfr323hryi
Space-Efficient Deterministic Simulation of Probabilistic Automata
1998
SIAM journal on computing (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The question is interesting even in the case of one-head one-way probabilistic nite automata (PFA). ...
Given a description of a probabilistic automaton (one-head probabilistic nite automaton or probabilistic Turing machine) and an input string x of length n, we ask how much space does a deterministic Turing ...
depending on the probabilistic Turing machine. ...
doi:10.1137/s0097539793253851
fatcat:afmxsmyccfd25ctwpy2mcyn6za
« Previous
Showing results 1 — 15 out of 5,186 results