MATH
Login Or Sign up

List Question

15
262
Views

Is $L=\{w\mid \text{ same number of 010 and 101}\}$ regular?

Published on
#computability #regular-language
917
Views

What is the difference between regex operations in math and regex in UNIX / Linux?

Published on
#computer-science #computability #automata #regular-expressions
321
Views

Is the language $L=\{ww^f|w\in \{0,1\}^*\}$ CFL?

Published on
#computability #formal-languages #context-free-grammar
265
Views

A Question Regarding Ordinal Turing Machines

Published on
#set-theory #computability #philosophy
511
Views

Mathematical intro to Turing machines

Published on
#computability
497
Views

Why one defines the proper complexity functions?

Published on
#computational-complexity #computability
352
Views

Ackermann function is not primitive recursive

Published on
#logic #recursion #computability #ackermann-function
456
Views

Prove uniqueness of recursive function

Published on
#induction #computability #recursion
152
Views

A characterization of recursive functions via arithmetical formulas

Published on
#arithmetic #computability
422
Views

Examples of partial functions in which the domain is not known?

Published on
#functions #computer-science #computability
656
Views

An Undecidable but not Universal Turing Machine?

Published on
#computability #turing-machines
213
Views

A Question About Tennebaum's Theorem?

Published on
#logic #model-theory #computability #peano-axioms
99
Views

How much information is in the question "How much information is in this question?"?

Published on
#computability #information-theory #kolmogorov-complexity
2.5k
Views

Why isn't there a pumping lemma for recursively enumerable languages?

Published on
#computability #formal-languages
5.5k
Views

Reducing a Decidability Problem to the Halting Problem

Published on
#computability #automata #turing-machines

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.