Y  
 
Y

Y
 YY
  


 



R R


 



R 




R  R

R  





R  



R 





¿POR QUÉ ESTUDIAR LA TEORIA DE LOS
AUTOMATAS?
LOS AUTOMATAS FINITOS CONSTITUYEN UN MODELO UTIL PARA
MUCHOS TIPOS DE HARDWARE Y SOFTWARE:

Software para diseñar y probar el comportamiento de circuitos

digitales.
El «Analizador Léxico» de un compilador típico, es decir el
componente que separa el texto de entrada en unidades lógicas , tal
como identificadores, palabras clave y signos de puntuación.
Software para explorar cuerpos de texto largos, como colecciones de
paginas web, o para determinar el número de apariciones de palabras
, frases u otros patrones.
Software para verificar sistemas de todo tipo que tengan un numero
finito de estados diferentes , tales como protocolos de
comunicaciones o protocolos de intercambio seguro de información.
Para el estudio de la teoría de la
computación se necesita:
K Herramientas básicas:
1. La notación teórica establecida
2. El dominio de los conceptos de
funciones y relaciones
K. Buenos conocimientos de inducción
matemática(Razonamiento lógico)
 Ejemplo de autómata finito
Interruptor de apagado y encendido(posiciones on/off). El dispositivo
recuerda si está en el estado encendido (on) o en el estado apagado (off) y
permite al usuario pulsar un botón cuyo efecto es diferente dependiendo
del estado del interruptor. Es decir si esta en off pasa a on y viceversa.

Pulsar

Inicio OFF ON

Pulsar
EN LOS AUTÓMATAS
ß Los estados se representan en círculos
ß Las flechas son las entradas
ß Uno de los estados se designa como estado
inicial(apagado en el ejemplo).
ß Es necesario establecer uno o mas estados como
final o de aceptación.
ß Llegar al estado final después de una secuencia de
entradas indica que es dicha secuencia es correcta
ß Los estados de aceptación se indican con circulo
doble
 Ejemplo 2
Autómata que reconoce la palabra reservada
then.

 !  

  ! ! !
Representaciones estructurales
Las gramáticas.- Son modelos útiles en el diseño de
software que sirve para procesar datos con una
estructura recursiva.
Las expresiones regulares.- También especifican la
estructura de los datos, especialmente de las cadenas
de texto.
Ejemplo:
[A-Z][a-z] * [A-Z][A-Z] ?
Ithaca NY
No
Palo Alto CA
Autómatas y complejidad
Son esenciales para el estudio de los limites de la
computación-
¿Qué puede hacer una computadoras? (Decidibilidad)
y los problemas que una computadora puede resolver
se dice que son decidibles

¿Qué puede hacer una computadora de manera

eficiente?(Intratabilidad) y los problemas que una
computadora puede resolver en un tiempo
proporcional a alguna función que crezca lentamente
con el tamaño de la entrada se dice que son
«tratables»
R R


 





Los autómatas vienen a ser mecanismos formales
que "realizan'' derivaciones en gramáticas
formales. La manera en que las realizan es
mediante la noción de reconocimiento. Una
palabra será generada en una gramática si y sólo
si la palabra hace transitar al autómata
correspondiente a sus condiciones terminales. Por
esto es que los autómatas son analizadores
léxicos (llamados en inglés " r

'') de las
gramáticas a que corresponden.
 

Es la acción de ser computable, esto es,

dado un determinado problema, existe un
algoritmo representable en una
computadora que puede hallar su solución;
entendiéndose un algoritmo como una
secuencia o receta de pasos finitos que
solucionan el problema.


Se mide por la cantidad de tiempo y espacio que

consume.
Este término está ligado únicamente al algoritmo.
Operaciones básicas son las que constituyen el
trabajo realizado para resolver el problema. En
ningún momento con la velocidad de la
computadora o con las facilidades de eficiencia
que presenta un lenguaje de programación, ni con
la habilidad del programador.
R 




En lógica una Proposición o sentencia

Es una frase de la cual se puede determinar si es

falsa o verdadera
Ejemplos:
2 +1 = 5
K 5^2
17 es un número primo
No es proposición
«Ven a mi fiesta», ¿Qué hora es?, «»
Equivalentesǥ
Si P y Q son proposiciones se dice que P es equivalente a Q si para todos los
casos tienen el mismo valor de verdad.
Ejemplo:
K
5 y 25 2^2 son equivalentes porq sus valores de verdad son los mismos
Tablas de verdad
DEPENDENCIA O NEGACION

@ @
V F
F V
Conjunción de las proposiciones P y Q
@

V V V
V F F
F V F
F F F

Disyunción de las proposiciones P y Q

