Please enable JavaScript.
Coggle requires JavaScript to display documents.
Autómatas y Lenguajes Formales (Lenguaje: es un sistema de comunicación…
Autómatas y Lenguajes Formales
Lenguaje
: es un sistema de comunicación estructurado para el que existe un contexto de uso y ciertos principios combinatorios formales.
Lenguaje Formal:
es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.
Símbolo
Un dato arbitrario que tiene algún significado o efecto en la máquina. A estos símbolos también se les llama "letras" o "átomos".
Palabra
Una cadena finita formada por la concatenación de un número de símbolos.
Alfabeto
Conjunto finito de símbolos. Un alfabeto se indica normalmente con {\displaystyle \Sigma } \Sigma, que es el conjunto de letras en un alfabeto.
Operaciones con Lenguajes Formales
Unión de lenguajes
Concatenación de lenguajes.
Potencia de un lenguaje
Clausura positiva
Clausura, Iteración o cierre
Reflexión
Intersección
Complemento
Diferencia
Otras Leyes que se usan son
Leyes de Morgan
Leyes de Complemento
Distributividad
Expresiones regulares
: es una secuencia de caracteres que forma un patrón de búsqueda, principalmente utilizada para la búsqueda de patrones de cadenas de caracteres u operaciones de sustituciones.
Autómata Finito o Maquinas de Estado Finito
Definición
: es un modelo computacional que realiza cómputos en forma automática sobre una entrada para producir una salida.
Maquinas Secuenciales
Definición; es un sistema que acepta unas entradas y genera unas salidas en instantes de tiempo discretos, la salida en un instante depende de la entrada y de la condición interna (estado) de la maquina en ese instante y, ademas, esa entrada y el estado en ese instante determinan el estado que la maquina tendrá en el instante siguiente
Existen
Maquina de Mealy:
que consiste en un conjunto finito de estados S, un alfabeto (conjunto finito no vacío) de entradas I, un alfabeto de salidas O, un estado inicial s0, una función de transición f : S × I → S y una función de salida g : S × I → O.
Maquina de Moore:
la salida esta determinada solo por el estado
Alumno: Víctor Perez
Materia: Autómatas Lenguajes Formales
Sección: Saia A
Profesor: Edecio Freitez
Algunas definiciones