FUNCIN RECURSIVA DE ACKERMAN CODIFICADA EN EL EMULADOR 8086

CARLOS JOSE PERTUZ ARROYAVE

UNIVERSIDAD DE CUNDINAMARCA INGENIERA INGENIERA DE SISTEMAS FACATATIV 2012

FUNCIN RECURSIVA DE ACKERMAN CODIFICADA EN EL EMULADOR 8086

CARLOS JOSE PERTUZ ARROYAVE

Proyecto para aprobacin de requisitos del ncleo temtico microprocesadores, evaluado cuantitativamente para el tercer corte del primer periodo acadmico del ao en curso

Ingeniero de sistemas Jos Fabio Dvila Escobar

UNIVERSIDAD DE CUNDINAMARCA INGENIERA INGENIERA DE SISTEMAS FACATATIV 2012

INTRODUCCIN

El presente proyecto se refiere al tema teora de la computabilidad, es tambin llamada teora de la repeticin, se dirige explcitamente a una tendencia de la lgica matemtica y de ciencias de la computacin que se origin en la dcada de 1930, esta rama computacional nos dirige a el ejemplo mas simple que caracteriza su fundamento. La caracterstica principal de la funcin de ackermann es su concepto de funcin recursiva que tiene como vital argumento dos nmeros naturales, retornando instantneamente mediante iteraciones con normas condicionales un nmero entero. Para analizar esta funcin computable es necesario generar recursos de lingstica sistemtica o lacnicamente, programacin. Se entiende por ello lenguajes de alto, medio o bajo nivel. Con este medio se logra entender por medio de la praxis su funcionalidad estructurada. Un mecanismo para comprender la filosofa de la funcin de Ackermann, ubicada en la recursividad, es el emulador 8086; es el primer programa que se utiliza en el ncleo temtico porque, posee una interfaz de usuario muy amistosa que permite familiarizarse con los fundamentos de la programacin en el lenguaje de bajo nivel ensamblador de forma muy intuitiva, a parte de eso brinda una serie de recursos para ejecutar y depurar los programas. La formulacin de este proyecto se dio por el inters de interactuar de forma dinmica con la funcin recursiva en el lenguaje ensamblador, por otra parte la indagacin desde la perspectiva investigativa sobre el manejo abstracto y real de la sintaxis del lenguaje de bajo nivel en la funcin planteada, esta es la funcin de Ackermann. En el mbito profesional el inters vers en conocer una explicacin intuitiva del ejemplo ms simple de la teora computacional, adems de profundizar en el elemento de interaccin sistemtico, lenguaje ensamblador. En el marco de la funcin recursiva de Ackermann, el proyecto se realizo en base a una serie de textos indicadores, que permiten un fcil acceso al mundo complejo del lenguaje ensamblador, y con ello fcilmente reconocer la funcionalidad que contempla el ejemplo de Ackermann y el manejo de sintaxis en el lenguaje de bajo nivel utilizando el emulador 8086.

PLANTEAMIENTO DEL PROBLEMA

Cuando nuestro estado en la vida es inherente al mundo de la computacin, nos vemos expuestos al manejo de las ciencias formales y la praxis que esta conlleva. La teora de la computacin maneja una rama de la ciencia formal universal, las matemticas, y la praxis lo hace con el elemento de la computacin. Estos centran su inters en las limitaciones y capacidades fundamentales de las computadoras, especficamente esta teora busca modelacin matemtica que ubican el concepto del diseo de computo y la clasificacin de problemas. Al tener claro el planteamiento de la teora, surge una descentralizacin y ramificacin de proposiciones, donde genera la idea de una hiptesis conjetural que presenta como temtica la computabilidad; Esta rama explora los lmites de la posibilidad de resolver los problemas mediante algoritmos. Luego de esta mnima introduccin retorica, que nos permite enlazarnos con el objeto del proyecto, determinamos que desgraciadamente no existe y se cuenta con poca informacin sobre la funcin recursiva de Ackermann ensamblada en el lenguaje de bajo nivel. Es por ello que nace la necesidad de enriquecernos de los fundamentos, semntica y sintaxis del lenguaje, utilizando las condiciones predispuestas de la funcin de Ackermann, esperando que en un futuro dicha consulta y prctica sirva como base para que otras personas se interesen y generen un cdigo mas optimo ya que existen dentro del campo de la codificacin un sin fin de posibilidades.

