Resultats de la cerca
Salta a la navegació
Salta a la cerca
- ...funcions computables ''' són l'objecte bàsic d'estudi de la [[teoria de la computabilitat]] i consisteixen en les funcions que poden ser calculades per una [[màquina ...uncions que poden ser calculades amb una màquina de càlcul. La noció de la computabilitat d'una funció pot ser relativitzada a un [[conjunt]] arbitrari de [[nombres ...4 Ko (650 paraules) - 00:59, 18 feb 2022
- Aquests autòmats s'utilitzen en [[teoria de la computabilitat]] i són més potents que un [[autòmat finit]] però menys capaços que una [[M [[Categoria:Computabilitat]] ...3 Ko (582 paraules) - 12:43, 24 juny 2023
- En [[teoria de la computabilitat]] i en [[complexitat computacional]], un '''problema de decisió''' és una q ...nal, és més senzill d'estudiar els problemes de decisió. A la teoria de la computabilitat, intenta classificar els problemes de decisió basant-se en com de «difícils ...6 Ko (882 paraules) - 08:33, 14 juny 2022
- ...ja que son generalitzacions de llenguatges lliures del context amb millor computabilitat. ...3 Ko (379 paraules) - 13:16, 3 set 2024
- ...computacional]], [[Semàntica formal]], [[Mètodes Formals]], [[Teoria de la computabilitat]] i l'estudi de l'[[Atzar]]. Aquestes tasques es distingeixen pel seu èmfas ...i [[Stephen Kleene]] van formalitzar la definició d'algorisme en termes de computabilitat. Mentre que el sistema binari de numeració i els [[Sistemes Formals]] han e ...9 Ko (1.303 paraules) - 20:13, 3 maig 2024
- En [[teoria de la computabilitat]] i teoria de la [[complexitat computacional]], una '''reducció''' és una t ...ció d'espai logarítmic]]. La reducció es fa servir també en [[teoria de la computabilitat]] per a mostrar si els problemes són o no són resolubles per màquines; en a ...7 Ko (1.102 paraules) - 13:20, 14 juny 2022
- [[Categoria:Computabilitat]] ...3 Ko (275 paraules) - 22:49, 26 des 2023
- ...als que són "computables" en un sentit intuïtiu. De fet, en [[teoria de la computabilitat]] es demostra que les funcions recursives són precisament les funcions que ...3 Ko (486 paraules) - 03:58, 28 des 2023
- En [[teoria de la computabilitat]], una '''reducció de Turing''' a partir d'un [[problema de decisió]] <math La primera definició formal de computabilitat relativa, aleshores anomenada reductibilitat relativa, va ser donada per [[ ...8 Ko (1.324 paraules) - 20:38, 9 gen 2025
- [[Categoria:Computabilitat]] ...4 Ko (612 paraules) - 07:57, 8 abr 2022
- ...uncions]] que formen un bloc important per la formalització completa de la computabilitat. Aquestes funcions també són importants en [[Teoria de la demostració]]. ...8 Ko (1.275 paraules) - 11:59, 5 feb 2025
- ...determinada paraula ''v''. Aquest tema és del domini de la [[teoria de la computabilitat]] i la [[teoria de la complexitat computacional]]. * [[Teoria de la computabilitat]] ...9 Ko (1.461 paraules) - 22:53, 2 gen 2024
- [[Categoria:Computabilitat]] ...4 Ko (725 paraules) - 22:54, 1 jul 2023
- ...s grans branques: teoria dels autòmats i llenguatges formals, teoria de la computabilitat i teoria de la complexitat computacional, que es relacionen amb la pregunta * La [[Teoria de la computabilitat]], o l'estudi i determinació de la classe de problemes que poden ser resolt ...18 Ko (2.846 paraules) - 09:30, 3 feb 2025
- En [[teoria de la computabilitat]] el '''problema de la parada''' és un [[problema de decisió]] que es pot f [[Categoria:Computabilitat]] ...9 Ko (1.482 paraules) - 20:18, 9 gen 2025
- [[Categoria:Computabilitat]] ...5 Ko (711 paraules) - 15:19, 15 juny 2024
- ...nts es poden calcular molt més ràpidament i fàcilment. A causa de la fàcil computabilitat, les estimacions del mètode dels moments es poden utilitzar com a primera a ...5 Ko (866 paraules) - 10:41, 1 març 2025
- ...g|màquina de Turing universal]]). El prior és universal en el sentit de la computabilitat de Turing, és a dir, cap cadena té probabilitat zero. No és computable, per ...6 Ko (902 paraules) - 22:02, 26 set 2024
- [[Categoria:Computabilitat]] ...6 Ko (902 paraules) - 11:48, 18 feb 2025
- [[Categoria:Computabilitat]] ...5 Ko (726 paraules) - 15:00, 22 març 2023