Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz

Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan Mathison Turing-ek jadanik garai hartan frogatu zuen, ahalik eta potentzia hand...

Descripción completa

Detalles Bibliográficos
Autores: Ibáñez Martínez-Conde, Jesús, Irastorza Goñi, María Aránzazu, Sánchez Ortega, Ana
Tipo de recurso: informe técnico
Fecha de publicación:2000
País:España
Institución:Universidad del País Vasco
Repositorio:Addi. Archivo Digital para la Docencia y la Investigación
OAI Identifier:oai:addi.ehu.eus:10810/18292
Acceso en línea:http://hdl.handle.net/10810/18292
Access Level:acceso abierto
Palabra clave:funtzio ez-konputagarriak
diagonalizazio teknikak
id ES_533edd64d0d09c4f6121a51566e5a1d3
oai_identifier_str oai:addi.ehu.eus:10810/18292
network_acronym_str ES
network_name_str España
repository_id_str
spelling Konputaezintasun frogapen batzuk diagonalizazio teknika erabilizIbáñez Martínez-Conde, JesúsIrastorza Goñi, María AránzazuSánchez Ortega, Anafuntzio ez-konputagarriakdiagonalizazio teknikakKonputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan Mathison Turing-ek jadanik garai hartan frogatu zuen, ahalik eta potentzia handienekoa imajinatuta ere, inolako ordenadorek ebatzi ezingo zituen zenbait gai edo arazo bazeudela. Balizko algoritmorik ez duten problema horiek, konputaezinak deitzen ditugunak, ez dira salbuespenak eta adibide ugari aurki dezakegu. Programen portaeraren inguruan planteatzen diren problemen artean, asko konputaezinak dira. Familia horretako kide ezagunena, zalantzarik gabe, geratze problema da: sarrerako datu zehatz batzuk hartzerakoan, programa bat begizta infinituan geratuko ote den era orokorrean erabakitzeko algoritmorik ez dago. Problema baten konputaezintasuna frogatzeko, hau ebatziko duen algoritmo zehatz bat existitzen ez dela ziurtatuko duen argumentu logikoa behar dugu, edo beste era batera esanda, existitzen diren algoritmoak problema hori ebazteko gai izango ez direla egiaztatuko duen argumentua. Izaera unibertsaleko argumentu hori ezartzea ez da batere erraza izaten, eta normalean, absurduraino eramandako frogapen batekin erlazionatuta egon ohi da. Helburu hori lortzeko zenbait teknika daude. Diagonalizazioaren teknika horien artean oinarrizkoena da, eta nahiko ezaguna, ez baita Informatika Teorikoaren tresna espezifikoa. Dokumentu honen helburua ez da teknika bera azaldu edo deskribatzea, ezaguntzat hartzen baita, zailtasun maila desberdineko hainbat adibideren bitartez argitzea baizik.201620162000info:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/10810/18292reponame:Addi. Archivo Digital para la Docencia y la Investigacióninstname:Universidad del País VascoEuskeraUPV/EHU/LSI/TR;11-2000info:eu-repo/semantics/openAccessoai:addi.ehu.eus:10810/182922026-06-18T09:23:17Z
dc.title.none.fl_str_mv Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
title Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
spellingShingle Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
Ibáñez Martínez-Conde, Jesús
funtzio ez-konputagarriak
diagonalizazio teknikak
title_short Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
title_full Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
title_fullStr Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
title_full_unstemmed Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
title_sort Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
dc.creator.none.fl_str_mv Ibáñez Martínez-Conde, Jesús
Irastorza Goñi, María Aránzazu
Sánchez Ortega, Ana
author Ibáñez Martínez-Conde, Jesús
author_facet Ibáñez Martínez-Conde, Jesús
Irastorza Goñi, María Aránzazu
Sánchez Ortega, Ana
author_role author
author2 Irastorza Goñi, María Aránzazu
Sánchez Ortega, Ana
author2_role author
author
dc.subject.none.fl_str_mv funtzio ez-konputagarriak
diagonalizazio teknikak
topic funtzio ez-konputagarriak
diagonalizazio teknikak
description Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan Mathison Turing-ek jadanik garai hartan frogatu zuen, ahalik eta potentzia handienekoa imajinatuta ere, inolako ordenadorek ebatzi ezingo zituen zenbait gai edo arazo bazeudela. Balizko algoritmorik ez duten problema horiek, konputaezinak deitzen ditugunak, ez dira salbuespenak eta adibide ugari aurki dezakegu. Programen portaeraren inguruan planteatzen diren problemen artean, asko konputaezinak dira. Familia horretako kide ezagunena, zalantzarik gabe, geratze problema da: sarrerako datu zehatz batzuk hartzerakoan, programa bat begizta infinituan geratuko ote den era orokorrean erabakitzeko algoritmorik ez dago. Problema baten konputaezintasuna frogatzeko, hau ebatziko duen algoritmo zehatz bat existitzen ez dela ziurtatuko duen argumentu logikoa behar dugu, edo beste era batera esanda, existitzen diren algoritmoak problema hori ebazteko gai izango ez direla egiaztatuko duen argumentua. Izaera unibertsaleko argumentu hori ezartzea ez da batere erraza izaten, eta normalean, absurduraino eramandako frogapen batekin erlazionatuta egon ohi da. Helburu hori lortzeko zenbait teknika daude. Diagonalizazioaren teknika horien artean oinarrizkoena da, eta nahiko ezaguna, ez baita Informatika Teorikoaren tresna espezifikoa. Dokumentu honen helburua ez da teknika bera azaldu edo deskribatzea, ezaguntzat hartzen baita, zailtasun maila desberdineko hainbat adibideren bitartez argitzea baizik.
publishDate 2000
dc.date.none.fl_str_mv 2000
2016
2016
dc.type.none.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv http://hdl.handle.net/10810/18292
url http://hdl.handle.net/10810/18292
dc.language.none.fl_str_mv Euskera
language_invalid_str_mv Euskera
dc.relation.none.fl_str_mv UPV/EHU/LSI/TR;11-2000
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Addi. Archivo Digital para la Docencia y la Investigación
instname:Universidad del País Vasco
instname_str Universidad del País Vasco
reponame_str Addi. Archivo Digital para la Docencia y la Investigación
collection Addi. Archivo Digital para la Docencia y la Investigación
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869408103806533632
score 15,300724

Similares en LA Referencia