FORMULACIN DEL PROBLEMA

Determinacin de los mecanismos lgicos y sintcticos para codificar la funcin recursiva de ackermann con sus condiciones predefinidas segn la teora de la computabilidad, en el lenguaje de bajo nivel (lenguaje ensamblador), usando la herramienta emulador 8086 durante el periodo de un mes

OBJETIVO GENERAL

Conocer y analizar el contenido sintctico y semntico del lenguaje ensamblador en la herramienta emulador 8086, aplicando la funcin recursiva de Ackermann y sus argumentos definidos

OBJETIVOS ESPECFICOS

Conocer el origen del ejemplo ms simple de la teora de la computabilidad, la funcin de Ackermann. Identificar eficientemente el manejo de los argumentos que proporciona la funcin recursiva de ackermann. Consultar intensivamente los recursos que presenta el lenguaje de bajo nivel y as facilitar el proceso mecnico. Identificar los elementos necesarios para la codificacin en el emulador 8086 de la funcin de Ackermann. Reconocer la solucin mas apropiada referente a la codificacin de la funcin de Ackermann en el emulador 8086.

ANTECEDENTES

Para determinar los proyectos realizados frente a este tema importante en el mundo de la computacin es necesario saber quien fue su principal exponente, Wilhelm Ackermann (29 de marzo 1896 - 24 de diciembre 1962) fue un matemtico alemn. Ackermann fue un lgico matemtico alemn que trabaj con Hilbert en Gttingen Es conocido, por la funcin recursiva de Ackermann nombrada en su honor, un ejemplo importante en la teora de la computacin. Se encontraron proyectos de gran envergadura como la del seor Alfonso Vctor Caballero Hurtado que titula su proyecto, funcin ackermann sin recursin COMNASM, donde solo genero una versin y esta registrada en el ao 2010. Utilizo un mtodo terico-practico el documento consta de 37 captulos, el cual la funcin de ackermann le dedica el capitulo numero 13. Nos presenta tres tipos de codificacin en el lenguaje ensamblador con macros y sin incluirlos, con fcil acceso a su codificacin. La ltima modificacin al proyecto fue el 21 de noviembre de 2010, es la mnima expresin de trabajo de la funcin en el lenguaje ensamblador. Existen otras codificaciones de la funcin recursiva de Ackermann, pero estos se presentan en lenguajes de alto nivel, lo que nos desva del planteamiento primordial que es el lenguaje ensamblador (lenguaje de bajo nivel) y la herramienta denominada emulador 8086. Se determina que la propuesta ser conjeturalmente nueva, por primera vez se aplicara dentro del marco mnimo investigativo la funcin de ackermann en el emulador 8086.

JUSTIFICACIN

El siguiente proyecto intenta hacer una breve introduccin al mbito del lenguaje de programacin de bajo nivel enfocando el objeto en la funcin de Ackermann, nos presenta un propsito de gran relevancia para la sociedad ingenieril, quienes podrn fcilmente ser participes de una codificacin con las cuatro libertades, diseada en el emulador 8086 que presenta un entorno interesante para el estudio detallado de la complejidad de dicho lenguaje. El proyecto ayuda deductivamente a resolver un problema simple y llanamente de codificacin de un ejemplo de la teora computacional; con ello se clarifica el concepto opuesto de recursividad emprica y las diferentes opciones. La informacin que se obtenga y la prctica que se implante crearan de gran manera un apoyo a la institucin o particularidad que utilice el mbito. En lo individual, el conocimiento y la experiencia que se adquiere sern de gran proporcin y de utilidad en el amplio campo de accin de la carrera, generara una breve nocin del complejo lenguaje de bajo nivel. Hay posibilidad que surjan ideas o recomendaciones para el futuro de la codificacin de la funcin recursiva, abriendo una extensa retroalimentacin de opiniones para la factibilidad del cdigo explicito.

