Skip to search formSkip to main contentSkip to account menu

Complementation of Büchi automaton

Known as: Complementation of Buchi automaton 
In automata theory, complementation of a Büchi automaton is construction of another Büchi automaton that recognizes complement of the ω-regular… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Automata constructionAutomata theoryBüchi automatonNondeterministic finite automaton

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Oriented flip graphs of polygonal subdivisions and noncrossing tree partitions
Highly Cited
2014
Highly Cited
2014
Tense and Aspect in English Infinitives
This article investigates the temporal and aspectual composition of infinitival complementation structures in English. I show… 
2013
2013
Complementation of ditransitive verbs in South Asian Englishes: a multifactorial analysis
Abstract This paper examines parallels and differences between South Asian Englishes and British English with regard to various… 
Highly Cited
2009
Highly Cited
2009
Büchi complementation made tight
The precise complexity of complementing B\"uchi automata is an intriguing and long standing problem. While optimal… 
Highly Cited
2007
Highly Cited
2007
On (Non)Factivity, Clausal Complementation and the CP-Field
Stony Brook University Libraries. SBU Graduate School in linguistics. Lawrence Martin (Dean of Graduate School), Daniel L… 
2001
2001
In Planta - Complementation of Clavibacter Michiganensis Subsp. sepedonicus Strains Deficient in Cellulase Production or HR Induction Restores Virulence
Clavibacter michiganensis subsp. sepedonicus, a Gram positive bacterium that causes bacterial ring rot of potato, was studied in… 
2000
2000
Coreference in Annotating a Large Corpus
The Prague Dependency Treebank (PDT) is a part of the Czech National Corpus, annotated with disambiguated structural descriptions… 
1987
1987
Control Theory: A Government and Binding approach to infinitival complementation
1977
1977
Ergosterol biosynthesis inSaccharomyces cerevisiae
SummaryThermosensitive mutants, auxotrophic for ergosterol synthesis, have been isolated, analyzed genetically and their… 
1966
1966
Allelspezifische suppressormutationen vonSchizosaccharomyces pombe
By comparing the intragenic distribution of suppressor sensitive mutants in fine structure maps, 13 allele specific suppressor… 
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)