Tag turing-machines - Esta é a página 8 - GeneraCodice

Check if a function halts for all inputs

https://www.generacodice.com/pt/articolo/3244092/check-if-a-function-halts-for-all-inputs
  JavaScript  -  functional-programming  -  turing-machines
StackOverflow StackOverflow

Is it possible to do graphics programming in AWK?

https://www.generacodice.com/pt/articolo/3218494/is-it-possible-to-do-graphics-programming-in-awk
  awk  -  turing-machines
StackOverflow StackOverflow

Time complexity versus space complexity in Turing machines

https://www.generacodice.com/pt/articolo/2810705/time-complexity-versus-space-complexity-in-turing-machines
  algorithm  -  complexity-theory  -  turing-machines  -  time-complexity  -  space-complexity
StackOverflow StackOverflow

Brainfuck interpreter using cellular automata

https://www.generacodice.com/pt/articolo/2809721/brainfuck-interpreter-using-cellular-automata
  turing-machines  -  wolfram-mathematica  -  cellular-automata  -  brainfuck
StackOverflow StackOverflow

How are algorithms and data structures related to Turing Machines?

https://www.generacodice.com/pt/articolo/2806753/how-are-algorithms-and-data-structures-related-to-turing-machines
  algorithm  -  theory  -  data-structures  -  turing-machines
StackOverflow StackOverflow

What is meant by “dovetailing”?

https://www.generacodice.com/pt/articolo/2689127/what-is-meant-by-dovetailing
  algorithm  -  recursion  -  turing-machines  -  programming-languages
StackOverflow StackOverflow

Proof of universality in the circuit model

https://www.generacodice.com/pt/articolo/2655887/proof-of-universality-in-the-circuit-model
  turing-machines  -  digital-circuits
cs.stackexchange cs.stackexchange

Two Different Grammars Over One Set of Outputs

https://www.generacodice.com/pt/articolo/2528214/two-different-grammars-over-one-set-of-outputs
  theory  -  turing-machines  -  grammar  -  automata
StackOverflow StackOverflow

As linguagens em $\mathsf{coRE} \setminus \mathsf{R}$ possuem máquinas de Turing?

https://www.generacodice.com/pt/articolo/2479180/as-linguagens-em-mathsf-core-setminus-mathsf-r-possuem-maquinas-de-turing
  turing-machines  -  computability
cs.stackexchange cs.stackexchange

Prova de que línguas estão turing-reconhecível IFF calpecialmente enumerável

https://www.generacodice.com/pt/articolo/2478947/prova-de-que-linguas-estao-turing-reconhecivel-iff-calpecialmente-enumeravel
  enumeration  -  turing-machines  -  computability  -  formal-languages
cs.stackexchange cs.stackexchange
Resultados encontrados: 2028
scroll top