Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,927,172 papers from all fields of science
Search
Sign In
Create Free Account
Powerset construction
Known as:
Power set construction
, Determinization of automata
, Subset construction
Expand
In the theory of computation and automata theory, the powerset construction or subset construction is a standard method for converting a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
Automata construction
Automata theory
Büchi automaton
DFA minimization
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
S. Solovyov
2011
Corpus ID: 55894288
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage…
Expand
2004
2004
Finite state transducers for policy evaluation and conflict resolution
J. Baliosian
,
J. Serrat
Proceedings. Fifth IEEE International Workshop on…
2004
Corpus ID: 5574841
This work presents a formal framework for a policy representation model based on finite state transducers (FSTs). The main…
Expand
2003
2003
Determinization of Finite State Weighted Tree Automata
B. Borchardt
,
H. Vogler
J. Autom. Lang. Comb.
2003
Corpus ID: 16406123
We investigate the determinization of nondeterministic bottom-up/top-down finite state weighted tree automata over some semiring…
Expand
Highly Cited
1999
Highly Cited
1999
Network optimizations for large-vocabulary speech recognition
Mehryar Mohri
,
M. Riley
Speech Communication
1999
Corpus ID: 16208264
1998
1998
Efficient lattice representation and generation
F. Weng
,
A. Stolcke
,
Ananth Sankar
ICSLP
1998
Corpus ID: 4940773
In large-vocabulary, multi-pass speech recognition systems, it is desirable to generate word lattices incorporating a large…
Expand
Highly Cited
1997
Highly Cited
1997
Causal relationship between construction flows and GDP: evidence from Hong Kong
Raymond Y. C. Tse
,
S. Ganesan
1997
Corpus ID: 16545868
Granger causality methodology is used to investigate lead-lag relationships between construction activity and aggregate economy…
Expand
Highly Cited
1997
Highly Cited
1997
Weighted determinization and minimization for large vocabulary speech recognition
Mehryar Mohri
,
M. Riley
EUROSPEECH
1997
Corpus ID: 1224046
ABSTRACT Speech recognition requires solving many space and time problems that can have a critical effect on the overall system…
Expand
Highly Cited
1996
Highly Cited
1996
FSA Utilities: A Toolbox to Manipulate Finite-State Automata
Gertjan van Noord
Workshop on Implementing Automata
1996
Corpus ID: 15377079
This paper describes the FSA Utilities toolbox: a collection of utilities to manipulate finite-state automata and finite-state…
Expand
1995
1995
On Modal mu-Calculus and Büchi Tree Automata
Roope Kaivola
Information Processing Letters
1995
Corpus ID: 205001764
1990
1990
Towards the Unification of Models for Concurrency
G. Ferrari
,
U. Montanari
Colloquium on Trees in Algebra and Programming
1990
Corpus ID: 45411421
The problem of the conceptual unification of the models for concurrent and distributed systems is addressed in terms of…
Expand
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)
ACCEPT & CONTINUE