Stack Overflow
Stack Overflow

Questions tagged [non-deterministic]

Nondeterminism refers either to a computing system where the result may be one of many specified results or to a theoretical construct in which a computing system is allowed to try many options in parallel to search for a result.

Nondeterminism has several meanings in computing. In theoretical CS, nondeterministic computations are computations that have multiple options specified at various points and allows the computing machine to choose any of them. In programming, a nondeterministic computation is one where the result may vary from run to run due to factors such as thread timing or values from external devices.

238 questions
3
votes
3 answers

How do you use the list monad to compute/represent the outcome of a non-deterministic computation?

I want to structure a computation where the context is the history of all paths leading the present (which forms a tree), and the function is the present state conditional on the past state. The function itself is non-deterministic so one past state…
xiaolingxiao
  • 4,793
  • 5
  • 41
  • 88
2
votes
2 answers

XML Schema content model is not deterministic

i have trouble with a xml schema. First I want to show you the possible cases of…
torsten
  • 453
  • 9
  • 18
2
votes
2 answers

Context sensitive language with non deterministic turing machine

how can i show a language is context sensitive with a non deterministic turing machine? i know that a language that is accepted by a Linear bound automaton (LBA ) is a context -sensitive language. And a LBA is a non-deterministic turing machine. Any…
user1004413
  • 2,509
  • 6
  • 23
  • 33
2
votes
1 answer

Click does not always work in Selenium

I use Selenium with PHPUnit, and sometimes test fail with an error condition which seems to be caused by the browser ignoring clickAndWait calls. The test execution passes the clickAndWait command without much delay (even if I set a large timeout),…
Tgr
  • 27,442
  • 12
  • 81
  • 118
2
votes
2 answers

Temporarily storing tables with variable amounts of columns

Suppose I have a hierarchical structure like this. Father ID Child ID 1 2 1 3 1 7 3 4 3 5 3 6 In my case, those are production orders, that demand from (father) or supply to (child) each other. I need to bring those orders to a…
Merlin Nestler
  • 262
  • 11
2
votes
1 answer

Non-determinism on a set defined by the characteristic function

I'm writing an implementation for a non-deterministic finite state automaton (NFA) which has the goal to accurately convey information about the state set through types, which can be reasoned through type algebra. The mathematical typing definition…
Eduardo Porto
  • 47
  • 3
2
votes
1 answer

Simulating non-deterministic choice through the List Monad

I'm trying to write an evaluation function for a language that I am working on in which non-determinism can be permitted within an if-block, called a selection block. What I'm trying to achieve is the ability to pick an if/selection statement from…
Mr.Bloom
  • 343
  • 1
  • 11
2
votes
1 answer

How can I get a deterministic topological sort in Petgraph?

I'm using Petgraph's toposort function to get a sorted list of the graph's nodes. toposort does not however guarantee that all nodes at the same level will be returned in a consistent deterministic order. Is there some other option within Petgraph…
curiousdannii
  • 1,658
  • 1
  • 25
  • 40
2
votes
0 answers

Getting non-deterministic results running EfficientnetB0/Efficinetnet-lite0 models on GPU (using tensorflow-gpu 2.2)

The following random seeds were set SEED = 1 random.seed(SEED) np.random.seed(SEED) tf.random.set_seed(SEED) The following Environmental Variables were set TRUE os.environ['TF_CUDNN_DETERMINISTIC'] = TRUE os.environ['TF_DETERMINISTIC_OPS'] =…
Bereket Sharew
  • 21
  • 2
2
votes
1 answer

Running the NonDet effect once in Polysemy

I'm relatively new to Polysemy, and I'm trying to wrap my head around how to use NonDet correctly. Specifically, let's say I've got this computation generate :: Member NonDet r => Sem r Int generate = msum $ fmap pure [0..] computation :: (Member…
Silvio Mayolo
  • 62,821
  • 6
  • 74
  • 116
2
votes
3 answers

Same program returns different outputs each time?

Every time I run the program, using the exact same values (25 for diameter and 5 for depth), I am getting different values for water_price and I'm not sure why. Some of the outcomes: $6.62256e+07 is the total cost. $0 is the total cost. $2.43411e-27…
the-wastelander
  • 57
  • 5
2
votes
1 answer

Why does the OpenCL atomic_add implementation for float produce a non-deterministic outcome?

I need to add a float to the same global memory address from within multiple threads in OpenCL. For any two simulation runs, the outcome is never identical and the calls to the atomic_add_f function are the source of this error. I'm using a Nvidia…
ProjectPhysX
  • 4,535
  • 2
  • 14
  • 34
2
votes
1 answer

Epsilon closure & automata

I think I do not quite understand the concept of epsilon transitions when determining the language of a non-deterministic automata. For example in this automata: The language is: 'A double sequence of a or a double sequence of b where there is a…
Shelly875
  • 91
  • 8
2
votes
1 answer

NFA to DFA where a state only has an epsilon transition

If when converting the NFA table to the DFA table there is a state that only as an epsilon transition, how is it converted onto the DFA table. For example if state 1 only accepts 2 in the ε column, how will it look in the DFA conversion? Transition…
Darren Phoenix
  • 21
  • 3
2
votes
1 answer

What is the difference between a deterministic and randomised consensus protocol?

I have read that in order for some distributed systems to counter the FLP impossibility result, they change from a deterministic consensus protocol to a randomised consensus protocol, which gives a probabilistic approach to the system. Can anyone…
WeCanBeFriends
  • 641
  • 1
  • 10
  • 23
1 2 3
…
15 16