Ordenador conceptual – Módulo 1

Relaciones conceptuales. Ideas

Módulo 1
Categorías conceptuales enlazadas

Estás aquí 1.1 Conjuntos, funciones, relaciones y Ejemplos:

métodos de prueba
- Relación:

Dados los conjuntos 𝐴={1,2} y

 Conjunto: colección de objetos 𝐵={𝑎,𝑏}
cuyos elementos pueden o no tener
una relación entre ellos. • Su producto cartesiano es: 𝐴 𝑥
Unidad 1.  Definición de conjunto: 𝐵={(1,𝑎),(1,𝑏),(2,𝑎),(2,𝑏)}.
o Por enumeración: P={0, 1, 2,
Lenguajes
3, 4, 5, 6, 7}. • Una relación es un subconjunto
formales o Por comprensión: 𝑃={𝑥 |𝑥 𝑒𝑠 de ese producto, por ejemplo:
𝑝𝑒𝑟𝑟𝑜}. 𝑅={(2,𝑎),(2,𝑏)}.
 Relaciones entre conjuntos y sus
1.1 Conjuntos, elementos: - Función:
funciones, o Pertenencia. Dado un
relaciones y elemento 𝑥 𝑥, este puede o Dados los conjuntos 𝑷={𝒙 |𝒙 𝒆𝒔
métodos de no pertenecer a un conjunto 𝒑𝒐𝒍í𝒈𝒐𝒏𝒐} y 𝑵={𝒚 |𝒚 𝒆𝒔
prueba dado 𝐴 (𝑥∈𝐴). 𝒏ú𝒎𝒆𝒓𝒐}:
1.2 Alfabetos. o Igualdad. Dos conjuntos son
Palabra. iguales si y solo si tienen los • Ambos conjuntos están
Operaciones mismos elementos. relacionados a través del número
con palabras o Inclusión. Dado un conjunto de lados de cada polígono: a
1.3 Definición 𝐴, cualquier subcolección 𝐵 cada polígono del conjunto 𝑃 le
formal de de sus elementos es un corresponde un valor (y solo
lenguaje. subconjunto de 𝐴 (𝐵⊆𝐴). uno) del conjunto 𝑁.
Operaciones  Operaciones con conjuntos:
con o Unión. 𝐴∪𝐵 contiene todos
lenguajes los elementos de 𝐴 y de 𝐵.
1.4 Expresiones o Intersección. 𝐴∩𝐵 contiene
regulares todos los elementos
comunes de A y B.
o Diferencia. 𝐴−𝐵 contiene
Gramáticas todos los elementos de 𝐴
formales que no pertenecen a 𝐵.
o Complemento. 𝐴𝐶 contiene
 todos los elementos que no
pertenecen a 𝐴.
2.1 Definición. o Producto cartesiano. 𝐴 𝑥 𝐵
Tipos de contiene todos los pares
gramáticas. ordenados (𝑎,𝑏) tal que
Gramáticas a∈𝐴 y b∈𝐵.
tipo 0  Relaciones y Funciones. Dado dos
2.2 Gramáticas conjuntos 𝑅 y 𝑇:
independien o Una relación es cualquier
tes del subconjunto del producto
contexto. cartesiano R 𝑥 𝑇.
Gramáticas o Una función es un caso
regulares particular de una relación,
donde cada elemento 𝑥∈𝑋
se relaciona con un (y sólo
un) 𝑦∈𝑌.
 Métodos de prueba
o demostraciones deductivas;
o reducción a definiciones;
o demostración del tipo Si –
entonces;
o demostración del tipo Si – y
– solo –si;
o demostración por reducción
al absurdo;
o contraejemplos;
o demostraciones inductivas.
1.2 Alfabetos. Palabra. Operaciones
con palabras
 Alfabetos: conjuntos de símbolos
 Palabra (o cadena): sobre un
alfabeto Σ, es una secuencia finita
de símbolos de Σ.
 Operaciones con palabras:
o La concatenación 𝑥𝑦 de las
palabras 𝑥 e 𝑦 se obtiene
añadiendo los símbolos de 𝑦
a continuación de los de 𝑥.
 Ejemplos de alfabetos:
