Please enable JavaScript.
Coggle requires JavaScript to display documents.
R1.1 - Teoría de la Computación - Coggle Diagram
R1.1 - Teoría de la Computación
Elementos de los lenguajes formales
Símbolos Terminales y No Terminales, y las Reglas de Producción
Simbología
¿Qué estudia la teoría de la computación?
Esta trata con modelos de cálculo abstractos que describen con distintos
grados de precisión las diferentes partes y tipos de computadores.
No se
usa para describir detalles prácticos del hardware de un determinado ordenador.
Sino que más
bien se ocupan de cuestiones abstractas sobre la capacidad de los ordenadores, en general.
Los modelos
abstractos de cálculo abarcan todo tipo de computadores que existen, que puedan llegar
a existir o simplemente que uno pueda imaginar.
lo importante no es
buscar la mejor manera de hacer las cosas (optimalidad), sino estudiar qué puede o no
puede hacerse con un ordenador (computabilidad).
¿Qué estudia la teoría de autómatas?
Es una rama de las ciencias de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver. La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer.
Aplicaciones de la teoría de autómatas
Reconocimiento de Patrones
Teoría de la Comunicación.
Traducción Automática de Lenguajes.
Teoría de Control.
Lógica de Circuitos Secuenciales.
Fisiología del Sistema Nervioso.
Estructura y Análisis de los Lenguajes de Programación
Teoría Algebraica de Lenguajes.
Importancia de los lenguajes formales
Resultó tener una relación sorprendente con la Teoría de
Autómatas y la Computabilidad. A cada una de las clases de lenguajes definidas en
la jerarquía de Chomsky a partir de restricciones impuestas a las gramáticas, le corresponde un
tipo de máquina abstracta, que no es otra cosa que un método reconocedor para la descripción
de lenguajes. Cada uno de estos tipos de máquinas es capaz de resolver problemas cada vez más complejos, desde los autómatas finitos (que son
los más simples) hasta las máquinas de Turing que determinan el límite de los procesos computables.