Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,394,723 papers from all fields of science
Search
Sign In
Create Free Account
Deterministic automaton
Known as:
Deterministic computation
In computer science, a deterministic automaton is a concept of automata theory in which the outcome of a transition from one state to another is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Automata theory
Canonical LR parser
Context-sensitive language
Deterministic finite automaton
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Modeling distributed automation systems in cyber-physical view
W. Dai
,
V. Vyatkin
,
Cailian Chen
,
X. Guan
IEEE 10th Conference on Industrial Electronics…
2015
Corpus ID: 14148729
With increasing complexity of automation processes, distributed automation systems are required to meet real-time constraints of…
Expand
2014
2014
An extension of context-free grammars with one-sided context specifications
M. Barash
,
A. Okhotin
Information and Computation
2014
Corpus ID: 12262732
2012
2012
Search strategies for functional logic programming
M. Hanus
,
Björn Peemöller
,
Fabian Reck
Software Engineering
2012
Corpus ID: 12030353
In this paper we discuss our practical experiences with the use of different search strategies in functional logic programs. In…
Expand
2010
2010
On Non-Parallelizable Deterministic Client Puzzle Scheme with Batch Verification Modes
Qiang Tang
,
Arjan Jeckmans
2010
Corpus ID: 1395396
A magnetoinductive flow measuring method for measuring the flow rate of a medium flowing through a measuring tube is described…
Expand
2004
2004
On non-determinism in machines and languages
S. Grumbach
,
Z. Lacroix
Annals of Mathematics and Artificial Intelligence
2004
Corpus ID: 14599371
Non-deterministic computation is not really computation, but the difference with real computation is blurred. We study in detail…
Expand
1995
1995
Language containment of non-deterministic omega-automata
S. Tasiran
,
R. Hojati
,
R. Brayton
Conference on Correct Hardware Design and…
1995
Corpus ID: 19994234
Algorithms and techniques to determinize and complement Ω-automata with various forms of fairness constraints are investigated…
Expand
1994
1994
Two-Stage Interpretation of ICU Data Based on Fuzzy Sets
F. Steimann
,
K. Adlassnig
1994
Corpus ID: 11582189
Intelligent on-line monitoring of ICU patients requires mechanisms to detect and interpret significant patterns in theflood of…
Expand
1993
1993
Towards lazy evaluation, sharing, and non-determinism in resolution based functional logic languages
Feixiong Liu
Conference on Functional Programming Languages…
1993
Corpus ID: 16335561
Lazy evaluation and sharing are two of the most important issues in implementations of lazy functional languages. However they…
Expand
1989
1989
Probabilistic computation and linear time
L. Fortnow
,
M. Sipser
Symposium on the Theory of Computing
1989
Corpus ID: 923337
In this paper, we give an oracle under which BPP is equal to probabilistic linear time, an unusual collapse of a complexity time…
Expand
1975
1975
Various Kinds of Automata with Weights
M. Mizumoto
,
J. Toyoda
,
Kokichi Tanaka
Journal of computer and system sciences (Print)
1975
Corpus ID: 37892391
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