Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.

Autores
Aguirre, Jorge; Arroyo, Marcelo; Bavera, Francisco
Año de publicación
2004
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
El temprano desarrollo de la teoría de Lenguajes Formales y Autómatas dentro de las Ciencias de Computación hizo que su cuerpo de conocimientos y algoritmos se conformara antes de que se contara con métodos de diseño que garanticen corrección, que permitan derivar algoritmos a partir de especificaciones o verificarlos usando técnicas especiales para ello. Como consecuencia el enfoque usual de la bibliografía consiste en presentar los algoritmos o autómatas y luego demostrar que satisfacen el problema a resolver. En esta línea de trabajo se pretende reformular la presentación de los resultados usando métodos de diseño que garanticen la corrección. Un resultado de ésta línea ya obtenido es un método para la construcción de autómatas finitos a partir del predicado que define su conjunto de aceptación. Dicho método garantiza la corrección de los autómatas construidos, que ha sido usado tanto para rehacer todas las construcciones de autómatas finitos requeridos en el cuerpo de la teoría de Lenguajes Formales, incluyendo el teorema fundamental del análisis LR como para probar su aplicación a la construcción de diversos casos de estudio con objetivos prácticos.
Eje: Inteligencia artificial distribuida, aspectos teóricos de la inteligencia artificial y teoría de computación
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Procesadores de Lenguajes
ARTIFICIAL INTELLIGENCE
Languages
Teoría de Lenguajes Formales y Autómatas
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/21229

id SEDICI_df1c442767f067a4d5db6a207b8e34c7
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21229
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.Aguirre, JorgeArroyo, MarceloBavera, FranciscoCiencias InformáticasProcesadores de LenguajesARTIFICIAL INTELLIGENCELanguagesTeoría de Lenguajes Formales y AutómatasEl temprano desarrollo de la teoría de Lenguajes Formales y Autómatas dentro de las Ciencias de Computación hizo que su cuerpo de conocimientos y algoritmos se conformara antes de que se contara con métodos de diseño que garanticen corrección, que permitan derivar algoritmos a partir de especificaciones o verificarlos usando técnicas especiales para ello. Como consecuencia el enfoque usual de la bibliografía consiste en presentar los algoritmos o autómatas y luego demostrar que satisfacen el problema a resolver. En esta línea de trabajo se pretende reformular la presentación de los resultados usando métodos de diseño que garanticen la corrección. Un resultado de ésta línea ya obtenido es un método para la construcción de autómatas finitos a partir del predicado que define su conjunto de aceptación. Dicho método garantiza la corrección de los autómatas construidos, que ha sido usado tanto para rehacer todas las construcciones de autómatas finitos requeridos en el cuerpo de la teoría de Lenguajes Formales, incluyendo el teorema fundamental del análisis LR como para probar su aplicación a la construcción de diversos casos de estudio con objetivos prácticos.Eje: Inteligencia artificial distribuida, aspectos teóricos de la inteligencia artificial y teoría de computaciónRed de Universidades con Carreras en Informática (RedUNCI)2004-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf395-400http://sedici.unlp.edu.ar/handle/10915/21229spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:54:33Zoai:sedici.unlp.edu.ar:10915/21229Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:54:33.305SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.
title Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.
spellingShingle Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.
Aguirre, Jorge
Ciencias Informáticas
Procesadores de Lenguajes
ARTIFICIAL INTELLIGENCE
Languages
Teoría de Lenguajes Formales y Autómatas
title_short Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.
title_full Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.
title_fullStr Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.
title_full_unstemmed Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.
title_sort Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.
dc.creator.none.fl_str_mv Aguirre, Jorge
Arroyo, Marcelo
Bavera, Francisco
author Aguirre, Jorge
author_facet Aguirre, Jorge
Arroyo, Marcelo
Bavera, Francisco
author_role author
author2 Arroyo, Marcelo
Bavera, Francisco
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Procesadores de Lenguajes
ARTIFICIAL INTELLIGENCE
Languages
Teoría de Lenguajes Formales y Autómatas
topic Ciencias Informáticas
Procesadores de Lenguajes
ARTIFICIAL INTELLIGENCE
Languages
Teoría de Lenguajes Formales y Autómatas
dc.description.none.fl_txt_mv El temprano desarrollo de la teoría de Lenguajes Formales y Autómatas dentro de las Ciencias de Computación hizo que su cuerpo de conocimientos y algoritmos se conformara antes de que se contara con métodos de diseño que garanticen corrección, que permitan derivar algoritmos a partir de especificaciones o verificarlos usando técnicas especiales para ello. Como consecuencia el enfoque usual de la bibliografía consiste en presentar los algoritmos o autómatas y luego demostrar que satisfacen el problema a resolver. En esta línea de trabajo se pretende reformular la presentación de los resultados usando métodos de diseño que garanticen la corrección. Un resultado de ésta línea ya obtenido es un método para la construcción de autómatas finitos a partir del predicado que define su conjunto de aceptación. Dicho método garantiza la corrección de los autómatas construidos, que ha sido usado tanto para rehacer todas las construcciones de autómatas finitos requeridos en el cuerpo de la teoría de Lenguajes Formales, incluyendo el teorema fundamental del análisis LR como para probar su aplicación a la construcción de diversos casos de estudio con objetivos prácticos.
Eje: Inteligencia artificial distribuida, aspectos teóricos de la inteligencia artificial y teoría de computación
Red de Universidades con Carreras en Informática (RedUNCI)
description El temprano desarrollo de la teoría de Lenguajes Formales y Autómatas dentro de las Ciencias de Computación hizo que su cuerpo de conocimientos y algoritmos se conformara antes de que se contara con métodos de diseño que garanticen corrección, que permitan derivar algoritmos a partir de especificaciones o verificarlos usando técnicas especiales para ello. Como consecuencia el enfoque usual de la bibliografía consiste en presentar los algoritmos o autómatas y luego demostrar que satisfacen el problema a resolver. En esta línea de trabajo se pretende reformular la presentación de los resultados usando métodos de diseño que garanticen la corrección. Un resultado de ésta línea ya obtenido es un método para la construcción de autómatas finitos a partir del predicado que define su conjunto de aceptación. Dicho método garantiza la corrección de los autómatas construidos, que ha sido usado tanto para rehacer todas las construcciones de autómatas finitos requeridos en el cuerpo de la teoría de Lenguajes Formales, incluyendo el teorema fundamental del análisis LR como para probar su aplicación a la construcción de diversos casos de estudio con objetivos prácticos.
publishDate 2004
dc.date.none.fl_str_mv 2004-05
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/21229
url http://sedici.unlp.edu.ar/handle/10915/21229
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
395-400
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615803126677504
score 13.070432