├── Imagenes ├── aho.png ├── cp.jpeg ├── dij.jpg ├── hda.jpeg ├── ittlc.jpeg ├── kleene.jpeg ├── leslie.jpg ├── mrds.jpeg ├── vonn.jpeg ├── chomsky.jpeg ├── maquinat.jpg └── mineria.jpeg └── index.html /Imagenes/aho.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/aho.png -------------------------------------------------------------------------------- /Imagenes/cp.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/cp.jpeg -------------------------------------------------------------------------------- /Imagenes/dij.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/dij.jpg -------------------------------------------------------------------------------- /Imagenes/hda.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/hda.jpeg -------------------------------------------------------------------------------- /Imagenes/ittlc.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/ittlc.jpeg -------------------------------------------------------------------------------- /Imagenes/kleene.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/kleene.jpeg -------------------------------------------------------------------------------- /Imagenes/leslie.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/leslie.jpg -------------------------------------------------------------------------------- /Imagenes/mrds.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/mrds.jpeg -------------------------------------------------------------------------------- /Imagenes/vonn.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/vonn.jpeg -------------------------------------------------------------------------------- /Imagenes/chomsky.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/chomsky.jpeg -------------------------------------------------------------------------------- /Imagenes/maquinat.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/maquinat.jpg -------------------------------------------------------------------------------- /Imagenes/mineria.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RodolfoBaume/test/main/Imagenes/mineria.jpeg -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | Tarea 1.1_21200592 7 | 24 | 25 | 26 |

─── ･ ｡ﾟ☆: *.☽ .* :☆ﾟ. ─── Aportes a la Teoria de Automatas ─── ･ ｡ﾟ☆: *.☽ .* :☆ﾟ. ───

