AUTOMATAS Y LENGUAJES FORMALES

FASE 1

JUAN LEONARDO TORRES PARRA

COD:1104776764

UNIVERDIDAD NACIONAL ABIERTA Y A

DISTANCIA (UNAD)
INGENIERIA DE SISTERMAS
FEBRERO DEL 2022
 1. REFERENCIAS BIBLIOGRAFICAS Y SINTESIS
BASES DE BIBLIOGRAFIA: ARTICULO CIENTIFICO – SISTESIS
DATOS APA 6.0

EBSCO MLA, 8.ª edición (Modern Language Assoc.)
Berstel, Jean, et al. Codes and Automata.
Cambridge University Press, 2010.
APA, 7.ª edición (American Psychological Assoc.)
Berstel, J., Reutenauer, C., & Perrin, D. (2010).
Codes and Automata. Cambridge University
Press.
EBSCO
MLA, 8.ª edición (Modern Language Assoc.)
Carrasco, Rafael C., et al. Teoría de
Lenguajes, Gramáticas y Autómatas Para
Informáticos. Digitalia, 2000.
APA, 7.ª edición (American Psychological
Assoc.)
Carrasco, R. C., Calera Rubio, J., & Forcada
Zubizarreta, M. L. (2000). Teoría de
lenguajes, gramáticas y autómatas para
informáticos. Digitalia.
Este artículo se complementa con una discusión sobre la
conexión entre códigos y transductores, y nuevo material
del campo de la dinámica simbólica. esta es una referencia
completa sobre la teoría de los códigos de longitud variable
y su relación con los autómatas inequívocos.
También esta incluida la compresión de datos y el
procesamiento de textos, se encuentra material de
referencia sobre matemáticas discretas, álgebra e
informática teórica.
Se basa en que la ingeniería informática es uno de los
ámbitos en los que mayor importancia y repercusión
tiene la teoría matemática de los lenguajes. Por un
lado, gran parte de las tareas que se realizan en este
campo, como la implementación de compiladores y
analiza-dores sintácticos, el desarrollo de lenguajes
de programación.
SCIELO Massolo/alba/versión impresa ISSN 0718 estos estudios advierten que el razonamiento humano
-1361versión On-line ISSN 0718-5065 se apoya en la construcción de modelos mentales de
Límite baja demanda computacional y que existen ciertos
(Arica) vol.14 Arica 2019 Epub 03- patrones de procesamiento, denomi nados sesgos
Oct-2019 cognitivos, que están directamente vinculados a los
http://dx.doi.org/10.4067/s0718- típicos errores de razonamiento.
50652019000100210 Se analiza de qué manera estas características del
razonamiento humano están vinculadas con la
aprehensión del concepto de consecuencia lógica. Para
esto, realizamos un estudio exploratorio en un grupo de
estudiantes universitarios de un curso introductorio de
lógica de primer orden, a fin de observar si existe alguna
relación entre el uso de lenguajes formales y la
evaluación de argumentos.
SCIELO Scivoletto/Gonzalo/Universidad Nacional Se abordan temas como la interculturalidad a partir de la
de Cuyo – CONICET Lenguaje y ética discursiva de Karl-Otto Apel. Para ello se toma
comprensión intercultural como hilo conductor la concepción hermenéutica del
Recibido: 25/06/2015 lenguaje y las dificultades que se presentan en la
Aceptado: 29/11/2015 Estud. filos. práct. comprensión entre "culturas" o formas de vida extrañas.
hist. ideas vol.18 no.2 Mendoza dic. 2016 Primero se expone la relación fundamental entre
comprensión y argumentación, luego la reconstrucción
de la teoría de los actos de habla por parte de la
pragmática formal (Habermas) o trascendental (Apel)
para indicar las dificultades de conceptualizar el sentido
o comprensibilidad como pretensión de validez.
SCIENCEDIREC M. Puyuelo Sanclemente. División de La importancia del lenguaje en el aprendizaje escolar
T Ciencias de la Educación. y en la interacción social hace necesario el poder
Departamento de Teoría e Historia de disponer de toda una serie de recursos para conocer
la Educación. Universidad de la competencia lingüística de los alumnos a través
Barcelona. C/ Baldiri i Reixac, s/n de diferentes medios de evaluación y de análisis.
Torre D, 1er piso. 08028 Barcelona. Esto ha dado lugar a métodos en los últimos
decenios basados en los conocimientos teóricos del
momento, en la experiencia clínica acumulada, así
como en los diversos enfoques psicométricos que
se han ido poniendo a punto. Dentro de las
diferentes posibilidades de evaluación, los tests a
pesar de sus limitaciones son una de las técnicas
más utilizadas para valorar múltiples aspectos del
lenguaje.
SCIENCEDIREC M. Ghorani, S. Garhwal and S. Definieron los autómatas de árbol como autómatas de
T Moghari/Article history: Received 12 estado finito que leen árboles etiquetados finitos; ya sea
April 2020 Received in revised form 1 de las hojas hacia la raíz o de la raíz hacia las hojas. Los
July 2021 Accepted 2 December 2021 árboles autómatas son herramientas importantes en
Available online 15 December Ciencias de la Computación y se utilizan con frecuencia
2021/International Journal of en diversas áreas de las Ciencias de la Computación
Approximate Reasonin
2. Realizar la presentación con la conceptualización y ejemplos de:

ALFABETO: El alfabeto es un sistema fonético de un número determinado de

