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

0
votes
0answers
18 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
3answers
66 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
0answers
12 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
1answer
28 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
0answers
8 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
0answers
25 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
1answer
46 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
0answers
28 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
0answers
31 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
1answer
50 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
1answer
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'...
1
vote
3answers
102 views

Ruby/Rails: How to get same encrypted value every time we encrypt a particular string

Does ActiveSupport::MessageEncryptor support deterministic encryption so that we get the same encrypted value every time we encrypt a particular string? If not, are there any other Ruby libs that ...
2
votes
1answer
59 views

Pymc3 python function to deterministic

In this notebook from Bayesian Methods for Hackers, they create a Deterministic variable from a python function as such:# from code line 9 in the notebook@pm.deterministicdef lambda_(tau=tau, ...
0
votes
0answers
49 views

How to make a Non-Deterministic function deterministic? [duplicate]

I am trying to understand why my function is non-deterministic. I want to place this function on a computed column and Index on it. SQL complains that it is non deterministic.ALTER FUNCTION [dbo].[...
3
votes
4answers
67 views

Is Java's PriorityQueue Instable or Nondeterministic or both?

I was running through Java's documentation for its PriorityQueue and ran across an important note:If multiple elements are tied for least value, the head is one ofthose elements -- ties are ...

153050per page
angop.ao, elkhabar.com, noa.al, afghanpaper.com, bbc.com, time.com, cdc.gov, nih.gov, xnxx.com, github.com,