MATH
Login Or Sign up

List Question

15
288
Views

Proof by pumping lemma

Published on
#induction #automata
1.3k
Views

Prove the language $\{a^k b^l : k \neq l \}$ is not regular

Published on
#formal-languages #automata #regular-language
353
Views

CFG for language l

Published on
#automata
1k
Views

Turing machine true/false questions

Published on
#automata #turing-machines
870
Views

Context free grammar to pushdown automata...

Published on
#computer-science #automata #context-free-grammar
135
Views

Creating a Push Down Automaton from a Grammar

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

Struggling with Proof Writing. Simple question for demostration.

Published on
#proof-writing #automata #regular-language #regular-expressions
143
Views

transition graph that accepts only Λ and language a*

Published on
#formal-languages #automata
6.2k
Views

How do we prove that a particular DFA is minimal?

Published on
#automata
36
Views

Can the NFA constructs be minimized?

Published on
#automata
292
Views

Show that, given regular expression $R$, we can decide whether $L(R)$ is prefix-free

Published on
#number-theory #algorithms #automata #regular-expressions
5.3k
Views

How do we choose a good string for the pumping lemma?

Published on
#automata
1.2k
Views

Pumping Lemma for regular languages proof template

Published on
#automata #regular-language #pumping-lemma
90
Views

Pumping lemma clarifications

Published on
#automata
4.6k
Views

Proof of Equivalence of NFA and DFA, quick question about the setup

Published on
#automata #regular-language #regular-expressions

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.