Computer Science Questions, Problems & Solutions : TransWikia.com ~ Page 14

Interpreting a proof of $2^mathbb{N}$ being uncountable

Suppose I have the following proof:open import Agda.Builtin.Equalityopen import Data.Nat.Basedata ⊥ : Set wheredata ? : Set where I : ? O : ?inv : ? →...

Asked on 01/07/2021 by 0xd34df00d

2 answer

2-dimensional ranking of multiple arrays

Given a fixed dimension $d$, say $d=2$ we want the following: Input: $A_1ldots A_m$: $m$ arrays of length $n$ of integers Each input array ...

Asked on 01/06/2021 by Albert Hendriks

1 answer

Lambda calculus simplification excercise

Below is the lambda expression which I am finding difficult to reduce i.e. I am not able to understand how to go about this problem. (λx.λy.yx)z (λw.w)I am lost...

Asked on 01/01/2021 by user126373

1 answer

Calculating the set field of associative cache

In this example:Assume a system’s memory has 128M words. Blocks are 64 words in lengthand the cache consists of 32K blocks. Show the format for a mainmemory address...

Asked on 01/01/2021 by user3125670

2 answer

CYK result de-transformation

Suppose we have a rules derived from a treebank.And in order to get a syntax tree of a given sentence we use the cyk algorithm.In order to use...

Asked on 12/25/2020

1 answer

Proof that "the last vertex in any postordering (in a DFS) of G lies in a source component of G"

From the book Algorithms (Jeff Erickson), there's a lemma that states:The last vertex in any postordering of G lies in a source componentof GMy initial reaction to this was...

Asked on 12/25/2020 by user126667

0 answer

Are assembly languages untyped?

I'm writing my Bsc thesis about type systems of various languages and I want to have a short section about assembly languages. Initially I thought I'll bring up assembly as...

Asked on 12/20/2020 by A. Sallai

5 answer

splitting of people betwen groups with group prioritiy list per person

Looking for an algorithm for splitting a list of people (S) into groups (G), |S| <= |G|, more than one person wants to be in a certain group.Every person...

Asked on 12/15/2020 by Gomunkul

1 answer

DFA and equivalence relation

I was studying Theory of Computation and I'm kind of lost in solving this problem.Let $R$ be a relation defined on the set of states $Q$ of a...

Asked on 12/14/2020 by Nimrod

1 answer

In an NFA, what if there are no transitions out of an accept state but there are symbols left in the string?

Let's say I have a string 0110 and after 011 I reach an accept state (let's call the accept state "q") in an NFA. However, there is no transition mentioned...

Asked on 12/14/2020 by Prms

1 answer

Ask a Question

Get help from others!

Computer Science : Recent Questions and Answers (Page 14)

Ask a Question