Σ1={0,1} es el alfabeto de los
números binarios;
Σ2={<,>} es el alfabeto de los
símbolos < y >
 Ejemplos de palabras:
Sea el alfabeto Σ={𝑎,𝑏,𝑐,𝑑,𝑒,
………..,𝑧} (letras minúsculas
latinas), son palabras sobre Σ
las cadenas
𝑗𝑢𝑎𝑛,𝑎𝑙𝑢𝑚𝑛𝑜,𝑎𝑢𝑡𝑜. Sin
embargo, la cadena Perro no es
válida, ya que P no pertenece a
Σ.
 Ejemplo de concatenación:
Si 𝑥=𝑏𝑙 e 𝑦=𝑎𝑎𝑎𝑏𝑙𝑎, la
concatenación es
𝑧=𝑥𝑦=𝑏𝑙𝑎𝑎𝑎𝑏𝑙𝑎.
 Ejemplo de expresión regular:
La expresión a𝑏∗ puede
emplearse para buscar un texto
que consiste en 1 carácter 𝑎
seguido de por 0 o más
caracteres 𝑏. Esta expresión
genera un conjunto infinito
{𝑎,𝑎𝑏,𝑎𝑏𝑏,𝑎𝑏𝑏𝑏…}.
La expresión regular 01∗+10∗
indica que el lenguaje consiste de
todas las cadenas formadas por
un solo 0 seguido por cualquier
número de 1 o de un solo 1
seguido de cualquier número de
1
 o Potencia i-ésima 𝑎𝑖 de una
palabra 𝑎 consiste en
concatenarla consigo misma
𝑖 cantidad de veces.
o Sea 𝑥=𝜎1𝜎2…𝜎𝑛 su palabra
inversa (refleja) se
representa como 𝑥𝑅, donde
𝑥𝑅= 𝜎𝑛…𝜎2𝜎1.
0.
Consideremos la expresión:
(0∪1)01∗. El lenguaje descripto
por esta expresión es el conjunto
de todas las cadenas binarias:
1. que comienzan con 0 o 1 (esto
lo indica (0∪1));

1.3 Definición formal de lenguaje. 2. el segundo símbolo es 0 (esto

Operaciones con lenguajes lo indica 0);

 Lenguaje, sobre un alfabeto Σ, es 3. y finaliza con cero o más 1′𝑠

cualquier subconjunto 𝐿 del (esto lo indica 01∗).
conjunto universal de palabras
sobre el alfabeto Σ.
 Operaciones con lenguajes: sean
𝐿1 y 𝐿2 dos lenguajes sobre Σ. Con lo que resulta que el
o Concatenación 𝐿1𝐿2: lenguaje descripto por esta
consiste en todas aquellas expresión es {00,001,0011,….,10,
palabras de la forma 𝑦𝑤 101, …., 1011, 10111}.
donde 𝑦 es una palabra de
𝐿1, y 𝑤 es una palabra de 𝐿2.
o Unión 𝐿1+𝐿2: es el conjunto
formado por las palabras
que pertenezcan
indistintamente a 𝐿1 o 𝐿2.
o La potencia i-ésima 𝐿i de un
lenguaje L está dada por
concatenarlo i veces.
o Cierre o clausura 𝐿*: es el
lenguaje que se obtiene
uniendo 𝐿 con todas sus
potencias posibles, incluso
𝐿0.
o El inverso 𝐿R de 𝐿 contiene
las palabras inversas a las de
𝐿.

1.4 Expresiones regulares

 Una expresión regular describe un

2
 posible conjunto infinito de
cadenas (lenguaje).
 En otros contextos, las expresiones
regulares se usan para seleccionar
o buscar cadenas.
 Operaciones con lenguajes
regulares:
o Unión de 𝐴 y 𝐵:
𝐴∪𝐵={𝑥|𝑥∈𝐴∨𝑥∈𝐵}.
o Concatenación de A y B,
AB={ab|a∈A∧b∈B}.
o El cierre de Kleene L∗ de
L representa la unión
infinita ∪i≥0Li, donde
L0={ϵ},L1=L, y Li, para i>1
es LLL…L (la
concatenación de i
copias de L).

