Skip to search formSkip to main contentSkip to account menu

Alternating Turing machine

Known as: Alternating computation, Existential state, Alternation 
In computational complexity theory, an alternating Turing machine (ATM) is a non-deterministic Turing machine (NTM) with a rule for accepting… 
Wikipedia (opens in a new tab)

Related topics

Related topics

27 relations
2-EXPTIMEAC (complexity)Boolean satisfiability problemCo-NP

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Dynamical Aspects of Macroscopic and Quantum Transitions due to Coherence Function and Time Series Events
This study presents the application of dynamical equations able to generate alternating deformations with increasing amplitude… 
Highly Cited
2009
Highly Cited
2009
TIDAL DISRUPTION, GLOBAL MASS FUNCTION, AND STRUCTURAL PARAMETER EVOLUTION IN STAR CLUSTERS
We present a unified picture for the evolution of star clusters on the two-body relaxation timescale. We use direct N-body… 
2007
2007
New Zealand's Experiment in Tax Neutrality for Retirement Saving
Reforms in the late 1980s made the New Zealand system of retirement income policies unique among developed countries. For nearly… 
2005
2005
A simple indirect field-oriented control scheme for multiconverter-fed induction motor
In multiconverter topology, several voltage-source pulsewidth modulation (PWM) inverters using common sinusoidal modulating… 
Highly Cited
1997
Highly Cited
1997
Time scale analysis of an ATM queueing system with long-range dependent traffic
Several types of network traffic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy… 
1997
1997
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
The paper presents a language of update programs that integrates logical queries, bulk updates and hypothetical reasoning in a… 
1993
1993
Internal charge‐phosphor field characteristics of alternating‐current thin‐film electroluminescent devices
The internal charge versus phosphor field (Q–Fp) technique is proposed as a method for characterization of the electrical… 
1993
1993
Efficient Use of Protocol Stacks for LAN/MAN-ATM Interworking
Connectionless (CL) services as already developed in LANs, have to interwork with emerging asynchronous transfer mode (ATM… 
1990
1990
Reversal Complexity Classes for Alternating Turing Machines
Alternating Turing machines (ATMs) with bounded number of reversals are considered. It is proved that the machines making fewer… 
1983
1983
Superlattice interface and lattice strain measurement by ion channeling
The ion-beam channeling technique has been used to characterize the interface and the first few layers of [100] GaSb/AlSb… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)