MATH
Login Or Sign up

List Question

15
608
Views

What kind of problem is the membership problem of a recursive enumerable language?

Published on
#computer-science #computability #formal-languages #turing-machines
160
Views

Is a TM with oracle also a TM?

Published on
#computer-science #computability #formal-languages #turing-machines #oracles
1.2k
Views

How to prove that the language L={w1#w2#. . .#wk: k ≥ 2, each wi ∈ {0,1}^* , and wi = wj for some i !=j} is not context free using the pumping lemma?

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

What is a mathematically rigorous treatment of "sentences", "words" and "language"?

Published on
#elementary-set-theory #soft-question #formal-languages #regular-language
237
Views

How are the values of a function expressed in the formal language of ZFC set theory?

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

What does category theory have to say about formal grammar theory?

Published on
#category-theory #formal-languages
142
Views

Does string substitution have a definition, similar to the one for string homomorphism in terms of monoid morphism of the free monoid?

Published on
#computer-science #formal-languages #monoid
187
Views

Does closure under concatenation imply closure under Kleene and positive closures?

Published on
#computer-science #formal-languages
288
Views

Is an alphabet necessarily a regular language over it?

Published on
#computer-science #formal-languages #regular-expressions
255
Views

Why can regular expressions be defined without mentioning closure under intersection with regular sets, homorphisms, and inverse of homomorphisms?

Published on
#computer-science #formal-languages #regular-language #regular-expressions
288
Views

Does the language of the propositional calculus belong to some type of languages in Chomsky hierarchy (regular, CFL, CSL, recursive, r.e.)?

Published on
#logic #computer-science #propositional-calculus #formal-languages
26
Views

What are the critera for a family of languages to qualify as a type of language in Chomsky hierarchy?

Published on
#computer-science #formal-languages
120
Views

Do lookahead and lookbehind in regex come from some type of formal languages?

Published on
#formal-languages #regular-expressions
222
Views

What is the identity in the power set of $\Sigma^*$ as a monoid?

Published on
#computer-science #formal-languages #monoid
80
Views

Does the family of languages outputted by finite automata exactly form some type of languages in Chomsky hierarchy?

Published on
#computer-science #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.