MATH
Login Or Sign up

List Question

15
57
Views

What is a formal statement of the Dining Philosopher's Problem?

Published on
#discrete-mathematics #computer-science
131
Views

Infimum and Supremum (of sets) - Formal Concept Analysis

Published on
#computer-science #formal-languages #formal-systems #translation-request #galois-connections
30
Views

Generalizing $n \cdot m = O(n^2) \iff m = O(n)$ to any two-variable function

Published on
#asymptotics #computer-science #computational-complexity
191
Views

Given a regular language L, prove or disprove L' is regular

Published on
#computer-science #formal-languages #automata
532
Views

How many Nerode equivalence classes does the language $x\neq y$ have?

Published on
#computer-science #formal-languages #automata
54
Views

How can I prove given language is not regular?

Published on
#computer-science #automata #regular-language
2.1k
Views

Binary Tree mathematical equation for number of internal nodes

Published on
#recurrence-relations #computer-science #searching
46
Views

proving that $a^6 \in L$ (tricky) (pumping lemma)

Published on
#computer-science #automata
688
Views

which of the following languages over $\Sigma \{0,1,\$\}$ are regular?

Published on
#computer-science #automata
80
Views

Cardinality bounds on set algebra

Published on
#elementary-set-theory #computer-science #cardinals #upper-lower-bounds
77
Views

finding equivalence classes of $R_L$ in automata(Nerode)

Published on
#computer-science #equivalence-relations #automata
191
Views

How to prove that height of a rooted tree is an invariant under isomorphism?

Published on
#discrete-mathematics #graph-theory #computer-science #trees
562
Views

Activity Selection Algorithm

Published on
#algorithms #computer-science
142
Views

building a DFA from equivalence classes of $R_L$(tricky)

Published on
#computer-science #equivalence-relations #automata
87
Views

Is there a context-free but non regular language, which still meets the requirements of the regular pumping lemma?

Published on
#discrete-mathematics #computer-science

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.