Skip to main content
xavierm02's user avatar
xavierm02's user avatar
xavierm02's user avatar
xavierm02
  • Member for 11 years, 10 months
  • Last seen more than a month ago
10 votes

Collection of real world non computable programming tasks

9 votes
Accepted

unambiguous grammar that produce equal number of a and b

6 votes

What questions can denotational semantics answer that operational semantics can't?

5 votes

The 'directionality' of reductions?

5 votes
Accepted

What is the complexity for the universality problem for a NFA with all states accepting?

4 votes

What exactly is the semantic difference between set and type?

3 votes
Accepted

Shortest Path in a Graph with Interacting Edge Weights

3 votes

Is structural induction on terms applicable when a function is involved?

3 votes
Accepted

Is it possible to turn an eulerian NFA into a linear size DFA?

3 votes

Prove (non-)recursiveness of a set of Turing Machines defined by behavior

3 votes

An one-sentence proof of P ⊆ NP

2 votes
Accepted

Showing an equivalent definition of $CO-RE$

2 votes
Accepted

Pick matrices such that each partial sum is positive

2 votes

Perform Dijkstra on graph with negative edges by adding a big enough constant to every edges

2 votes
Accepted

How can primitive recursion in two variables be made to be of only one variable?

2 votes
Accepted

Data structure for testing all subsets of a query for membership

2 votes
Accepted

What is the name of this type of function composition?

2 votes

Sorting post numbers in a graph in $O(n)$ time

2 votes

Union-Find with link-by-rank to represent a binary field with simple operations

1 vote
Accepted

Semidecidability/Decidability for strings seperated by a non alphabet symbol

1 vote

What's the difference between a calculus and a programming language?

1 vote
Accepted

Best way to merge 2 max heaps into a min heap

1 vote
Accepted

Selecting optimal order of questions to minimize total time

1 vote

CFL and inverse homomorphism

1 vote
Accepted

Draw DFA that accepts concatenated binary string with condition

1 vote

Show that every definite language is accepted by a finite automaton

1 vote

An algorithm for fitting a rectangle inside a polygon

1 vote
Accepted

relation between $\forall$ and implication in intuitionistic logic using curry-howard and propositions as types

0 votes

Is there a faster algorithm for my graph problem?

0 votes
Accepted

Binary Tree Question