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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/21229
Ver los metadatos del registro completo
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 |