27 | 28 | 29 | Espinosa Antelis Gabriela Dyvheke 21200592 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 47 | 50 | 53 | 56 | 59 | 60 | 61 | 62 | 67 | 70 | 73 | 76 | 79 | 80 | 81 | 82 | 87 | 90 | 93 | 96 | 99 | 100 | 101 | 102 | 108 | 111 | 114 | 117 | 120 | 121 | 122 | 123 | 128 | 131 | 134 | 137 | 140 | 141 | 142 | 143 | 150 | 153 | 156 | 159 | 162 | 163 | 164 | 165 | 173 | 176 | 179 | 182 | 185 | 186 | 187 | 188 | 196 | 199 | 202 | 205 | 208 | 209 | 210 | 211 | 217 | 220 | 223 | 226 | 229 | 230 | 231 | 232 | 239 | 242 | 245 | 248 | 251 | 252 | 253 | 254 | 262 | 265 | 268 | 271 | 274 | 275 | 276 | 277 | 285 | 288 | 291 | 294 | 297 | 298 |
InvestigadorAporteAñoArea de
investigacion		Enfoque AdicionalImagen
Alan Turing 43 | Propuso la Maquina de Turing, un modelo 44 | abstracto para la computación. 45 | Sentó las bases para entender que 46 | problemas son computables y cuales no. 48 | 1936 49 | 51 | Teoria de la computación. 52 | 54 | Influencia en la inteligencia artificial. 55 | 57 | 58 |
John Von
Neumann		 63 | Desarrollo la arquitectura de Von Neumann, la cual 64 | influyo en el diseño de las primeras computadoras. 65 | Esta arquitectura introduce conceptos la ALU, la 66 | memoria entrada/salida, y unidad de control. 68 | 1945 69 | 71 | Arquitectura de computadoras. 72 | 74 | Relación con la informática moderna. 75 | 77 | 78 |
Stephen Kleene 83 | Introdujo los autómatas finitos y la clausura 84 | de Kleene. Los autómatas finitos son una 85 | herramienta fundamental en el estudio de la sintaxis 86 | de los lenguajes de programación. 88 | 1950's 89 | 91 | Lenguajes formales. 92 | 94 | Conexión con la teoría de lenguajes de programación. 95 | 97 | 98 |
Noam Chomsky 103 | Propuso la jerarquia de Chomsky, clasificando 104 | lenguajes segun su complejidad. Su trabajo tuvo 105 | un impacto significativo en la gramatica formal 106 | en el desarrollo de lenguajes de programacion. 107 | 109 | 1956 110 | 112 | Linguistica y teoria de lenguajes. 113 | 115 | Impacto en la gramática formal. 116 | 118 | 119 |
Michael Rabin
y
Dana Scott		 124 | Desarrollaron la logica de Hoare, utilizada 125 | en verificacion formal, un area crucial en 126 | la garantia de la corrección de software. 127 | 129 | 1960's 130 | 132 | Verificacion formal. 133 | 135 | Contribución a la verificación de programas. 136 | 138 | 139 |
John Hopcroft 144 | Coautor del influyente libro “Introduction to 145 | Automata Theory, Languages, and Computation”. 146 | Su trabajo se centra en la teoría de lenguajes 147 | formales y ha sido fundamental para comprender 148 | la computabilidad y la complejidad computacional. 149 | 151 | 1979 152 | 154 | Teoría de lenguajes formales. 155 | 157 | Enfoque en algoritmos de análisis léxico. 158 | 160 | 161 |
Alfred Aho 166 | Coautor del influyente libro “Introduction to 167 | Automata Theory, Languages, and Computation”. 168 | Su trabajo ha sido fundamental en el desarrollo 169 | de algoritmos eficientes para la búsqueda de patrones, 170 | lo que tiene aplicaciones en el procesamiento de texto 171 | y la bioinformática 172 | 174 | 1979 175 | 177 | Algoritmos y estructuras de datos 178 | 180 | Desarrollo de técnicas de búsqueda eficiente. 181 | 183 | 184 |
Leslie Valiant 189 | Propuso la Teoría de Complejidad de Circuitos Algebraicos. 190 | Su trabajo en complejidad computacional ha contribuido 191 | significativamente al entendimiento de la capacidad de 192 | cómputo de los sistemas y ha establecido fundamentos 193 | teóricos importantes para el diseño y análisis de 194 | algoritmos. 195 | 197 | 1980's 198 | 200 | Complejidad computacional 201 | 203 | Relación con la teoría de circuitos. 204 | 206 | 207 |
Rajeev Motwani 212 | Trabajó en algoritmos probabilísticos y minería de datos. 213 | Su investigación ha sido crucial para el desarrollo de 214 | técnicas de aprendizaje automático y la extracción de 215 | conocimiento útil a partir de grandes conjuntos de datos. 216 | 218 | 1990's 219 | 221 | Algoritmos y mineria de datos 222 | 224 | Exploración de técnicas de aprendizaje automático. 225 | 227 | 228 |
Christos
Papadimitriou		 233 | Autor de “Computational Complexity” y contribuyó a la 234 | teoría de juegos. Su trabajo en complejidad computacional 235 | y teoría de juegos ha sido fundamental para comprender 236 | los límites de la computación y las estrategias óptimas 237 | en situaciones competitivas. 238 | 240 | 1990's 241 | 243 | Complejidad computacional y teoria de juegos. 244 | 246 | Intersección entre la teoría de juegos y la informática teórica. 247 | 249 | 250 |
Edsger Dijkstra 255 | Desarrolló el algoritmo Dijkstra para encontrar 256 | el camino más corto en grafos. Su algoritmo es 257 | ampliamente utilizado en aplicaciones de redes 258 | y optimización de rutas, y sentó las bases para 259 | el desarrollo de otros algoritmos en el campo 260 | de la informática. 261 | 263 | 1956 264 | 266 | Algoritmos y estructuras de datos 267 | 269 | Optimizaciónn de rutas y redes. 270 | 272 | 273 |
Heron de
Alejandria		 278 | Ideó un mecanismo que abría y cerraba de forma 279 | automática las puertas de un templo. Aunque no 280 | relacionado directamente con la informática moderna, 281 | su contribución temprana a la automatización muestra 282 | la larga historia de la búsqueda de soluciones 283 | automáticas para problemas cotidianos. 284 | 286 | Siglo 1 d.C. 287 | 289 | Mecanica y automatizacion 290 | 292 | Contribución temprana a la automatización. 293 | 295 | 296 |
299 | 300 | 303 | 304 | 305 | 318 | 319 |
301 | REFERENCIAS 302 |
306 | *Herrera, A. (2017, 30 de septiembre). Historia y Evolución de la Teoría de Autómatas y Lenguajes Formales. Recuperado de https://www.goconqr.com/es/mapamental/10631292/historia-y-evolucion-de-la-teoria-de-automatas-y-lenguajes-formales 307 |
308 |
*Minsky, M. L. (1967). Computation: Finite and infinite machines. New York: Prentice-Hall. 309 |
310 |
*Turing, A. M. (1936). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 2(42), 230–265. https://historyofinformation.com/detail.php?entryid=735 311 |
312 |
*McCulloch, W. S., & Pitts, W. H. (1943). A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics, 5(4), 115–133. https://www.cs.cmu.edu/~./epxing/Class/10715/reading/McCulloch.and.Pitts.pdf 313 |
314 |
*Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2007). Introducción a la teoría de autómatas, lenguajes y computación (2a ed.). México: Pearson Educación. 315 |
316 |
*Linz, P. (2006). Teoría de la computación: Una introducción formal (3a ed.). México: McGraw-Hill. 317 |
320 | 321 | 322 | 323 | 324 | 325 | 326 | --------------------------------------------------------------------------------