Teou2
Clasificado en Informática
Escrito el en 
español con un tamaño de 4,67 KB
CADENA:una cadena de caracteres, palabra o frase(string) es una secuencia ordenada de una longitud arbitraria (aunque finita) de elementos que pertenecen a un sierto alfabeto. En general una cadena de caracteres es una sucesión de letras números u otros signos o simbolos.En matemáticas es habitual usar las letras w, x, y, z para referirnos a las cadenas.
Desde un punto de vista de la programación una cadena podrá estar formada por cualquier combinación finita de todo el juego de caracteres disponibles.
ALFABETO: es un conjunto ordenado de las letras de un idioma es la agrupación con un orden determinado de las grafías utilizadas para representar el lenguaje que sirve como sistema de comunicación en matematicas es un conjunto ordenado finito de simbolos
LENGUAJE: un lenguaje formal es un cojunto de palabras (cadena de caracteres) de longitud finita formadas a partir de un alfabeto (en el conjunto de caracteres) finito. El nombre lenguaje se justifica por que las estructuras que con este se forman tienen reglas (dramática) e interpretación semántica(significado).
Los lenguajes formales se pueden especificar de una amplia variedad de formas como por ejemplo:
@cadenas producidas por una gramatica formal
@cadenas producidas por una expresión regular
@cadenas aceptados por un autómata tal como una maquina de turing
EXPRESION REGULAR: también llamada patrón, es una forma de representar a los lenguajes regulares y se construye utilizando caracteres del alfabeto sobre el cual se define el lenguaje específicamente las expresiones regulares se construyen y cerradura de kleene
CONCATENACION: es la operación por la cual dos caracteres se unen para formar una cadena de caracteres o un string, también se pueden concatenar 2 cadenas de caracteres o una carácter con una cadena para formar una cadena de mayor tamaño.
CERRADURA DE KLEENE A* : si A es un lenguaje sobre un alfabeto la cerradura estrella se define de la siguiente manera A*= U? n= 0 An es decir que el carácter puede aparecer en una cadena 0,1,.., ?
CERRADURA POSITIVA A+:
Se define de la siguiente manera A+ = U?n=1 An es decir, indica que el carácter al que sigue el signo deberá aparecer al menos una vez.
AUTOMATAS FINITOS: el autómata finito es un modelo matematico de un sistema de entradas y salidas discretas. El sistema puede estar en cualquiera de un numero finito de configuraciones o estados. El estado del sistema resume la información concerniente a entradas anteriores y que es necesaria para determinar el comportamiento del sistema para entradas posteriores. Se dice que un lenguaje es regular se s aceptada por un automa finito
AUTOMATA FINITO DETERMINISTICOS: es un conjunto de estados y un conjunto de transicisiones de estado a estado que se dan sobre simbolos de entrada tomados de un alfabeto.
Para cada símbolo de entrada existe solo una transición apartir de cada estado. Se tiene un estado inicial y uno o mas estados de aceptación. Un AFD esta asociado a un grafo dirigido conocido como diagrama de transiciones.
DEFINICION DE AUTOMATA:
AFD=(Q, ?, ä , q0, f)
Donde:
Q: es el conjunto finito de estados
?: es el alfabeto de entrada finito
ä : son las funciones de transición o tabla de transiciones
q0: es el estado inicial
f: es el conjunto de estados finales
Los autómatas finitos se encuentran en el nivel mas bajo de la jerarquía de maquinas y lenguajes.
Una de esas aplicaciones es la construcción de compiladores por ejemplo un compilador deber ser capas de reconocer cuales son las cadenas, símbolos, del programa fuente que deben considerarse como representaciones de objetos individuales.
Por ejemplo: nombre de variables, constantes numéricas y palabras reservadas. Esta tarea de reconocimiento de patrones es manejada por el analizador léxico del compilador
Desde un punto de vista de la programación una cadena podrá estar formada por cualquier combinación finita de todo el juego de caracteres disponibles.
ALFABETO: es un conjunto ordenado de las letras de un idioma es la agrupación con un orden determinado de las grafías utilizadas para representar el lenguaje que sirve como sistema de comunicación en matematicas es un conjunto ordenado finito de simbolos
LENGUAJE: un lenguaje formal es un cojunto de palabras (cadena de caracteres) de longitud finita formadas a partir de un alfabeto (en el conjunto de caracteres) finito. El nombre lenguaje se justifica por que las estructuras que con este se forman tienen reglas (dramática) e interpretación semántica(significado).
Los lenguajes formales se pueden especificar de una amplia variedad de formas como por ejemplo:
@cadenas producidas por una gramatica formal
@cadenas producidas por una expresión regular
@cadenas aceptados por un autómata tal como una maquina de turing
EXPRESION REGULAR: también llamada patrón, es una forma de representar a los lenguajes regulares y se construye utilizando caracteres del alfabeto sobre el cual se define el lenguaje específicamente las expresiones regulares se construyen y cerradura de kleene
CONCATENACION: es la operación por la cual dos caracteres se unen para formar una cadena de caracteres o un string, también se pueden concatenar 2 cadenas de caracteres o una carácter con una cadena para formar una cadena de mayor tamaño.
CERRADURA DE KLEENE A* : si A es un lenguaje sobre un alfabeto la cerradura estrella se define de la siguiente manera A*= U? n= 0 An es decir que el carácter puede aparecer en una cadena 0,1,.., ?
CERRADURA POSITIVA A+:
Se define de la siguiente manera A+ = U?n=1 An es decir, indica que el carácter al que sigue el signo deberá aparecer al menos una vez.
AUTOMATAS FINITOS: el autómata finito es un modelo matematico de un sistema de entradas y salidas discretas. El sistema puede estar en cualquiera de un numero finito de configuraciones o estados. El estado del sistema resume la información concerniente a entradas anteriores y que es necesaria para determinar el comportamiento del sistema para entradas posteriores. Se dice que un lenguaje es regular se s aceptada por un automa finito
AUTOMATA FINITO DETERMINISTICOS: es un conjunto de estados y un conjunto de transicisiones de estado a estado que se dan sobre simbolos de entrada tomados de un alfabeto.
Para cada símbolo de entrada existe solo una transición apartir de cada estado. Se tiene un estado inicial y uno o mas estados de aceptación. Un AFD esta asociado a un grafo dirigido conocido como diagrama de transiciones.
DEFINICION DE AUTOMATA:
AFD=(Q, ?, ä , q0, f)
Donde:
Q: es el conjunto finito de estados
?: es el alfabeto de entrada finito
ä : son las funciones de transición o tabla de transiciones
q0: es el estado inicial
f: es el conjunto de estados finales
Los autómatas finitos se encuentran en el nivel mas bajo de la jerarquía de maquinas y lenguajes.
Una de esas aplicaciones es la construcción de compiladores por ejemplo un compilador deber ser capas de reconocer cuales son las cadenas, símbolos, del programa fuente que deben considerarse como representaciones de objetos individuales.
Por ejemplo: nombre de variables, constantes numéricas y palabras reservadas. Esta tarea de reconocimiento de patrones es manejada por el analizador léxico del compilador