Keywords
Lemma (botany)Simple (philosophy)AutomatonAutomata theoryNondeterministic algorithmQuantum finite automataDiscrete mathematicsNondeterministic finite automatonMobile automatonFinite-state machineω-automatonMathematicsComputer scienceDeterministic finite automatonDFA minimizationCombinatoricsAlgorithmTheoretical computer science
Affiliated Institutions
Related Publications
An Algorithm for the General Petri Net Reachability Problem
An algorithm is presented for the general Petri net reachability problem. It is based on a generalization of the basic reachability tree construction which is made symmetric wit...
Robust uncertainty principles: exact signal reconstruction from highly incomplete frequency information
This paper considers the model problem of reconstructing an object from incomplete frequency samples. Consider a discrete-time signal f ∈ C N and a randomly chosen set of freque...
A linear space algorithm for computing maximal common subsequences
The problem of finding a longest common subsequence of two strings has been solved in quadratic time and space. An algorithm is presented which will solve this problem in quadra...
Low-density parity-check codes
A low-density parity-check code is a code specified by a parity-check matrix with the following properties: each column contains a small fixed number <tex xmlns:mml="http://www....
Consensus and Cooperation in Networked Multi-Agent Systems
<para xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> This paper provides a theoretical framework for analysis of consensus algorithms...
Publication Info
- Year
- 1974
- Type
- article
- Volume
- 8
- Issue
- 2
- Pages
- 117-141
- Citations
- 208
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
208
OpenAlex
6
Influential
158
CrossRef
Cite This
Yaacov Choueka
(1974).
Theories of automata on ω-tapes: A simplified approach.
Journal of Computer and System Sciences
, 8
(2)
, 117-141.
https://doi.org/10.1016/s0022-0000(74)80051-6
Identifiers
- DOI
- 10.1016/s0022-0000(74)80051-6