Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Acta Cientfica Venezolana, 53: 94118, 2002 UNA PRESENTACION UNIFORME DE LA TEORIA DESCRIPTIVA
 

Summary: MATEMATICA
Acta Científica Venezolana, 53: 94­118, 2002
UNA PRESENTACION UNIFORME DE LA TEORIA DESCRIPTIVA
DE LA COMPLEJIDAD COMPUTACIONAL
Argimiro Arratia
Departamento de Matemáticas
Universidad Simón Bolívar
Caracas, Venezuela
arratia@ma.usb.ve
Recibido: 11/12/01; Revisado: 07/05/02; Aceptado: 11/06/02
RESUMEN: La Teoría Descriptiva de la Complejidad Computacional estudia la Complejidad Computacional desde la pers-
pectiva de la Lógica. Entre sus metas principales está el caracterizar mediante lógicas las clases de complejidad com-
putacionales, tradicionalmente definidas en términos de máquinas de Turing con recursos acotados. La presentación que
encontramos en la literatura actual de esta teoría se hace conforme a su desarrollo histórico, por lo que, para cada clase
de complejidad computacional, se realiza una traducción particular del modelo computacional asociado a la clase en los
elementos sintácticos que conforman la lógica con la que se pretende describir dicha clase. Esta larga y ardua labor inte-
lectual se puede simplificar mediante un único esquema para vincular una clase de complejidad, espacial o temporal, con
algún lenguaje formal, el cual involucra la única traducción de un modelo de máquina de Turing particular (específicamen-
te, la máquina determinística con espacio de trabajo logarítmicamente acotado) en fórmulas de una lógica particular (la
extensión de la lógica de primer orden con el operador de la clausura transitiva determinística). Esta versión uniforme de

  

Source: Arratia, Argimiro A. - Departamento de Matemática Aplicada, Universidad de Valladolid

 

Collections: Mathematics