Tag computation-models - Dies ist Seite 1 - GeneraCodice

Regelmäßigkeit einer Sprache, die aus einer wissenschaftlichen Sprache errichtet wurde

https://www.generacodice.com/de/articolo/2477946/regelmaessigkeit-einer-sprache-die-aus-einer-wissenschaftlichen-sprache-errichtet-wurde
  finite-automata  -  computation-models  -  regular-languages  -  closure-properties
cs.stackexchange cs.stackexchange

Jede entschiedene Sprache $ L $ verfügt über eine unendliche entschiedene Subset $ s \ Subset L $, so dass $ l \ setminus s $ unendlich ist

https://www.generacodice.com/de/articolo/2471648/jede-entschiedene-sprache-l-verfuegt-ueber-eine-unendliche-entschiedene-subset-s-subset-l-so-dass-l-setminus-s-unendlich-ist
  turing-machines  -  computation-models  -  decision-problem
cs.stackexchange cs.stackexchange

Äquivalenz zwischen einem TM und einem wechselnden TM

https://www.generacodice.com/de/articolo/2469207/aequivalenz-zwischen-einem-tm-und-einem-wechselnden-tm
  turing-machines  -  computation-models  -  turing-completeness  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Funktionen mit dem arithmetischen Wörterbuch ausdrücken

https://www.generacodice.com/de/articolo/2467152/funktionen-mit-dem-arithmetischen-woerterbuch-ausdruecken
  turing-machines  -  first-order-logic  -  computation-models
cs.stackexchange cs.stackexchange

Schließung in regelmäßigen Sprachen

https://www.generacodice.com/de/articolo/2457504/schliessung-in-regelmaessigen-sprachen
  automata  -  computation-models
cs.stackexchange cs.stackexchange

Rechenkomplexität der Zählung von Symbolen

https://www.generacodice.com/de/articolo/2455158/rechenkomplexitaet-der-zaehlung-von-symbolen
  complexity-theory  -  turing-machines  -  computation-models
cs.stackexchange cs.stackexchange

Parallele Programmiermodelle: Warum dominieren OpenMP und MPI?

https://www.generacodice.com/de/articolo/2453322/parallele-programmiermodelle-warum-dominieren-openmp-und-mpi
  programming-languages  -  message-passing  -  computation-models  -  parallel-computing
cs.stackexchange cs.stackexchange

Are weakly polynomial time algorithms truly polynomial?

https://www.generacodice.com/de/articolo/2451194/are-weakly-polynomial-time-algorithms-truly-polynomial
  complexity-theory  -  turing-machines  -  algorithms  -  computation-models
cs.stackexchange cs.stackexchange

Would models of computation in other conceivable universes be Turing complete?

https://www.generacodice.com/de/articolo/2446171/would-models-of-computation-in-other-conceivable-universes-be-turing-complete
  physics  -  computability  -  computation-models
cs.stackexchange cs.stackexchange

Showing the following language is decidable

https://www.generacodice.com/de/articolo/1620893/showing-the-following-language-is-decidable
  complexity-theory  -  turing-machines  -  computability  -  automata  -  computation-models
cs.stackexchange cs.stackexchange
Gefundene Ergebnisse: 386
scroll top