MATH
Login Or Sign up

List Question

15
46
Views

Simultaneously multiple copies of each of a set of substrings of a string.

Published on
#computer-science #formal-languages #discrete-optimization
84
Views

Do these special substring sets form a matroid?

Published on
#proof-writing #algorithms #formal-languages #discrete-optimization #matroids
193
Views

Exitstance of DPA of L = $\{ww^r\}$

Published on
#formal-languages #automata
203
Views

Automata defined by group presentations.

Published on
#group-theory #soft-question #formal-languages #automata #group-presentation
127
Views

Constructing context free grammar with a number constraint to one of the elements in the language

Published on
#formal-languages #context-free-grammar #regular-expressions
2.2k
Views

Converting CFG to a regular expression

Published on
#formal-languages #regular-language #context-free-grammar #regular-expressions
198
Views

CSG for the language $\{a^{n^2}|n>0\}$

Published on
#logic #formal-languages
262
Views

If true, prove (01+0)*0 = 0(10+0)*, else provide a counter example.

Published on
#proof-verification #computer-science #formal-languages
216
Views

Proof of "Extension" for Rice's Theorem

Published on
#computability #formal-languages #turing-machines
149
Views

Prove that this sentence is a tautology.

Published on
#logic #propositional-calculus #formal-languages
91
Views

Write two models of the language

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

Write two interpretations (models) of this language

Published on
#logic #predicate-logic #formal-languages
66
Views

is there any set membership of which is not decidable in polynomial time but semidecidable in P?

Published on
#reference-request #computational-complexity #computability #formal-languages
465
Views

Intersection of two languages (Formal Languages and Automata Theory)

Published on
#formal-languages #automata
49
Views

Looking for an example of a $\mathcal{L}$-expression

Published on
#discrete-mathematics #logic #propositional-calculus #formal-languages

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.