Skip to search formSkip to main contentSkip to account menu

Alternating finite automaton

Known as: AFA, Alternating automaton 
In automata theory, an alternating finite automaton (AFA) is a nondeterministic finite automaton whose transitions are divided into existential and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Alternating tree automataAutomata theoryAutomatonDeterministic finite automaton

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Shared backup path protection in elastic optical networks: Modeling and optimization
Elastic Optical Network (EON) architectures are considered as a very promising solution for both huge bandwidth and flexible… 
2011
2011
Hierarchical Cellular Structures in High-Capacity Cellular Communication Systems
In the prevailing cellular environment, it is important to provide the resources for the fluctuating traffic demand exactly in… 
2011
2011
Off-line algorithms for Routing, Modulation Level, and Spectrum Assignment in elastic optical networks
Optical network architectures with elastic bandwidth provisioning are a very promising approach for next generation optical… 
2009
2009
Adaptive Radio Resource Allocation Framework for Multi-User OFDM
Spectral efficiency, fairness and user satisfaction are crucial aspects for resource allocation in multi-user Orthog- onal… 
2006
2006
Architecture for autonomy
In 2002 Defence R&D Canada changed research direction from pure tele-operated land vehicles to general autonomy for land, air… 
2005
2005
Truly On-The-Fly LTL Model Checking
We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized Buchi… 
2002
2002
2ATAs make DLs easy
In this paper we demonstrate that two-way alternating automata on infinite trees (2ATAs) provide a very elegant and effective… 
Highly Cited
2001
Highly Cited
2001
A Nonparametric Test of Market (Mis-) Timing
In this paper we propose a nonparametric test for money managers' market timing ability and apply the analysis to a large sample… 
1998
1998
Implementing Reversed Alternating Finite Automaton (r-AFA) Operations
In [17], we introduced a bit-wise representation of r-AFA, which greatly improved the space efficiency in representing regular… 
1985
1985
Digenetic trematodes of marine fishes of the western and southwestern coasts of Puerto Rico.
A comprehensive study was made in coastal waters of western and southwestern Puerto Rico from 1974 to 1984 to inventory the… 
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)