FICHA TCNICA TITULO ACRNIMO N/A NOMBRE Carlos Jose Pertuz Arroyave TUTOR Jos Fabio Dvila Escobar DIRECCIN Universidad de Cundinamarca-extensin Facatativ TELFONO 8297322 CORREO Metano.C57@hotmail.com LUGAR EJECUCIN CIUDAD Facatativ (Cundinamarca) DURACIN PROYECTO Rango estipulado en un espacio de cuatro semanas (un mes) DE Universidad de Cundinamarca, entorno ncleo microprocesadores Funcin recursiva de Ackermann codificada en el emulador 8086

TIPO DE PROYECTO Proyecto experimental, relaciones causa-efecto VALOR TOTAL El valor del proyecto en el mbito econmico es nulo. PROYECTO Como valoracin cuantificable al ncleo temtico, es determinado por el docente encargado. DESCRIPTORES Funcin, Argumentos, Recursin, Codificacin, Lenguaje, semntica, sintctico, Emulador 8086, PLANTEAMIENTO Determinacin de los mecanismos lgicos y sintcticos para DEL PROBLEMA codificar la funcin recursiva de Ackermann con sus condiciones predefinidas segn la teora de la computabilidad, en el lenguaje de bajo nivel (lenguaje ensamblador), usando la herramienta emulador 8086 durante el periodo de un mes. JUSTIFICACIN El proyecto ayuda deductivamente a resolver un problema simple de codificacin referente a un ejemplo de la teora computacional, la informacin y la prctica que se implanten proporciona un apoyo a la institucin o particularidad que utilice el mbito.

En lo individual, el conocimiento y la experiencia sern de gran utilidad en el amplio campo de accin de la carrera, generara una breve nocin del complejo lenguaje de bajo nivel y una retroalimentacin de opiniones para la factibilidad del cdigo. OBJETIVO GENERAL Conocer y analizar el contenido sintctico y semntico del lenguaje ensamblador en la herramienta emulador 8086, aplicando la funcin recursiva de Ackermann y sus argumentos definidos Conocer el origen del ejemplo ms simple de la teora de la computabilidad, la funcin de Ackermann. Identificar eficientemente el manejo de los argumentos que proporciona la funcin recursiva de Ackermann. Consultar intensivamente los recursos que presenta el lenguaje de bajo nivel y as facilitar el proceso mecnico. Identificar los elementos necesarios para la codificacin en el emulador 8086 de la funcin de Ackermann. Reconocer la solucin mas apropiada referente a la codificacin de la funcin de Ackermann en el emulador 8086. Respecto a el entorno donde habr influencia notoria del proyecto, podramos asegurar que en el campo del conocimiento y la investigacin se reconocer en gran amplitud la simplicidad, avocara una retroalimentacin sencilla produciendo de tal manera una optimizacin regular y creciente del cdigo sobre la funcin recursiva de Ackermann. Al reconocer y estudiar detalladamente el cdigo generado en el mecanismo emulador 8086 se dispone de un gran soporte para el estudio simple del lenguaje de bajo nivel. Al finalizar el proyecto estipulado, habr conocimiento optimo acerca del contenido y la estructuracin del lenguaje ensamblador. Reconocer la etimologa y la funcionalidad de la funcin recursiva, guiara evidentemente su aplicacin en el campo de la computabilidad. Generar una lgica eficiente ser un gran recurso para el fcil acceso al lenguaje de bajo nivel contando inmensamente con el mecanismo emulador 8086.

OBJETIVOS ESPECIFICOS

IMPACTO

RESULTADOS ESPERADOS

MARCO TERICO

