# Questions tagged [deterministic]

The system or program exhibits the same behavior in different runs.

**2**

votes

**1**answer

59 views

### Oracle determinism requirements and idiosyncrasies

I've been troubled by my lack of understanding about an issue that periodically emerges: Function-Determinicity.From the docs, it seems fairly clear:A DETERMINISTIC function may not have side ...

**0**

votes

**0**answers

28 views

### how to 'reset' random sequence in tensorflow

I have a graph with GBs of variables, and a random function (e.g. VAE). I'd like to be able to run a function, and always use the same random sequence (e.g. feed a large number of x, and always get ...

**1**

vote

**2**answers

58 views

### Does Actionscript have a math specification?

This Flash game has a lot of players including me and some friends. We noticed the same thing can run differently for different people. The math in the simulation is definitely to blame. Whether the ...

**0**

votes

**2**answers

64 views

### How to handle salts that can't be random? A deterministic salting strategy

Consider the following scenario:Users enter unique codes (say something like a gift card) on a website. The code corresponds to an object in the database which must be retrieved.The code is a ...

**0**

votes

**0**answers

27 views

### Chomsky Hierarchy: LRK grammars vs deterministic context free grammar

We are learning the chomsky hiearchy in my introduction to computer science course. My professor has mention lrk grammars multiple times, but they're not taught in the book. From my understanding, ...

**3**

votes

**3**answers

81 views

### How to prove decidability of a partial order inductive predicate?

ContextI am trying to define the partial order A ≤ B ≤ C with a relation le in Coq and prove that it is decidable: forall x y, {le x y} + {~le x y}.I succeeded to do it through an equivalent ...

**0**

votes

**0**answers

15 views

### What does “reading data deterministically” mean?

I am currently looking into Apache Kafka and I came across that sentence in the Kafka definitive guide. Data within Kafka is stored durably, in order, and can be read deterministically.I know a ...

**0**

votes

**1**answer

36 views

### DFA + counter with multiplication, addition, brackets

I'm looking at an exam question which says'Explain how a correctly formed arithmetic expression over variables a, b, c that contains additions, multiplication and brackets can be recognised by a DFA ...

**0**

votes

**0**answers

10 views

### Microsoft.Extensions.Caching.Distributed expired cache removal

Is the expired cache entry removal deterministic? If the cache is set to expire after x seconds, how soon is it removed from the distributed cache store after it expires?

**0**

votes

**0**answers

41 views

### Python - Convert epsilon-NFA to DFA

So, I want to convert an epsilon-NFA to DFA by taking a transition table as input from a file. I tried working with the code on this GitHub link, but it doesn't seem to be working correctly.The ...

**0**

votes

**1**answer

54 views

### Running TensorFlow layer with same input gives differing output

I am attempting to visualize the activations within a TensorFlow convolutional network. However, I seem to be getting different activations for the same input data. If I have some features and a ...

**2**

votes

**0**answers

44 views

### 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 ...

**0**

votes

**0**answers

48 views

### Deterministic Build C++ Visual Studio 2015 [duplicate]

I have added the Deterministic Flag to the project file for a C++ project, however, when I do a binary compare of the executable, there are still differences between builds with the same source code ...

**1**

vote

**1**answer

116 views

### TensorFlow - reproducing results when using dropout

I am training a neural network using dropout regularization. I save the weights and biases the network is initialized with, so that I can repeat the experiment when I get good results. However, the ...

**1**

vote

**1**answer

53 views

### SWI: Semideterminate behavior : random/3 in call/1 context?

This was my initial bump-up with the notion of determinacy in Prolog :Why does Prolog does not backtrack on comparison?I also found this discussion interesting : Has the notion of 'semidet'...