MATH
Login Or Sign up

List Question

15
279
Views

What does it means for a metatheory to be finitary?

Published on
#logic #first-order-logic #formal-languages #meta-math
378
Views

How did Tarski show that some propositions are neither true nor false?

Published on
#logic #formal-languages #foundations
260
Views

Proving language is not regular using pumping lemma

Published on
#formal-languages #regular-language #pumping-lemma
174
Views

Prove that $(A\cup B)^\star=A^\star (BA^\star)^\star$

Published on
#computer-science #formal-languages #automata
1.8k
Views

How to find Myhill-Nerode equivalence classes, algorithmically?

Published on
#equivalence-relations #formal-languages #regular-language
2.1k
Views

Proof that $\textit{INFINITE}_{\text{DFA}}$ is decidable.(Sipser Q.4.10)

Published on
#computational-complexity #computability #formal-languages #turing-machines
651
Views

Rules of concatenation

Published on
#formal-languages
414
Views

Proofs and Metalanguage

Published on
#logic #formal-languages
295
Views

What is the Chomsky class of a language containing strings of a prime length?

Published on
#formal-languages #automata #context-free-grammar
296
Views

Size of a Language?

Published on
#measure-theory #proof-writing #formal-languages
333
Views

How do I show that this DFA accepts this string?

Published on
#discrete-mathematics #formal-languages #automata
5.1k
Views

Write a minimal DFA for the language $L = \{(ab)^n \mid n \geq 0\}$

Published on
#discrete-mathematics #formal-languages #automata #regular-language
123
Views

Regular languages: Prove $2^n + n < 2^{n+1}$ for $n \ge 1$

Published on
#number-theory #induction #formal-languages #regular-language
392
Views

If RE languages are closed under intersection, why aren't CFLs?

Published on
#computer-science #formal-languages #context-free-grammar #turing-machines
67
Views

Regular properties of a graph

Published on
#graph-theory #math-history #formal-languages #automata

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.