MATH
Login Or Sign up

List Question

15
893
Views

Use the pumping lemma to show that the language is not context-free

Published on
#computer-science #formal-languages #context-free-grammar #pumping-lemma
304
Views

Show that this language is context-free by giving a pushdown automaton

Published on
#computer-science #formal-languages #automata #context-free-grammar
182
Views

Is there a way to study formal systems in general?

Published on
#formal-languages #formal-proofs #formal-systems
340
Views

draw the pushdown automaton

Published on
#formal-languages #automata #pushdown-automata
171
Views

Union of two sets with Kleene star proof

Published on
#formal-languages
425
Views

An explicit algorithm to test whether a string of symbols is or is not well-formed in this language.

Published on
#logic #computer-science #formal-languages #parsing
40
Views

Is there an axiomatic theory for numerical methods?

Published on
#partial-differential-equations #numerical-methods #solution-verification #formal-languages
234
Views

Prove that if $z^n$ is a palindrome for some $n>0$, then $z$ is also a palindrome for any alphabet E.

Published on
#combinatorics #discrete-mathematics #formal-languages #automata #palindrome
68
Views

Show these affirmations using the context-free pumping lemma properties

Published on
#computer-science #formal-languages #context-free-grammar #pumping-lemma
121
Views

Is Language of All Binary-Digit Strings Not Containing Substring 0100 or Suffix 010 Context-Free?

Published on
#formal-languages #context-free-grammar #finite-state-machine
127
Views

Why is it enough to test only the words up to length n ( number of state) in the given algorithm for a decidability problem

Published on
#discrete-mathematics #formal-languages #automata #turing-machines #decidability
93
Views

What is the probability that a random regular expression defines the language of all binary strings $\{0, 1\}^*$?

Published on
#probability #stochastic-processes #formal-languages #regular-language #regular-expressions
79
Views

Writing CFG for Languages

Published on
#formal-languages #context-free-grammar
82
Views

Using an Infinite Universe in a Formal Langauge Structure

Published on
#logic #first-order-logic #predicate-logic #model-theory #formal-languages
139
Views

Grammar for homotopy type theory?

Published on
#formal-languages #context-free-grammar #type-theory #programming #homotopy-type-theory

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.