Desarrollo, Producción e Innovación en la Investigación científica

Permanent URI for this communityhttp://48.217.138.120/handle/20.500.12272/2392

Browse

Subject: search.filters.subject.Máquinas abstractas

Search Results

Now showing 1 - 10 of 13
  • Thumbnail Image
    Item
    Impacto de distintas formas de acceso a memoria sobre la complejidad temporal de Autómatas Finitos Bidireccionales.
    (Univesidsad Tecnológica Nacional., 2016) Giró , Juan; Vázquez , Juan Carlos; Meloni, Brenda; Constable , Leticia; Vázquez , Juan Carlos
    En el marco de un proyecto de investigación se puso atención a las variantes en el acceso a memoria auxiliar de los autómatas finitos bidireccionales. Así se presentó un autómata con accesos Lifo y Fifo, que mostró gran potencialidad y desempeños muy interesantes ante problemas específicos. Estimu lados por estos resultados, se estudió un nuevo autómata con acceso Lifo y dos variantes de accesos Fifo a memoria auxiliar, objeto de esta presenta ción. Las pruebas se orientaron a evaluar la complejidad temporal y la sensibilidad de este indicador ante variantes en la morfología de las cadenas de datos, contrastando los resultados con los obtenidos con una Máquinas de Turing y el autómata de memoria Lifo/Fifo ya citado. Se presen ta un caso de estudio y los resultados obtenidos
  • Thumbnail Image
    Item
    Definición y evaluación de un Autómata Finito Determinista Bidireccional con memoria Lifo/Fifo.
    (Univesidsad Tecnológica Nacional., 2015) Giró , Juan; Vázquez , Juan Carlos; Meloni, Brenda; Constable, Leticia; Meloni, Brenda; Vázquez , Juan Carlos
    Se toma como base un Autómata Finito Determinista Bidireccional (AFDB), al que se lo dota de una memoria dual de tipo Lifo/Fifo donde la condición de acceso a la memoria está asociada a cada estado. Es decir que hay estados cuyo acceso es Lifo y otros que es Fifo. Al nuevo autómata se lo denomina AFDB-LF.
  • Thumbnail Image
    Item
    Evaluación de un Autómata Finito Determinista Bidireccional con memoria Lifo/Fifo.
    (Univesidsad Tecnológica Nacional., 2017) Giró , Juan; Vázquez , Juan Carlos; Meloni, Brenda; Constable, Leticia; Vázquez , Juan Carlos
    Con el objetivo de explorar el desempeño de máquinas abstractas, de capacidad inferior a la Máquina de Turing y mayor a la del Autómata Finito, se abordaron sucesivas tareas: reconocer y estudiar las principales máquinas disponibles, proponer una máquina específica a ser considerada, definir e implementar un simulador que posibilite el estudio de su comportamiento, seleccionar casos de estudio y analizar sus resultados. En el documento que se presenta se centra la atención en la definición del nuevo autómata y en los resultados obtenidos con un caso de estudio. Las pruebas se orientaron a evaluar la complejidad temporal y la sensibilidad de este indicador a variantes en las cadenas de datos. También inspiraron otras máqui nas a ser estudiadas y confirmaron el enorme valor técnico y pedagógico de los procesos de simulación.
  • Thumbnail Image
    Item
    Evaluación del desempeño de un autómata finito determinista bidireccional con memoria Lifo/Fifo
    (REVISTA FACULTAD DE CIENCIAS EXACTAS, FÍSICAS Y NATURALES, 2017-03) Giró, Juan; Vázquez, Juan Carlos; Meloni, Brenda; Constable, Leticia E.
    En el campo de las máquinas abstractas hay una franja muy interesante que normalmente recibe poca atención, que está integrada por aquellas de capacidad inferior a la Máquina de Turing y mayor a la del Autómata Finito. Las evidencias mostraron que estas máquinas disponen de una gran potencialidad y pueden tener desempeños muy interesantes ante problemas específicos, lo que llevó a tratarlas como objetos de estudio en este trabajo. Con este fin se reconocieron y evaluaron las principales máquinas disponibles, se propuso una nueva máquina con memoria Lifo/Fifo, se seleccionó un caso de estudio y se analizaron los resultados obtenidos medianteel uso de un simulador implementado a tal fin. Las pruebas se orientaron a evaluar la complejidad temporal y la sensibilidad de este indicador ante variantes en las cadenas de datos, contrastando los resultados con los obtenidos con dos Máquinas de Turing. El trabajo ofreció la oportunidad de reconocer otras máquinas a ser estudiadas en el futuro y también confirmaron el enorme valor técnico y pedagógico de los procesos de simulación.
  • Thumbnail Image
    Item
    Una estrategia didáctica para el dictado de informática teórica (presentación de proyecto de investigación y avances)
    (2008) Cárdenas, Marina Elizabeth; Marciszack, Marcelo Martín; Vázquez, Juan Carlos Jesús; Pérez, Ramiro
    Los contenidos de informática teórica en carreras de informática no deberían presentar dificultades en cuanto a su transposición didáctica, ya que constituyen, el núcleo central de estudio de su disciplina. Lejos de tal aseveración, los estudiantes presentan dificultad para asimilar estos contenidos ya que los mismos están muy cercanos a la matemática y son fuertemente abstractos, por lo tanto resulta necesario contar con una estrategia didáctica que permita: por un lado, aportar sólidas bases teóricas y por otro, disponer de claros ejemplos de aplicación a la resolución de problemas reales; como son las herramientas para simulación, las implementaciones sobre casos concretos, el desarrollo de algoritmos, entre otros.
  • Thumbnail Image
    Item
    Un enfoque didáctico para el dictado de informática teórica
    (2008) Marciszack, Marcelo Martín; Vázquez, Juan Carlos; Paz Menvielle, María Alejandra
    Los contenidos de informática teórica en carreras de informática no deberían presentar dificultades en cuanto a su transposición didáctica, ya que constituyen, el núcleo central de estudio de su disciplina. Lejos de tal aseveración, los estudiantes presentan dificultad para asimilar estos contenidos ya que los mismos están muy cercanos a la matemática y son fuertemente abstractos, por lo tanto resulta necesario contar con una estrategia didáctica que permita: por un lado, aportar sólidas bases teóricas y por otro, disponer de claros ejemplos de aplicación a la resolución de problemas reales; como son las herramientas para simulación, las implementaciones sobre casos concretos, el desarrollo de algoritmos, entre otros. Para que los estudiantes logren un aprendizaje significativo de los conceptos de Informática Teórica, se ha elaborado como estrategia didáctica la creación de un conjunto integrado de herramientas didácticas accesibles desde la web, las cuales son utilizadas en los procesos de enseñanza, aprendizaje, posibilitando de esta manera que los estudiantes fijen los contenidos curriculares de teoría de autómatas, gramáticas formales, traducción de lenguajes y compiladores, realizando prácticas efectivas de los mismos, permitiendo además que sea el propio alumno que evalúe el progreso de su aprendizaje mediante el uso de un test de autoevaluación. Por lo tanto, la estrategia es que el estudiante disponga de un conjunto integrado de herramientas y materiales de estudio, en ambiente web, sentando bases sólidas de conocimientos teóricos, con una gran ejercitación y aplicabilidad de los mismos, permitiendo autoevaluar sus conocimientos teóricos y prácticos a través de simuladores y test de autoevaluación.
  • Thumbnail Image
    Item
    Una estrategia didáctica para el dictado de informática teórica
    (2008) Marciszack, Marcelo Martín; Vázquez, Juan Carlos Jesús
    Los contenidos de informática teórica en carreras de informática no deberían presentar dificultades en cuanto a su transposición didáctica, ya que constituyen, el núcleo central de estudio de su disciplina. Lejos de tal aseveración, los estudiantes presentan dificultad para asimilar estos contenidos ya que los mismos están muy cercanos a la matemática y son fuertemente abstractos, por lo tanto resulta necesario contar con una estrategia didáctica que permita: por un lado, aportar sólidas bases teóricas y por otro, disponer de claros ejemplos de aplicación a la resolución de problemas reales; como son las herramientas para simulación, las implementaciones sobre casos concretos, el desarrollo de algoritmos, entre otros. Para que los estudiantes logren un aprendizaje significativo de los conceptos de Informática Teórica, se ha elaborado como estrategia didáctica la creación de un conjunto integrado de herramientas didácticas accesibles desde la web, las cuales son utilizadas en los procesos de enseñanza, aprendizaje, posibilitando de esta manera que los estudiantes fijen los contenidos curriculares de teoría de autómatas, gramáticas formales, traducción de lenguajes y compiladores, realizando prácticas efectivas de los mismos, permitiendo además que sea el propio alumno que evalúe el progreso de su aprendizaje mediante el uso de un test de autoevaluación. Por lo tanto, la estrategia es que el estudiante disponga de un conjunto integrado de herramientas y materiales de estudio, en ambiente web, sentando bases sólidas de conocimientos teóricos, con una gran ejercitación y aplicabilidad de los mismos, permitiendo autoevaluar sus conocimientos teóricos y prácticos a través de simuladores y test de autoevaluación.
  • Thumbnail Image
    Item
    Construcción de una ontología para gramáticas formales y máquinas abstractas utilizando Protégé para la elicitación de requerimientos
    (Red de Universidades con Informática, 2009) Marciszack, Marcelo Martín; Pérez Cota, Manuel; Antonelli, Leandro; Giandini, Roxana; Cárdenas, Marina Elizabeth
    El presente trabajo describe el desarrollo de un modelo de representación conceptual del dominio de la teoría de gramáticas formales y máquinas abstractas, a través del modelado ontológico, con el objetivo de evaluar su utilización como herramienta de soporte a la elicitación de requerimientos de software basándose en una metodología de modelado ontológico.
  • Thumbnail Image
    Item
    Construcción de herramientas didácticas para la enseñanza y ejercitación práctica en laboratorio de Informática en las carreras con informática
    (Red de Universidades con Informática., 2006) Marciszack, Marcelo Martín; Vázquez, Juan Carlos Jesús; Serrano, Diego Javier; Pérez, Ramiro
    Para poder impartir conocimientos de informática teórica, es necesario contar con un conjunto de herramientas didácticas (simuladores, casos reales de aplicación, programas fuentes, material de estudio, entre otros) que permitan centrarnos en los problemas disciplinares, aportando sólidas bases teóricas y claros ejemplos de aplicaciones a la resolución problemas reales.
  • Thumbnail Image
    Item
    Construcción de esquemas conceptuales para la elicitación de requerimientos con ontologías utilizando Protégé
    (Universidad Tecnológica Nacional. Facultad Regional Mendoza, 2009) Marciszack, Marcelo Martín; Pérez Cota, Manuel; Antonelli, Leandro; Giandini, Roxana; Cárdenas, Marina Elizabeth
    El presente trabajo describe el desarrollo de una metodología y herramienta de soporte en las actividades de modelado conceptual, utilizado en la representación de un modelo sobre un dominio restringido, como son la Teoría de Gramáticas Formales y Máquinas Abstractas, a través del modelado Ontológico, utilizando como herramienta de soporte Protégé 2000. Para dar cumplimiento con el propósito de evaluar la utilización de esta Metodología/Herramienta como soporte en el proceso de elicitación de requerimientos de software y determinar el grado de correspondencia del modelo con la realidad y servir además en futuras etapas del desarrollo, se ha procedido a su caracterización a través de distintos criterios de evaluación los cuales han sido ciudadosamente seleccionados a partir de estudios y ensayos realizados por diversos autores.