Is Morse code binary, ternary or quinary?

I am reading the book: "Code: The Hidden Language of Computer Hardware and Software" and in Chapter 2 author says:Morse code is said to be a binary (literally meaning two by two) code | Continue reading


@cs.stackexchange.com | 1 year ago

Recovering Individual from Genomes of Relatives

I've been thinking recently about the Golden State Killer case, in which a crime was solved by comparing a killer's DNA sample with known samples in a public genetic database. The cousin of the kil... | Continue reading


@cs.stackexchange.com | 2 years ago

Can you create mind in a computer?

Asking this to read how others have theories about this. and I think we cannot. | Continue reading


@cs.stackexchange.com | 2 years ago

Ranking messages on social media platforms

People are always talking about "the algorithm" for social media platforms like Facebook and Twitter but I haven't yet seen a good explanation of what exactly these algorithms are actually | Continue reading


@cs.stackexchange.com | 2 years ago

Are modern programming languages context-free?

Which language class is today's modern programming languages like Java, JavaScript, and Python in?If they are not context-free and not regular language?Are these programming languages context-sen... | Continue reading


@cs.stackexchange.com | 2 years ago

Why can't we mimic a dog's ability to smell Covid?

As far as I can tell, we have invented tools and algorithm to:Detect a wider range of colors at a larger range than humans or any other animals on the planetDetect sound with wavelengths inacces... | Continue reading


@cs.stackexchange.com | 3 years ago

Why can't we mimic a dog's ability to smell Covid?

As far as I can tell, we have invented tools and algorithm to:Detect a wider range of colors at a larger range than humans or any other animals on the planetDetect sound with wavelengths inacces... | Continue reading


@cs.stackexchange.com | 3 years ago

Computer Security Versions of the Halting Problem

I'm plenty familiar with the Halting Problem for Turing Machines. It occurred to me after reading several posts on this site that it would be interesting, educational and useful to start a list of | Continue reading


@cs.stackexchange.com | 3 years ago

Why doesn't this quine-less language contradict Kleene's recursion theorem?

Kleene's recursion theorem implies that every Turing complete programming language that satisfies certain properties have quines. This website claims that this is incorrect, and that there is a Tur... | Continue reading


@cs.stackexchange.com | 3 years ago

Is C Turing-Complete?

I was trying to explain to someone that C is Turing-complete, and realized that I don't actually know if it is, indeed, technically Turing-complete. (C as in the abstract semantics, not as in an ac... | Continue reading


@cs.stackexchange.com | 3 years ago

What is the difference between boolean algebra and propositional logic?

There is a lot of similarity between Propositional logic and Boolean algebraic expressions.Similar aspects : 1) Both has variables of two states.2) Operations of Boolean algebra and propositi... | Continue reading


@cs.stackexchange.com | 3 years ago

Decision Procedure vs. SMT solver vs. Theorem prover vs. Constraint solver

Continue reading


@cs.stackexchange.com | 3 years ago

Why are so many internet protocols text-based?

From what I have found, a very large amount of protocols that travel over the internet are "text-based" rather than binary. The protocols in question include, but are not limited to HTTP, SMTP, FTP... | Continue reading


@cs.stackexchange.com | 4 years ago

What Are GPUs Bad At?

I understand that GPUs are generally used to do LOTS of calculations in parallel. I understand why we would want to parallelize processes in order to speed things up. However, GPUs aren't always be... | Continue reading


@cs.stackexchange.com | 4 years ago

Mapping N Turing Machines (“K-Tape”) – Into a Single-Tape Turing Machine

I'm reading Sipser and I'm finding it hard to understand what the process is such that if you give me k Turing machines with k tapes, I can spit out an equivalent Turing machine with only one tape.... | Continue reading


@cs.stackexchange.com | 4 years ago

Why is quicksort better than other sorting algorithms in practice?

In a standard algorithms course we are taught that quicksort is $O(n \log n)$ on average and $O(n^2)$ in the worst case. At the same time, other sorting algorithms are studied which are $O(n \log n... | Continue reading


@cs.stackexchange.com | 4 years ago

Will the future quantum computers use the binary, ternary numeral system?

Our current computers use bits, so they use the binary numeral system. But I heard that the future quantum computers will use qubits instead of simple bits.Since in the word "qubit" there is the ... | Continue reading


@cs.stackexchange.com | 4 years ago

Can terms “interpreter” and “processor” be used interchangeably?

I do not ask you to respect that the processor is a physical black box whereas interpreter implementation is not that clear. As CS, you must look at the functionality aspect -- both processor (phys... | Continue reading


@cs.stackexchange.com | 4 years ago

FSM vs. FSA

I have used FSM in Digital sequential Circuit designs. But I am unfamiliar with Finite Automata. Can somebody help me in understanding 'basic' difference between the two ? | Continue reading


@cs.stackexchange.com | 4 years ago

Is legislation NP-complete?

I would like to know if there has been any work relating legal code to complexity. In particular, suppose we have the decision problem "Given this law book and this particular set of circumstances,... | Continue reading


@cs.stackexchange.com | 5 years ago

How does an operating system create entropy for random seeds?

On Linux, the files /dev/random and /dev/urandom files are the blocking and non-blocking (respectively) sources of pseudo-random bytes. They can be read as normal files:$ hexdump /dev/random00... | Continue reading


@cs.stackexchange.com | 5 years ago