El propsito inicial de la teora de la computabilidad es hacer precisa la nocin intuitiva de funcin calculable; esto es, una funcin cuyos valores pueden ser calculados de forma automtica o efectiva mediante un algoritmo. As podemos obtener una comprensin ms clara de esta idea intuitiva; y solo de esta forma podemos explorar matemticamente el concepto de computabilidad y los conceptos relacionados con ella, tales como decibilidad, etc... Surge as una teora que producir resultados positivos y negativos, pero que gracias a cualquier nivel y adaptacin de resultado, se ha dado lugar a diversos enlaces tericos que todava presentan diversas metodologas. La teora de la computabilidad puede caracterizarse como la bsqueda de respuestas para las siguientes preguntas: 1 Qu pueden hacer los ordenadores (sin restricciones de espacio, tiempo o dinero?. 2 Cuales son las limitaciones inherentes a los mtodos automticos de clculo? Las respuestas a estas preguntas han dado lugar a una rica teora que todava se est investigando activamente. A fines de 1920, los matemticos Gabriel Sudn y Wilhelm Ackermann , los estudiantes de David Hilbert , estaban estudiando los fundamentos de la computacin. Tanto Sudn y Ackermann se acredita con el descubrimiento total de las funciones computables (llamado simplemente "recursiva" en algunas referencias) que no son primitivas recursivas . Gabriel Sudn public la menos conocida la funcin de Sudn , y poco despus y de forma independiente, en 1928, public su funcin de Ackermann . la funcin original de Ackermann se ve para extender las operaciones aritmticas bsicas ms all de la exponenciacin. Tres argumentos de Ackermann funcin(M,N), se define tal que para p = 0, 1, 2, reproduce las operaciones bsicas de suma, multiplicacin y exponenciacin como:

Esta ltima versin es conocida hoy da como la funcin de Ackermann, el ejemplo ms simple de una funcin total que es computable. Se puede implementar con ciclos de tipo "while", pero que no es primitiva recursiva; Por tanto no se puede implementar slo con ciclos de tipo "for"(refirindonos explcitamente al lenguaje de alto nivel). El proyecto al presentar gran relevancia en el entorno institucional y un posible impacto positivo a la comunidad ingenieril, debe mantener y estipular una metodologa estructurada, ubicndose en la investigacin histrica y experimental.

METODOLOGA

La metodologa se fundamenta en la consulta con un grado de profundizacin alto, descentralizando cada temtica ya que con este mecanismo podramos generar una optimizacin en el proceso y una adecuada transmisin de ideas sobre el proyecto. El mtodo deductivo ser de gran relevancia en la bsqueda y la hermenutica de la informacin necesaria, proporcionara a partir de la teora elementos (segn su jerarqua) que determinan la columna vertebral de la codificacin en el emulador 8086. Se utiliza la modelacin como requisito interpretativo de la unificacin del lenguaje y el objetivo de representacin codificada (funcin de Ackermann), esto facilita el transcurso mecnico del proyecto, convirtiendo el lapso de tiempo en periodo eficiente. Los recursos importantes para llevar a cabo con xito el desarrollo del proyecto ser recursos surreales de la ingeniera de sistemas, el mecanismo informtico: emulador 8086 con su respectivo tutorial, se utilizara un texto gua para la solucin de dudas: lenguaje ensamblador-Peter Abel, la recoleccin de datos independientes sobre teora de computabilidad de diferentes fuentes ser necesidad para identificar el origen de la funcin recursiva; Un computador con soporte para el mecanismo informtico; en el mbito econmico no habr ningn incremento presupuestal el dinero implementado ser nulo. Los encargados de este proyecto ser el estudiante Carlos Jos Pertuz Arroyave estudiante de ingeniera de sistemas ubicado en cuarto semestre en la universidad Cundinamarca. Personas externas que influirn en el proyecto ser el ingeniero Jos Fabio Dvila Escobar quien brindara su experiencia y conocimiento para la adecuacin terica y prctica del susodicho proceso. La adecuacin de tiempo y espacio ser semanal en un rango de 3 a 4 horas que reflejan el avance. Se realizaran las diversas tareas y se implementaran los mtodos ya especificados. El producto final ser el programa de la funcin recursiva de Ackermann en lenguaje ensamblador utilizando el mecanismo emulador 8086.

CRONOGRAMA

ACTIVIDAD

SEMANA SEMANA SEMANA SEMANA 1 2 3 4 (May 7(May 14- (May 21- (May 28May 11) May 18) May 25) Junio 1)

Formulacin de tems Tema estipulado Adecuacin software Preparacin bibliografa Organizacin tiempoespacio Consulta parmetros de presentacin Identificacin de variables ideales Investigacin etimolgica de teora de computabilidad Consulta de condiciones de la funcin de Ackermann Estudio sintctico del lenguaje de bajo nivel Manipulacin software emulador 8086 Proyecto y praxis Borrador terico Anlisis lgico Modelado Inicio de codificacin Identificacin de parmetros para inicio de proyecto Cuantificacin y sntesis Evaluacin y correccin Gua de codificacin Revaluacin terica y practica

RESULTADOS ESPERADOS

Al finalizar el proyecto obtendremos un producto surreal, la codificacin en lenguaje de bajo nivel usando el mecanismo emulador 8086 de la funcin recursiva de Ackermann. Un producto con opcin de mejora y que determinara una pauta longitudinal y diacrnica en el lenguaje de bajo nivel, debido a que estar expuesto a una constante representacin (cdigo) en diferentes facetas. Se desea generar una visin amplia de la funcin recursiva de Ackermann codificada en un lenguaje de gran complejidad esto permitir una amplia visin de su funcionalidad y fijara un inters en la retorica de la computabilidad y escatolgicamente podra llevar a una posible creacin de otro entorno terico. Se presenta de manera lgica y simple la sintaxis y la solucin optima requerida en el carcter de la funcin, que se convierte en la gua procedimental de procesos de ampliacin y mejoras al presente.

ALCANCE

El proyecto pautara una opcin lgica de representacin en el lenguaje de bajo nivel, y generara un mecanismo de soporte y ayuda para la persona que se interese por profundizar y optar por una nueva investigacin experimental que proporcionara una nueva visin sintctica o lgica en el mbito estructural de la programacin. Ira enfocado a lo institucional debido al nivel de investigacin, no llegara ms all de un anlisis global, se ubicara en un entorno especfico en el rea de lo sistmico. Se califica como un programa sencillo de fcil ubicacin factor correlacin.

IMPACTO ESPERADO

El presente proyecto intenta, por una parte, estipular un ejemplo a las personas que se desenvuelven en el mbito de la recursin, generan posibilidades dentro del mundo de la ingeniera y consideren el inters investigativo como una

alternativa a tener en cuenta dentro del futuro de la codificacin en el lenguaje de bajo nivel. Por otra parte trata de detectar necesidades reales de formacin e informacin a la hora de crear y sacar adelante una codificacin y una nueva creacin y disear as futuras lneas de lgica, encaminadas a facilitar este complicado sendero en el que se adentra todo el campo de accin ingenieril que utiliza la recursin en sus procesamientos de informacin. Como impacto indirecto se trata de crear una cultura investigativa e interpretativa en nuestra la sociedad especifica (sistmica) de forma que cada vez ms se acepte como posible y positivo la creacin y la formulacin de micro cdigos y simples deducciones, como contribucin al desarrollo de la codificacin en el lenguaje de bajo nivel de la funcin recursiva de Ackermann Al mismo tiempo se trata de crear un entorno favorable para los interesados en la temtica de la teora generalizada de la computabilidad de forma que se eliminen todos los problemas y discriminaciones asociados a la simple condicin de complejidad, esperando que llegue el momento en que no tengamos que delimitar el lenguaje entre el entorno que manipula sus caractersticas.

USUARIOS DIRECTOS E INDIRECTOS Las personas que se pueden beneficiar directamente con el proyecto sern aquellos que opten por la investigacin de funciones u ejemplos de algoritmia recursiva y aquellos que se involucre con el lenguaje ensamblador y el mecanismo emulador. Estudiantes de la institucin que cursen carreras afines al manejo sistematizado de la informacin. Debido a que el proyecto es una ejemplificacin exacta y concreta no hay usuarios indirectos que puedan verse afectados positivamente con el proyecto.

ESTRATEGIA DE DIVULGACIN Y TRANFERENCIA Este trabajo plantea una generalizacin discreta, se realizara una divulgacin ubicada en la carpeta de proyectos simples de la Universidad de Cundinamarca, tambin ser una divulgacin personalizada, si se nota un grupo o individuo con inters en la ejemplificacin de la teora se prestara una gua para la ubicacin del proyecto.

PRESUPUESTO

Objeto Personal Equipos Materiales Viajes Servicios tcnicos

Fuente Institucional Individualizado Personalizado Nulo Institucional

Total 2 1 3 0 1

% Aprox 28.6% 14.2% 42.9% 0% 14.3%