@

V V V
V F V
F V V
F F F
Proposición condicional PU Q
@

U@
V V V V
V F F V
F V V F
F F V V

Se lee si P entonces Q
P hipótesis, condición o antecedente
y Q se llama conclusión o consecuente
La reciproca de P U Q es Q U P
La contrapuesta de P UQ es (-P) U (- Q)

Advierta que P- Q y su contraposición son equivalentes

Demostración

@
@
@
U

V V V
V F F
F V V
F F V
INVESTIGAR
ß PROPOSICIÓN BICONDICIONAL CON
EJEMPLOS.
ß TAUTOLOGIA
ß CONTRADICCIÓN
ß LEY DE MORGAN
@


U@
V V V V
V F F V
F V V F
F F V V
TAUTOLOGIA
CONTRADICCION
Es una proposición que siempre es falsa.
La negación de una Tautología es una
contradicción
Ejercicios(Señala la que es tautología)
i) (p > ¬q) v (¬p v r)
ii) p > (q v r)
iii) (p > ¬ r) (q v p)
iv) ¬(p ^ ¬ q) > ¬ r
v) (¬p ^ q) > ¬(q v ¬r)
("#$
ß %"
š #
&
#%
("#$
&
%"
š #
ß #%
i
R   ' ( ) * +

 % #
% #
 
> #% #
(
$
> #%"
(
$#
(
"

, , ,    , ,
, ,      
,  , ,  , , ,
,   ,  ,  ,
 , ,  , , , ,
 ,   , , , ,
  , , , , , ,
   , , , , ,
ii
R   ' (
 % %
(

> $%
(
"
, , , , ,
, ,  , ,
,  , , ,
,    
 , , , ,
 ,  , ,
  , , ,
    ,
iii
R   ' ( ) *
 % #

> #
%
ß $
> #
"
š $%
(
"
, , ,   , 
, ,  , , , ,
,  ,   , 
,   , ,  ,
 , ,  , , ,
 ,  , , , ,
  ,  , , 
   , ,  
iv
R   ' ( ) * +

 % #
% 
&
#
% #$
&
#%" #
#$
&
#%"
> #

, , ,   ,  
, ,    , , ,
,  , , ,   ,
,   , ,  , ,
 , ,   ,  
 ,    , , ,
  , ,  ,  
   ,  , , ,
v
R   ' ( ) * + -
#
&

 % # # %
(
# #$%
(
# " $#
&
%"
> #$%
(
# "
%
, , ,   ,   ,
, ,  ,  ,   ,
,  ,     , ,
,   ,    , ,
 , ,  , , ,  
 ,  , , , ,  
  ,  , ,   ,
   , , ,   ,
vi
 % # #% $
ß %"
#$
ß %"
#
&
#% #$
ß %"
š #
&
#%
, ,   ,   ,
, ,   ,   ,
,   , ,   ,
,   , ,   ,
 , ,  ,   ,
 , ,  ,   ,
  , ,  , , ,
  , ,  , , ,
vii

 % # #% $
&
%"
#$
&
%"
#
ß#% #$
&
%"
š #
ß #%

, ,   ,   ,
, ,   ,   ,
,   ,  , , ,
,   ,  , , ,
 , ,   , , ,
 , ,   , , ,
  , ,  , , ,
  , ,  , , ,
Tautologias Fundamentales

ß # 


.

#
$
&
#" 



 


#$#"
š  / 


#$
ß %"
š #
&
#% 
R

/
0 
#$
&
%"
š #
ß #% 


/
0 
$$
> %"&"
> % 0


$$
> %"&
#
%"
> #
 0


$$
ß %"
#
"
> % 1
/(
$$
> %"
$%
> ""
> $
> " 1
23

$
> %"
š $#

ß %" 





$$
> %"
š $#
%
> #
"  (
Resolver
R  R
$/4
"

Se define como una colección

o listado de objetos con
características bien definidas
que lo hace pertenecer a un
grupo determinado
 ǥ
@ 
%
.



 
 



5
1. La colección de elementos debe estar bien
definida. Ningún elemento del conjunto se
debe contar más de una vez
2.El orden en que se enumeran los elementos
que carecen de importancia.
 NOTACIÓN

A los conjuntos se les representa con letras

mayúsculas A, B, C, y a los elementos con
letras minúsculas a, b, c, ..., por ejemplo, el
conjunto A cuyos elementos son los
números en el lanzamiento de un dado.
A = { 1, 2, K, 4, 5, 6 }
En base a la cantidad de elementos se
pueden clasificar en:
FINITOS: Tienen un número conocido de
elementos, es decir, se encuentran determinados
por su longitud o cantidad. Ej. El conjunto de días
de la semana

INFINITOS: Son aquello
en los cuales no podemos

determinar su longitud. Ej. El conjunto de los
números reales
Formas de expresar un conjunto
EXTENSIÓN: Cuando se describe a cada
uno de los elementos.
A = {a, e, i, o, u}

COMPRENSIÓN: Cuando se enuncian las

propiedades que deben tener sus
elementos.
A = {x | x es una vocal}
 1.2.2- Funciones y relaciones
6//
/7
89:81
Considerando el conjunto A y el conjunto B, si ambos tienen los mismos
elementos, es decir, si cada elemento que pertenece a A también pertenece a B
y si cada elemento que pertenece a B pertenece también a A.
A=B
1;89:8
Si todo elemento de un conjunto A es también elemento de un conjunto B,
entonces se dice que A es un subconjunto de B. Representado por el símbolo ®.
A®BoB®A
1;89:81
@8@81
Se dice que es un subconjunto propio de A sí todos los elementos de un
conjunto B se encuentran incluidos en él A, denotado por Å.
AÅBoBÅA
 ǥ
89:8
@8:7
La familia de todos los subconjuntos de un conjunto se llama conjunto
potencia. Si un conjunto es finito con n elementos, entonces el conjunto
potencia tendrá 2n subconjuntos.
A = {1, 2 }
7




5
 <
'


=R >
=R>
=>
=
>
89:81
/19:81
Son aquellos que no tienen elementos en común, es decir, cuando no
existen elementos que pertenezcan a ambos.
F = {1, 2, K, 4, 5, 6}
G = {a, b, c, d, e, f}
@:?
Cuando un conjunto es dividido en subconjuntos mutuamente excluyentes
y exhaustivos, se le denomina partición.
 8@7871
/7
89:81

Unión.
Intersección.
Diferencia.
Complemento.
Producto cartesiano.
ǥ ?
/7
89:81
Sean A y B dos subconjuntos cualesquiera del conjunto
universal. La unión de A y B, expresada por A B, es el
conjunto de todos los elementos que pertenecen a A o
pertenecen a B.
A B = {x | x A o x B}
:717?
/7
89:81
Sean A y B dos conjuntos cualesquiera del conjunto
universal. La intersección de A y B, expresada por A B, es
el conjunto de todos los elementos que pertenecen a A y
a B simultáneamente, es decir:
A B = {x | x A y x B}
 ǥ/77
/7
89:81
8
80@707:8
7:,8
Sean A y B dos conjuntos cualesquiera del conjunto universal. La
diferencia o complemento relativo de B con respecto a A, es el
conjunto de los elementos que pertenecen a A, pero no pertenecen
a B.
A - B = {x | x A, x B}
Nota: A - B δ B - A
80@707:8
;18:8
8
10@707:7
80@707:8
Sea A un subconjunto cualesquiera del conjunto universal. El
complemento de A es el conjunto de elementos que perteneciendo
al universo y no pertenecen al conjunto A, denotado por Aǯ o Ac.
Aǯ = {x | x U, x A}
Nota: Aǯ = U - A
ǥ
@8/:8
:718
Sean A y B dos conjuntos, el conjunto
producto o producto cartesiano expresado
por A x B está formado por las parejas
ordenadas (a, b) donde a A y b B.
A x B = {(a, b) | a A y b B}
a
  

 Ejercicio
à


 
 



 


 
 


  
 !


"
#
#

#


$# 
à


 
 



 


 
 


  
 !


"
#
#

#


$# 
1.2.K- Cadenas y lenguajes

Las cadenas son una secuencia de símbolos,

cada uno de esos símbolos pertenece a
algún alfabeto, las palabras y los lenguajes
pueden ser variados, existen lenguajes y
palabras muy variadas pero que en esencia
quieren expresar lo mismo.
a
%
&


  '
 
#


"()

*+"
 

+(
+
#
$+" '
"
*

$!
+
 
#
,"!
$
$

-

R
 #


"$
$

 
#
,"!

"#
#

 '
.  -
*+"
 


+

#
$+" '
"
*)
*!
+)

 '
.  




#

#
.!



,"!
%



$
 
$!

+
/+ '
$'.
-0-
à 
#
,"!
%


$
$



)

 
#

#

#

#,+ 

 
 -





#


 

 
#
,"!

%
 

"

 '
 
+ #
.  
.!)


 '

.  
#
,"!-
1
*


.!


 '
#
#

,"!
+
#
*

/ # . #
#
*
$!


#


$ 
-0-
Ejemplo

={0,1,2,K,4,5,6,7,8,9} podemos decir que 0 pertenece a
, 0͂

.
Cadena o palabra: secuencia finita de símbolos tomados de un
determinado alfabeto.
Ejemplo:
A,b,c son símbolos y abcb es una cadena.
Longitud de una cadena w se denota por |w|. La longitud |abcb|=4, |ɂ|=
Cadena vacía(ɂ): Es una palabra sobre cualquier alfabeto. Es una
secuencia vacía de símbolos tomados de cualquiera que sea el alfabeto
en cuestión.
Lenguaje (formal): es un conjunto de cadenas de símbolos tomados de
algún alfabeto.
Lenguaje vacío( ): es un lenguaje compuesto por ninguna cadena, se
denota de la misma forma que el conjunto vacío . Este no es el mismo
lenguaje que el que consta la cadena vacía {ɂ}, ya que el lenguaje no
tiene elementos y {ɂ} tiene un elemento.
*,#")
#
%


+
#
2% #


#3

 -
1

#
$,#"
!


.!



+
.  -
+
"
#


+
) ɂ 





-

#
4)
1
 




+

"$
$
#

#
!

.!

-
à


"
#
#


+
 
!




#
$

4-
1"$)




ɂ----- ɂ-
$
% 
.!
4

.  
/
%

.!



,0-
Ejercicios
R 





La inducción es un razonamiento que permite demostrar una
infinidad de proposiciones, o una proposición que depende de
un parámetro h que toma una infinidad de valores enteros. En
términos simples, la inducción matemática consiste en el
siguiente razonamiento:
@ 
 El número entero tiene la propiedad 
@ 
 El hecho de que cualquier número entero h
tenga la propiedad  implica que h + 1 también la tiene

 Todos los números enteros a partir de tienen la
propiedad 
/ 





El razonamiento para demostrar una proposición cualquiera
mediante el esquema del razonamiento es el siguiente:
Llamemos Pn la proposición al rango n.
Se demuestra que P0 es cierta, o el primer valor que cumple la
proposision (iniciación de la inducción).
Se demuestra que si se asume Pn como cierta, entonces Pn+1 lo es
también, y esto sin condición sobre el entero natural n. (relación
de inducción)
Luego, demostrado esto, concluímos por inducción, que Pn es
cierto para todo natural n.
La inducción puede empezar por otro término que P0, digamos
por Pno. Entonces Pn no será válido a partir del rango no, es decir,
para todo natural n ι no.
 Ejemplo
7:Que para todo n ι 1, 6n es un número que acaba en 6.
Sea Pn la proposición: "6n acaba en 6".
ß Es claro que P1 es cierto, porque 61 = 6.
ß Supongamos que Pn es cierto para un valor de n natural, y probemos Pn+1.
ß Un entero acaba por 6 si se puede escribir así: 10 + 6, con entero positivo o igual a
cero. La hipótesis es, pues, 6n = 10 + 6.
ß Entonces 6n+1 = 6(10 + 6) = 60 + K6 = 60 + K0 + 6 = 10(6 + K) + 6 = 10 + 6, con =6 +
K, entero.
Esta última escritura prueba que 6n+1 acaba por 6, o sea que Pn+1 es cierto.
Luego Pn es cierto para todo n ι 1.
Además de la demostración por inducción, existe la definición o construcción
por inducción. Por ejemplo, una sucesión aritmética puede ser definida como
función de n: un = a + rn, o por inducción:
u0 = a
un+1 = un + r
 8 
7
Ssea (h) la afirmación de que la suma de los h primeros enteros
positivos es igual a la mitad del producto de los enteros h y (h +
1). Utilizando símbolos, esto se puede expresar como
Dado un entero cualquiera h si se quiere comprobar si (h) es
verdadera, habría que insertar la h en la proposición ( ), y
comprobar que ambos lados de ( ) son equivalentes. Para
demostrar que (h) es verdadera utilizando la inducción
matemática, basta con comprobar que se cumplen las
condiciones IB y IIB. Primero se comprueba que IB es verdadera.
Para h = 1, la proposición ( ) se convierte en
por lo que (1) es verdadera.
A continuación, hay que demostrar que si (h) es verdadera,
entonces (h+1) también lo es. Para h

h+1, el lado izquierdo de
( ) es
Continuacion de ejemploǥ

Como se asume que (h) es verdadera, () se puede

escribir como
Sacando el factor común (h + 1) fuera de la expresión y
simplificando, se muestra que () es equivalente a
que es (h+1). Recordando que esta expresión es
equivalente a (), se ha confirmado que si (h) es
verdadera, entonces (h+1) también es verdadera. Por
tanto, se cumple la condición IIB y entonces se puede
concluir que (h) es verdadera para todo h