MATH
Login Or Sign up

List Question

15
181
Views

PDA and Some language Grammar inference

Published on
#formal-languages #automata #context-free-grammar #regular-language #turing-machines
314
Views

Proof that Finite Turing Machine is reducible to Regular Turing Machine

Published on
#computer-science #computability #turing-machines
1.3k
Views

$L=${$a^nb^nc^n : n \geq 0 $} CFG Recognizing

Published on
#computer-science #automata #context-free-grammar #turing-machines #regular-expressions
699
Views

Turing Machine Problem

Published on
#computability #automata #context-free-grammar #turing-machines #formal-grammar
580
Views

Turing machine algorithm and Natural number

Published on
#algorithms #turing-machines
111
Views

Show that whether or not an arbitrary Turing machine ever executes a particular one of its instructions is unsolvable

Published on
#computer-science #computability #turing-machines
8.6k
Views

Input and output of a Turing machine

Published on
#computability #automata #turing-machines
186
Views

Non-Deterministic Polynomial Time Algorithm

Published on
#np-complete #turing-machines
32
Views

Gathering nonconsecutive 1's by a Turing machine

Published on
#computability #turing-machines
123
Views

Challenge on Some Definition on Formal Language & Recursive & Automata

Published on
#elementary-set-theory #logic #computational-complexity #computability #turing-machines
7.5k
Views

Text books on computability

Published on
#reference-request #computability #big-list #book-recommendation #turing-machines
205
Views

Challenge on Some Language and PDA

Published on
#formal-languages #automata #context-free-grammar #regular-language #turing-machines
179
Views

BusyBeaver growth: "simple" proof

Published on
#functions #proof-verification #asymptotics #turing-machines
393
Views

Is there a recursive injective and surjective function f:N→PRF?

Published on
#computability #turing-machines
1.4k
Views

Whats the connection between Turing machine and First order logic?

Published on
#discrete-mathematics #computability #first-order-logic #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.