Upload
doantuyen
View
240
Download
5
Embed Size (px)
Citation preview
EXAMEN GUIA
Lenguajes� Compiladores y Sistemas Operativos
�� Considere la siguiente gram�atica�
S ��� ABA ��� aA ��� BaBB ��� bbA
�Cu�al de las siguientes frases es FALSA�
A La longitud de toda cuerda producida por la gram�atica es par�
B Ninguna cuerda producida por la gram�atica tiene un n�umero impar de b�s consecutivas�
C Ninguna cuerda producida por la gram�atica tiene tres a�s consecutivas�
D Ninguna cuerda producida por la gram�atica tiene cuatro b�s consecutivas�
E Toda cuerda producida por la gram�atica tiene al menos tantas b�s como a�s�
� �Cu�ales de las siguientes frases son ciertas para un int�erprete�
I� Genera c�odigo objeto�II� Maneja variables de tipo est�atico�III� Maneja variables de tipo din�amico�
A Ninguna B I C I y II D III E I� II y III
�� Una de nici�on particular de �word� est�a dada por las siguientes reglas�
�word� ��� �letter� j �letter� �pairlet�j �letter� �pairdig��pairlet� ��� �letter� �letter� j �pairlet� �letter� �letter��pairdig� ��� �digit� �digit� j �pairdig� �digit� �digit��letter� ��� a j b j c j � � � j z�digit� ��� � j � j j � � � j �
�Cu�ales de las siguientes entidades l�exicas pueden ser derivadas a partir �word��
I� wordII� wordsIII� c
A Ninguna B I y II unicamente C I y III unicamente
D II y III unicamente E I� II y III
�
�� �Qu�e es cierto respecto a la veri caci�on est�atica y la veri caci�on din�amica de tipos�
I� En general los programas veri cados est�aticamente corren m�as r�apido que los veri cados din�amicamente�
II� La veri caci�on din�amica es m�as �util para encontrar errores que la est�atica�
III� La veri caci�on de tipos es parte del an�alisis sem�antico�
A Ninguna B I y II C II D I y III E I� II y III
�� El analizador l�exico de Pascal lee car�acter por car�acter� desde un cierto punto� hastaque se da cuenta que reconoce un �token�� Supongamos que los �tokens� de Pascalson� identi cadores� constantes� palabras clave �key words� y operadores�
�Para cu�al de las siguientes secuencias de car�acteres el analizador l�exico de Pascalpuede determinar que ha visto el �token� completo sin ver el siguiente car�acter�
I� �II� ������III� while
A I B II C I y II D I y III E II y III
�� �Cu�al de las siguientes caracter��sticas de un lenguaje requiere el uso de �stacks� �pilas�en lugar de manejo de variables de tipo est�atico�
A Par�ametros por referencia�
B Funciones de valor entera�
C Arreglos bidimensionales�
D �goto�s� arbitrarios�
E Rutinas recursivas�
�� Dos estaciones de trabajo est�an conectadas a una red local� Una de las estacionestiene acceso a los archivos via red de un servidor de archivos� el tiempo promedio paraaccesar de esta manera a una p�agina de un archivo es de ��� seg�
La otra estacion de trabajo accesa los archivos de un disco local con el tiempo promediode ���� seg� por p�agina� Una compilaci�on particular requiere de �� seg� de tiempo deprocesamiento m�as �� accesos a p�aginas de un archivo�
�Cu�al es la proporci�on del tiempo total requerido para la compilaci�on por la primeraestaci�on �sin disco� al tiempo total requerido por la segunda �con disco�� suponiendoque el procesamiento no se traslapa con accesos a los archivos�
A ��� B ��� C ��� D �� E ���
�� Suponga que la protecci�on de los archivos de un sistema est�a representado por unamatriz A de derechos de acceso� donde A�i� j� denota el conjunto de derechos que elusuario i tiene sobre el archivo j� Los usuarios est�an divididos en grupos y puedenpertenecer a m�as de un grupo� Existen tres modos distintos de accesar los archivos��R�ead� �W�rite y �E�xecute�
El sistema tiene tres tipos de archivos� Correo� Texto y Binario� Considere el siguienteconjunto de pol��ticas de seguridad�
a� Cada usuario tiene acceso R y W a todos los archivos que le pertenecen� m�as accesoE a los archivos Binarios que le pertenecen�
b� Usuarios en un grupo tiene acceso E a los archivos Binarios de todos los usuarios enese mismo grupo� acceso R a los archivos Correo de todos los usuarios en ese mismogrupo� y R y W a los archivos Texto de todos los usuarios en ese mismo grupo�
c� Un super usuario tiene acceso a todos los archivos del sistema como si fueran losarchivos que le pertenecen�
Mar��a� Juan y Alicia son tres usuarios del sistema� Mar��a y Alicia est�an en el mismogrupo� Juan es el super usuario� �Cu�al de las siguientes frases es INCONSISTENTEcon las pol��ticas anteriores�
A Juan tiene acceso W a los archivos Correo de Alicia�
B Juan tiene acceso E a los archivos Correo de Alicia�
C Mar��a tiene acceso R a los archivos Texto de Alicia�
D Juan tiene acceso E a los archivos Binarios de Mar��a�
E Mar��a tiene acceso R a los archivos Correo de Mar��a�
�� �Cu�ales de las siguientes frases son correctas�
I� El cargador de arranque normalmente reside en ROM�
II� El paso de par�ametros por valor no afecta a los valores del par�ametro formal en lasubrutina invocada�
III� Un ensamblador s�olo permite el uso de macros y un compilador s�olo permite el usode subrutinas�
A Ninguna B I y II C III D I E II y III
��� �Cu�ales de las siguientes frases describen funciones de un sistema operativo�
I� Administraci�on de memoria y disco�II� Carga de programas compilados a memoria�III� Responde a interrupciones y �traps��
A Ninguna B I y II C III D II y III E I� II y III
�
Estructuras de Datos y Programaci�on
�� Suponga que utilizamos una lista simplemente ligada para representar una pila e indicamos la base de la pila con un apuntador nulo y guardamos un apuntador al tope de lapila� �Cu�anto tiempo se tardan las operaciones meter �push� y sacar �pop�� Supongaque la pila tiene en un momento dado n elementos�
A meter es O���� sacar es O�n��
B meter es O���� sacar es O�n���
C meter es O�n�� sacar es O�n��
D meter es O���� sacar es O����
E meter es O�log�n��� sacar es O����
� �Qu�e nodo est�a fuera de lugar para que el �arbol resultante sea un �arbol binario deb�usqueda�
��
��
����
���
���
���
���
���
���
Q
M R
J N T X
K V
A J B M C T D R E X
�� Convertir de notaci�on in ja a notaci�on pos ja la expresi�on� �A�B �C���D�E � F �
A ABC �DEF ����B AB � C �DEF ���C ABC ��DEF � ��D AB � C �DEF � ��E ABC �D � EF ���
�
�� En una �arbol binario de b�usqueda balanceado por la altura� la diferencia entre lasalturas de los sub�arboles derecho e izquierdo es � o �� �Qu�e es verdadero para un �arbolde este tipo que tiene N nodos�
I� La b�usqueda en el peor caso es proporcional al log�N��
II� La b�usqueda en el caso promedio es proporcional al log�N��
III� La b�usqueda en el mejor de los casos es proporcional al N �
IV� La altura del �arbol es logar��tmica en el n�umero de nodos�
A I y III
B II y III
C II y IV
D I� II y IV
E I� III y IV
�� �Qu�e tipo de �arboles de b�usqueda est�an m�as orientados para trabajar en memoriasecundaria y que particularmente emplean el concepto de p�agina�
A Arboles B
B Arboles binarios
C Arboles AVL
D Arboles � �
E Arboles de Hu�man
�
�� Un �trie� es una clase de �arbol que puede ser usado para represntar palabras �i�e��cadenas de car�acteres arbitrariamente largas pero nitas� como sigue�
�� Cada nodo se etiqueta con un car�acter� La raiz y todas las hojas tienen por etiquetael s��mbolo ��� Cada camino no vac��o del �trie�� desde la raiz� representa la cadena de car�acteresde la secuencia encontrada en dicho camino�
�� Cada nodo tiene a lo m�as una hoja entre sus hijos� cada hoja es el hijo m�as a laizquierda de su padre� y cada nodo nohoja aparece� de izquierda a derecha� en el ordenalfab�etico de su etiqueta�
Dado el orden alfab�etico para los car�acteres� cada conjunto de palabras determina deforma �unica un �trie�� Por ejemplo� el �trie� para �a�� �an�� �at�� �and� y �cat� sepresenta abajo�
���
���
���
���
���� ���
���
���
���
���
�
a c
�n t a
� d �t
� �
�Cu�antos nodos� incluyendo los �� hay en un �trie� para las palabras �do�� �dog���door� y �doors��
A � B � C �� D �� E �
�
�� Considere el siguiente �arbol binario�
���
���
���
���
�����������
��
��
�����
��
���
�����
aaaaaaaaaaaa
���
z
y z x y
��� ���
x ��� ���
� denota exponenciaci�on� Si el �arbol se recorre en preorden� �Cu�al de las expresionessiguientes se obtiene�
A �x � z� � xy � zB �yz � x� � xy � zC � � �xyz ��xyzD � � x � yz ��xyzE Ninguna de las anteriores
�� Considere el siguiente c�odigo pseudoPascal�
var i� j � integer�
procedure P�k� m � integer��
begin
k �� k � m�
m �� k � m�
k �� m � k�
end�
i �� �
j �� �
P�i� j��
Si los dos par�ametros de P se pasan por referencia� �Cu�ales son los valores de i y j al nal del fragmento de programa�
A i � �� j � B i � �� j � � C i � � j � �
D i � �� j � E Ninguno de los anteriores�
�
�� Considere el siguiente c�odigo pseudoPascal�
p�� �� k �� ��
while k n do
begin
p �� � p�
k �� k � ��
end�
Para el fragmento de programa anterior� que involucra a los enteros p� k y n� cu�al delas siguientes condiciones es invariante a iteraciones� i�e�� que es verdadera al inicio decada ejecuci�on de la iteraci�on y al nal de la ejecuci�on de la iteraci�on�
A p � k � �
B p � �k � ���
C p � �k � ��k
D p � k
E p � �k���
��� �Cu�antos renglones de salida produce el siguiente programa�
�include stdio�h�
main��
�
float sum � ���� j � ���� i � ���
while �i�j � ������
�
j � j � j�
sum � sum � i�j�
printf����f�n��� sum��
�
�
A �� B ���� C �� D ���� E M�as de ��
�
Matem�aticas para la Computaci�on
�� �Qu�e propiedades cumple la relaci�on R de nida sobre dos nodos x� y de un �arbol binario del siguiente modo� x est�a relacionado con y si x es hijo o descendiente de y�
I� Re�exivaII� Sim�etricaIII� Transitiva
A I B II C III D II y III E I y III
� �Cu�ales de los siguientes conjuntos de parejas �a� b� representan a una funci�on�
I� f���� ��� ��� ��� �� ��� ��� ��gII� f�� �� ��� ��� ��� ��� ��� ��gIII� f��� �� �� ��� ��� ��� ��� ��g
A I y II B II y III C I y III D Ninguno E I� II y III
�� �Cu�ales de las siguientes formas sentenciales son tautol�ogicas�
I� P � �PII� �P � Q� � QIII� �P �Q� � P
A I B II C III D Ninguna E I� II y III
�
�� Aplicando la inducci�on diga cu�ales de los siguientes expresiones son verdaderas �n �N� �
II� n� � n
I�nPi��
i� � n�n����n����
III� � � � � � � � � �� ��n� �� �z �n elementos
� n
�n��
A Ninguna B I y II C I y III D II y III E I� II y III
�� �Cu�al es el m��nimo de la funci�on f�x�� x�� � x� � x� sujeta a las restricciones�
�����
x� � x�
�� �
� � x� � x� � � �
A � B C � D E �
�� Hay � amigos que deciden sentarse en la mesa redonda� Cada uno de ellos elige al azaruna silla entre � sillas alrededor de la mesa� � Cu�al es la probabilidad de que amigos�Carlos y Ricardo� sean vecinos�
A �
B �
C � D ��� E ���
�� �Cu�anto vale limx�
�x�
sin� x�
A B � C D � E no existe
��
�� �Cu�ales de las siguientes funciones representan la soluci�on de la ecuaci�on diferencialy�� � �y� � y � � �
I�px � �
II� �e�x
III� e��x � �e�x
A I y II B I y III C II y III D Ninguna E I� II y III
�� El conjunto de soluciones del siguiente sistema de ecuaciones
�����
x� y � z � �x� y � z � ��x � �z �
A Es un plano B Es vac��o C Es una recta D Es un punto E Es nito
��� Sean A�f� �� �g y B�f��� �� �� g dos conjuntos� �Cu�antas funciones f � A B hay�
A �� B �� C � D � E � � �
��
Dise�no L�ogico y Arquitectura de Computadoras
�� Para la siguiente tabla de transici�on encuentre las ecuaciones booleanas de f� y fusando �ip�ops tipo D�
Estado Presente Entradas Estado Siguiente Salidas
� f x y f� f S� S� � � � � � � �� � � � � � � �� � � � � � � �� � � � � � � �� � � � � � � �� � � � � � � �� � � � � � � �� � � � � � � �
A f� � f�f�y � f�f�
�x� f ��f�
�y D f� � f�f� � f ��f�S� � f�f�xf� � f�xy � f ��y � f ��f� f� � f�xy � f ��f
�
�xy� � f ��f�x
�y
B f� � f ��f�
�y � f�x�y� � f�xy
� � f�f� E f� � f�y � f�xf� � f ��x
�y� � f ��f�
�xy � f ��f�xy� f� � f�f� � f�f
�
�
C f� � f ��f�y � f�xy � f�f�f� � f�x
�y � f�xy� � xy
� Del problema anterior encuentre las ecuaciones boolenas de las salidas S�S��
A S� � f�� S� � f ��f�
� � f�f� D S� � f�f� � y� S� � f�f�
B S� � f ��� S� � f�f� � f�f�
� E S� � f ��f�
� � y� S� � f ��f�
C S� � f�x� � f�y� S� � f�x � f�
�� Efect�ue la siguiente suma de n�umeros binarios de � bits usando complemento a dos����� ���� � ���� ���� dejando el resultado en decimal�
A �� B �� C � D � E �
�� Cu�antas l�ineas de un bus de direcciones de �� bits se necesitan para direccionar unamemoria de �k�
A �� B �� C �� D �� E �
�
�� Un microprocesador responde a una atenci�on de interrupciones insertando en la pilano s�olamente la direcci�on de regreso sino tambi�en el contenido del registro de estados del microprocesador� Si el apuntador de pila tiene el valor F�F� antes de que elmicroprocesador sea interrumpido� cu�al ser�a su valor despu�es de la interrupci�on�
A F�F B F�EE C F�F� D F�EF E F�ED
�� Un ALU tiene dos registros A y B de � bits� El registro A se modi ca de la siguienteforma� A � A OPER B en donde OPER puede ser una de las siguientes operaci�ones�AND� OR� XOR� ADD� SUB� A tiene el valor ���� ����� Cu�al debe ser la operaci�onque debe ejecutar el ALU para que A tenga el valor ���� ���� despu�es de la operaci�on�
A AND B SUB C XOR D ADD E OR
�� Para el problema anterior� cu�al debe ser el valor de B��
A ���� ���� B ���� ���� C ���� ���� D ���� ���� E ���� ����
�� Cu�al es la diferencia principal entre un microprocesador RISC y un CISC�
A el n�umero de ALU�s internos
B su capacidad de direccionamiento de memoria
C su velocidad
D su tama no
E el n�umero de instrucciones que pueden ejecutar
�� Acceso directo a memoria se re ere a�
A La habilidad de un microprocesador para leer o escribir datos en cualquier localidadde memoria�
B La habilidad de un microprocesador para leer o escribir datos en cualquier localidadde memoria a la misma velocidad�
C Dispositivos de entrada!salida trans eran informaci�on directamente a la memoriasin intervenci�on del microprocesador�
D Una memoria especialmente dise nada para hacer una transferencia r�apida de datos�
E El microprocesador es el �unico que directamente accesa la memoria�
��� Encuentre la representaci�on en complemento a dos del siguiente n�umero en hexadecimal�F�A��
A �A�E B FA�E C �A�� D �A�E E F��
��
Algoritmos� Aut�omatas y Lenguajes Formales
�� La de nici�on de algoritmo NO requiere que�
A Su ejecuci�on termine despu�es de ejecutar un n�umero nito de pasos
B Cada instrucci�on est�e claramente especi cada y ejecute en tiempo nito
C Siempre encuentre la respuesta correcta
D El tiempo de ejecuci�on de cada instrucci�on est�e acotado por una funci�on lineal dada
E Todas las anteriores
� La siguiente m�aquina de Turing tiene como prop�osito sacar una copia de una cadenabinaria� i�e�� de una con guraci�on inicial�
�����������������
se desea pasar a la con guraci�on nal�
����������������������
La idea es� para cada d��gito a copiar� se marca �este con una �x� o �y�� se recorre lacinta hasta encontrar espacio en el extremo derecho� se copia el d��gito� se regresa a laizquierda y se restituye el d��gito original� Por ejemplo�
�����������������
������x����������
������x����������
�����������������
�������y���������
���
El programa es el siguiente �la cabeza se encuentra leyendo el digito m�as signi cativoal inicio de la operaci�on�� con q� como estado inicial� y q� nal�
Estado Leyendo S��mbolo� � x y "
q� �q�x�R� �q��y�R� �q��"�R�q �q���R� �q���R� �q��"�R�q� �q����R� �q����R� �q����L�q� �q����R� �q����R� �q��"�R�q� �q����R� �q����R� �q����L�q� �q����L� �q����L� �q��"�L�q� �q����L� �q����L� � �q����R�q� �q����L� �q����L� �q��"�L�q�
��
En la tabla anterior� la notaci�on �q� s�D� indica que �estando en un estado q� grabael s��mbolo s en la posici�on en la que est�a la cabeza� y despu�es mueve la cabeza en ladirecci�on indicada por D� ya sea a la izquierda �D � L� o a la derecha �D � R���
Identi car la transici�on faltante de q� leyendo una �x��
A �q����R�
B �q���R�
C �q����R�
D �q����L�
E Ninguna de las anteriores
�� Para n su cientemente grande� la notaci�on g�n� � O�f�n�� para indicar la complejidadde g�n� establece que�
A Las medidas de complejidad de g y f son equivalentes
B Existe una constante k tal que jf�n�j � k � jg�n�jC Existe una constante k tal que jg�n�j � k � jf�n�jD Existe una constante k tal que g�n� � f�n� � k
E Ninguna de las anteriores
�� Para cualquier expresi�on regular R�
A Es posible a veces construir un aceptador nito M tal que L�M� � L�R�
B Es siempre posible construir un aceptador nito M tal que L�M� � L�R�
C Es imposible construir un aceptador nito M tal que L�M� � L�R�
D Es siempre posible construir un aceptador nito M tal que L�M� � L�R�� aunqueel aceptador tenga que ser no determin��stico
E Ninguna de las anteriores
��
�� Dado el siguiente algoritmo para ordenar un vector a de N elementos de tipo T�
procedure ordena� T a�N� �
begin
int i� j� min�
for i�� � to N��
begin
min�� i�
for j�� i�� to N
begin
if �a�j� a�min�� then
min�� j
end�
intercambia�a�min�j�
end
end
y suponiendo que el procedimiento intercambia ejecuta en tiempo constante� su complejidad puede expresarse como�
A O�N� B O�i� j� C O�N��
D O�N�� E Ninguna de las anteriores
�� El algoritmo de ordenamiento de un vector a de longitud n conocido como bucket sorttiene la forma siguiente �donde B es un vector auxiliar de listas ligadas��
�� int i� n
� n�� longitud�a�
� for i�� � to n
�� inserta A�i� en la lista B�floor�n�A�i���
�� for i�� � to n��
�� ordena lista B�i� con metodo de insercion
�� concatena listas B���� B���� ���� B�n���
Si sabemos que el ciclo de los pasos ��� ejecuta en promedio en tiempo n� que el paso� puede hacerse tambi�en en tiempo lineal� y que el algoritmo completo ejecuta enpromedio en tiempo lineal� �qu�e podemos concluir respecto al paso ��
A Que debe ejecutarse en promedio en tiempo constante
B Que debe ejecutarse en promedio en tiempo cuadr�atico
C Que debe ejecutarse en promedio en tiempo lineal
D Que debe ejecutarse en promedio en tiempo lgn
E No se puede concluir nada
��
�� Dadas las operaciones de� �i� Uni�on� �ii� Concatenaci�on� y �iii� Intersecci�on� la clasede los lenguajes libres de contexto es cerrada bajo�
A �i�� �ii�� y �iii�
B �i� y �ii�
C �iii�
D �ii� y �iii�
E Ninguna de las anteriores
�� La gram�atica libre de contexto �el signo #�� representa a la cadena vac��a��
S � ABjaA � aB � �
es equivalente a la gram�atica con producciones�
A S � AB�A � a� B � b
B S � a
C S � A
D S � A�A � ajB�B � aA
E Ninguna de las anteriores
�� Los lenguajes sensibles al contexto pueden ser caracterizados como aquellos que�
A Son reconocibles por un aut�omata de pila �pushdown automaton�
B Requieren de una m�aquina de Turing no determin��stica con cinta de longitud limitada �linear bounded automaton� para su reconocimiento
C Estan formados por gram�aticas que tienen reglas de la forma X � �� para X noterminal y � un cadena de terminales y no terminales
D Requieren de una m�aquina de Turing no determin��stica sin limitaciones en la cintapara su reconocimiento
E Ninguna de las anteriores
��� La gram�atica lineal�
$ � AA � �BB � �Bj�CC � �Bj�Cj�
��
corresponde al aut�omata �ver siguiente gura��
�����
����� ��
���
����� ��
���
�����
�����
�
�� �
������
�� �
�����
����������
���
����
����
����
���
���
�������
��������
���
���
����
����
����
��������
�������
��������
�
�
�
�
� �
� �
� �
� � �
�
A
B
C
D
E
�
�
A
�
A�
�
B
�
�
�
C�
D
�
A�
�
B C
A�
�
B
�
�
�
C�
D
A�
B�
�
C�
D
�
�
��
Se lista una serie de libros que los estudiantes pueden usar como referencia� Desdeluego� no se presupone que los estudiantes hayan leido todos los libros� ni que conocen todo
el material a detalle� Se pretende m�as bien que los alumnos tengan una gama amplia dereferencias que consultar�
Lenguajes� Compiladores y Sistemas Operativos�
� Temario�
�� Lenguaje de m�aquina�
� Ensambladores� Macros� Ligadores� Compiladores� Int�erpretes�
�� Sistemas operativos�
�� De nici�on formal de la gram�atica de un lenguaje de programaci�on�
� Bibliograf��a�
� John J� Donovan� Systems Programming� Mc Graw Hill� �����
� Wirth Nicklaus� Algoritmos y Estructuras de Datos� Prentice Hall� �����
� Respuestas� � D� D� � D� � D� � A� � E� � B� � B� � D� �� E�
Estructuras de Datos y Programaci�on�
� Temario�
�� Conceptos de tipos de datos abstractos�
� Estructuras de datos lineales �listas� pilas� colas�etc��
�� Estructuras arborescentes�
�� Tablas de dispersi�on�
�� Algoritmos de ordenamiento y b�usqueda�
�� Recursi�on�
�� Programaci�on�
� Bibliograf��a�
� Alfred V� Aho� John E� Hopcroft� y Je�rey D� Ullman� The Design and Analysis
of Computer Algorithms� AddisonWesley� �����
� Nicklaus Wirth� Algoritmos y Estructuras de Datos� Prentice Hall� �����
� Respuestas� � D� C� � B� � D� � A� � D� � D� � D� � D� �� B�
��
Matem�aticas para la Computaci�on�
� Temario�
�� Algebra�
� L�ogica Matem�atica�
�� Geomet��a Anal��tica�
�� C�aculo Diferencia e Integral�
�� Ecuaciones Diferenciales�
�� Probabilidad y Estad��stica�
� Bibliograf��a�
� Copi I� M� L�ogica Simb�olica� pp�����
� Swokowski E� W� Algebra Universitaria� Cap��tulo ��
� Granero Rodr��guez F� Algebra y Geometr��a Anal��tica� Cap��tulos �����
� Stein S� K�� Alonso Linares A�� C�alculo con Geometr��a Anal��tica� Cap��tulo �
� Rainville E� D�� Bedient P�E� Ecuaciones Diferenciales� Cap��tulos ����
� Lippman S� A� Elementos de Probabilidades y Estad��stica� Cap��tulo ��
� Respuestas� � C� B� � C� � D� � E� � A� � C� � C� � B� �� B�
�
Dise�no L�ogico y Arquitectura de Computadoras
� Temario�
�� Fundamentos de Sistemas Digitales�
�a� Operaciones Booleanas�
�b� Simpli caci�on de Ecuaciones Booleanas�
�c� Dise no de Sistemas Secuenciales�
�d� Dise no B�asico de Componentes Principales �ALU�s� CPU�s� etc��
� C�odigos de Representaci�on �binario� octal� hexadecimal�etc��
�a� Operaciones B�asicas �ADD� OR� XOR� Complementos� etc��
� Bibliograf��a�
� M� Morris Mano� L�ogica Digital y Dise�no de Computadoras� Prentice Hall Hispanoaamericana� �����
� Ronald J� Tocci� Frank J� Ambrosio� Lester P� Laskowski� Microprocessors and
microcomputers � hardware and software� Prentice Hall� �����
� Hayes� John Patrick� Digital system design and microprocessors� McGrawHill������
� Respuestas� � C� A� � E� � E� � B� � D� � C� � E� � C� �� C�
�
Algoritmos� Aut�omatas y Lenguajes Formales�
� Temario�
�� Algoritmos
�a� Problemas computables y no computables �intractable problems�
�b� M�aquinas de Turing
�c� Clases de Complejidad �de lineal a NP�
�d� Notaci�on de �O may�uscula� �big O�
�e� An�alisis pr�actico de complejidad de algoritmos
�f� Complejidad de problemas cl�asicos de ordenamiento y b�usqueda
� Aut�omatas y Lenguajes Formales
�a� Aut�omatas nitos y sus lenguajes
�b� Aut�omatas de pila �pushdown� y sus lenguajes
�c� Aplicaciones
�d� Jeraqu��a de Chomsky
�e� Cerradura y complejidad de operaciones sobre gram�aticas �uni�on� intersecci�on�reconocimiento� etc��
� Bibliograf��a�
� Alfred V� Aho� John E� Hopcroft� y Je�rey D� Ullman� The Design and Analysis
of Computer Algorithms� AddisonWesley� �����
Para secciones ��a� ��b� ��c� ��e� ��f
� Thomas H� Cormen� Charles E� Leiserson� y Ronald L� Rivest� Introduction to
Algorithms� MIT Press� �����
Para secciones ��c� ��d� ��e� ��f
� John E� Hopcroft y Je�rey D� Ullman� Introduction to Automata Theory� Lan�
guages� and Computation� AddisonWesley� �����
Para secci�on
� Robert Sedgewick� Algorithms in C��� AddisonWesley� ����
Para secciones ��d� ��e
� Respuestas� � D� A� � C� � B� � C� � A� � B� � B� � B� �� D