símbolos asociados a los sonidos elementales de un idioma o lenguaje. La
palabra alfabeto proviene del latín alphabetum que es compuesto por la
conjugación de ἄλφα o alpha y βῆτα beta, las primeras dos primeras letras
del alfabeto griego.

PALABRA O CADENA: En programación, una cadena de

caracteres, palabras, ristra de caracteres o frase (string, en inglés) es una
secuencia ordenada (de longitud arbitraria, aunque finita) de elementos que
pertenecen a un cierto lenguaje formal o alfabeto análogas a una fórmula o a
una oración.

LENGUAJE REGULAR : Son los lenguajes formales más simples, con los
mecanismos de representación y reconocimiento de tres tipos, gramáticas
regulares, autómatas finitos o expresiones regulares.
EXPRESION REGULAR: Estas son un formalismo para representar lenguajes. Dado un
alfabeto, las expresiones regulares describen conjuntos de cadenas del alfabeto. Por
lo tanto, describen lenguajes sobre el alfabeto.

EXPRESION DE CONJUNTOS: Una expresión de conjuntos se compone de una

combinación de las partes siguientes: Identificadores. Uno o varios identificadores
definen la relación existente entre la expresión de conjuntos y lo que se evalúa en el
resto de la expresión.
POR EXTENCION: A = {2, 4, 6, 8, 10} es un conjunto en el que se indican todos sus
elementos, por lo tanto es un conjunto por extensión.
POR INTENCION: consiste en declarar todos lo elementos que lo forman. declarar
cuáles elementos de un cierto conjunto son seleccionados. Esto se lleva a
cabo por una propiedad o predicado P(x).

PALABRAS NULAS O VACIAS: es el nombre que reciben las palabras sin

significado como artículos, pronombres, preposiciones, etc. que son filtradas antes o
después del procesamiento de datos en lenguaje natural (texto).

OPERACIÓN REGULARES UNION: La unión de dos lenguajes regulares es otro lenguaje

regular. Se utiliza la operación de unión de conjuntos; así, para el alfabeto S ={x,y} si L1 =
{x,xy} y L2 = {yz,yy} entonces su unión será L1  L2 = {x,xy,yz,yy }.
OPERACIÓN REGULARES-CONCATENACION : La concatenación de dos lenguajes regulares es otro lenguaje regular. Se
concatenan una cadena del primer lenguaje y una cadena del segundo. Con L1 y L2 anteriores la concatenación (que se
denota ) será L1  L2 ={xyx,xyy,xyyz,xyyy}. La concatenación no es conmutativa (L1  L2  L2  L1 ).

OPERACIÓN REGULARES-ESTRELLA DE KLEENE: La estrella de Kleene de cualquier lenguaje regular también es

regular. Se caracteriza por que se utiliza solo un lenguaje en lugar de dos. Se logra formando todas
las concatenaciones de cero (cadena vacía) o más cadenas del lenguaje que se amplía. La operación se
representa con el asterisco supraíndice ( * ). Como se vio al principio de este apartado, la cadena vacía, l, no
se consideraba como uno de los bloques de formación de lenguajes, y es porque se genera a partir de Æ por
medio de la estrella de Kleene; la cadena vacía pertenece a la estrella de Kleene de cualquier lenguaje posible
y por lo tanto debe pertenecer a Æ* y, por tanto, Æ**={l }.

OPERADOR: es una aplicación entre dos espacios vectoriales. Se usa con más frecuencia cuando alguno de
ellos tiene dimensión infinita. Este suele ser el caso de un espacio vectorial cuyos elementos son funciones. Si
se trata de una aplicación lineal, podemos llamarle operador lineal.

PRECEDENCIA DE LOS OPERADORES: determina el orden en el cual los operadores son evaluados.
Los operadores con mayor precedencia son evaluados primero. El operador de multiplicación ("*") tiene
una precedencia mas alta que el operador de suma ("+") y por eso será evaluado primero.
AUTOMATA: Máquina automática programable capaz de realizar determinadas operaciones de manera
autónoma y sustituir a los seres humanos en algunas tareas, en especial las pesadas, repetitivas o
peligrosas; puede estar dotada de sensores, que le permiten adaptarse a nuevas situaciones.

AUTOMATA FINITO: es un modelo computacional que realiza cómputos en forma automática sobre
una entrada para producir una salida. Este modelo está conformado por un alfabeto, un conjunto
de estados finito, una función de transición, un estado inicial y un conjunto de estados finales.

AUTOMATA FINITO DETERMINISTA: es un autómata finito que además es un sistema determinista; es decir,
para cada estado en que se encuentre el autómata, y con cualquier símbolo del alfabeto leído, existe
siempre no más de una transición posible desde ese estado y con ese símbolo.

AUTOMATA FINITO NO DETERMINISTA: es un autómata finito que, a diferencia de los autómatas finitos
deterministas (AFD), posee al menos un estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto, existe
más de una transición δ(q,a) posible.
REFERENCIAS BIBLIOGRAFICAS

https://es.wikipedia.org/wiki/Cadena_de_caracteres#:~:text=En%20programaci%C3%B3n%2C%20una%20cad
ena%20de,una%20f%C3%B3rmula%20o%20a%20una%20oraci%C3%B3n.

https://help.qlik.com/es-
ES/qlikview/May2021/Subsystems/Client/Content/QV_QlikView/ChartFunctions/SetAnalysis/set-analysis-
expressions.htm

http://aconute.es/computacion/automatasFinitos/ta_cap1_6.html#:~:text=La%20uni%C3%B3n%20de%20dos
%20lenguajes,xy%2Cyz%2Cyy%20%7D.

https://languages.oup.com/google-dictionary-es