2.1 Definición. Tipos de gramáticas.

Gramáticas tipo 0

 Una gramática especifica (de una

manera finita) un conjunto de
sentencias, o cadenas de símbolos,
potencialmente infinito y que
constituye un lenguaje.
 Tipos de gramáticas:

3
2.2 Gramáticas independientes del
contexto. Gramáticas regulares

 Gramática independiente del

contexto: 𝐺=(𝑉,𝑇,𝑃,𝑆)
o 𝑉 es un conjunto de
variables;
o 𝑇 son los terminales;
o 𝑃 es el conjunto de
producciones;
o 𝑆 es el símbolo inicial.
 Una gramática regular describe un
lenguaje regular.

4
 Ordenador conceptual – Módulo 2

Relaciones conceptuales.
Módulo 2
Categorías conceptuales Ideas enlazadas

3 Ejemplos:

Estás aquí Máquinas secuenciales: - Cualquier autómata

puede representarse a
 Una maquina secuencial es un autómata través de un diagrama de
finito determinista sin estados finales: estados o de una tabla de
o recibe una entrada y tiene la capacidad transición, y la
de generar símbolos de salida. conversión de una
 Las máquinas de estado finito poseen: representación a la otra
o un conjunto finito de estados es directa, como se
Unidad 2.
definidos: muestra en los siguientes
Máquinas
 uno de los cuales se define ejemplos.
secuenciales y
como estado inicial de la
autómatas
máquina; Tabla de transición:
finitos
o un conjunto de entradas definidas;
o un conjunto de salidas definidas;
o un conjunto de transiciones entre los
estados.
 Máquinas secuenciales:
o La máquina secuencial de Mealy
genera una salida basándose en su
3 - Máquinas
estado actual y en una entrada.
secuenciales
 g : Q x ƩE -> ƩS;
3.1 - Definición.  g (q, a) = b.
Diagrama de estados:
Función de o La máquina secuencial de Moore
respuesta depende solo del estado actual de la
máquina, dado que las transiciones no
4 - Autómatas tienen entrada asociada.
finitos (AF)  g : Q -> ƩS;
 g (q) = b.
4.1 - Definición.
Ejemplos de
autómatas  Representaciones
conexos o Tabla de transición y tabla de salidas.
o Diagrama de estados. - Ejemplo de máquina
4.2 -

5
Minimización de de Mealy:
AF Las tablas de transición y de salidas se pueden
combinar en una sola. Por ejemplo: La siguiente máquina de
4.3 - Autómatas Mealy implementa un
finitos no Máquina de Mealy: contador módulo 3 de
deterministas a’s, ya que cada vez que
(AFND) cuente 3 a, imprimirá un
1.

f es una tabla de transición y g es una tabla de

salidas. La tabla combinada es:

Esto también se puede representar con un

diagrama de estados:

De igual modo, en el caso de la máquina de

Moore, las funciones f y g pueden ser combinadas
en una sola tabla:

6
Tabla combinada:

Esto se representa en el siguiente diagrama de

estados:

 Las máquinas de Mealy y de Moore son

equivalentes, es decir que una máquina de
Moore puede transformarse en una de Mealy
(y viceversa).

 3.1 - Función respuesta: unifica los dos tipos

de máquinas secuenciales:

Con esta nueva función se cumplen los teoremas:

7
4.1 - Definición. Ejemplos de autómatas
conexos:

 Un autómata finito es un modelo matemático

de una máquina que acepta cadenas de un
lenguaje definido sobre un alfabeto A:
o conjunto finito de estados;
o conjunto de transiciones entre
estados.
 Tipos de autómatas:
o AFD: una transición definida para cada
símbolo del alfabeto, como máximo.
o AFND: más de una transición definida
para cada símbolo del alfabeto.
 El lenguaje de un autómata M es el conjunto
de cadenas x que parten del estado inicial y
van hasta uno de los estados de aceptación.
 Para cada AFD existe un AFDmin con cantidad
mínima de estados que acepta el mismo
lenguaje.
 Para cada AFND existe un AFD que acepta el
mismo lenguaje aceptado por el AFND.