Facultad de Informtica

Universidad Complutense de Madrid

Problemas de Fundamentos de Computadores Tema 5 / pg. 1

PROBLEMAS DE FUNDAMENTOS DE COMPUTADORES
TEMA 5
Problemas bsicos:
Diseo de sistemas secuenciales
1. Un contador reversible mdulo p, es un sistema secuencial capaz de contar en sentido
ascendente o descendente, en funcin del valor de una entrada de control que
denominamos "Sentido" tal que:
- Sentido =0 cuenta en sentido ascendente
- Sentido =1 cuenta en sentido descendente.
Disee un contador reversible mdulo 6 como mquina de Moore usando biestables R-S
un decodificador y puertas OR
2. Disee un sistema secuencial con una entrada x, cuya salida z se comporta de la forma
siguiente en funcin del valor de x:
- Si x=1, entonces z(t) toma cclicamente la siguiente secuencia de valores: 0, 3, 7, 7,
0, 3, ... pasando de un valor de la secuencia al siguiente cada vez que se recibe un
pulso de reloj.
- Si x=0, entonces la llegada de un pulso de reloj no altera el valor de la salida; por
tanto z(t+1)=z(t).

Usar biestables D y el menor nmero posible de puertas lgicas.
3. Un sistema secuencial tiene una entrada X y una salida Z, ambas de un bit. Tiene el
siguiente comportamiento:
)
`

=
=
contrario caso en
t t X si
Z
_ _ 0
0111 ) ,..., 3 ( 1

Disee el sistema como mquina de Mealy usando biestables D y una ROM

4. Mi perro puede estar contento (C), tranquilo (T), nervioso (N) o asustado (A). Si est
contento y le doy un hueso lo agradece moviendo el rabo (r). Cuando est tranquilo si le
doy un hueso (h) se pone contento, lo indica moviendo el rabo; sin embargo si est
nervioso o asustado se tranquiliza y ladra (l). Si le tocan (t) estando tranquilo o contento
se pone nervioso y ladra, estando nervioso se asusta y ladra, pero si est asustado
muerde (m).
NOTA: no se le puede dar un hueso y tocar a la vez.
Disee el autmata MEALY que modela el comportamiento del animal, usando
biestables J-K y una ROM.


Problemas de Fundamentos de Computadores Tema 5 / pg. 2




Comportamiento temporal de los sistemas secuenciales

5. Considere el siguiente sistema secuencial especificado mediante su diagrama de estados:
a) Especifique el sistema como una mquina de Moore, mediante un diagrama de
estados.
b) Complete el cronograma


6. Sea el siguiente sistema secuencial:
( ) ( )

c.c. n
abb aba = t t t x s = t z 1 2, 3,

a) Especifique el sistema como una mquina de Mealy, mediante un diagrama de
estados.
b) Complete el cronograma








S1
b/n
b/n
b/n
a/n
a/n
a/m
S0
S2
b
a
S0
S0
m
n
m
n
Estados
Mealy
Estados
Moore
Salida
Moore
Salida
Mealy
h

t
r
h
l
PERRO
Problemas de Fundamentos de Computadores Tema 5 / pg. 3













Problemas adicionales:
7. Disee un dado electrnico cuyo diagrama de bloques se muestra en la figura. Para jugar
se pondr a 1 la seal J durante un cierto tiempo y luego se volver a cero, en cuyo
momento el valor que presenta la salida del circuito se puede leer en los puntos
luminosos que constituyen el dado. El tiempo que la seal J permanece a 1 determina el
valor final del dado, pero la frecuencia de la seal de reloj es lo suficientemente alta (por
ejemplo 1000 Hz) como para que no se pueda averiguar cual es el valor que est
marcando el dado mientras se mantiene a 1 la seal J, de tal forma que el ojo humano
tiene la sensacin de que todos los puntos luminosos estn encendido.
Implemente el contador usando biestables D y el menor nmero de puertas lgicas, y el
conversor de cdigo con una ROM.

8. Un sistema secuencial posee una entrada Xe{0,1} y una salida Ze{0,1}. La salida
tomar el valor 1 si y slo si la secuencia de entradas contiene un nmero impar de ceros
y un nmero par de unos. Se pide:
a) Especifique el sistema como una mquina de Mealy, mediante un diagrama de
estados.
b) Realice la implementacin cannica del sistema con biestables D y una ROM.

9. Un sistema secuencial sncrono tiene una entrada serie X y una salida de un bit Z. La
salida vale 1 cuando detecta el tercer 0 consecutivo. Desde el momento en que detecta los
tres ceros consecutivos la salida sigue valiendo 1 hasta que se reciben dos 1
consecutivos. Cuando recibe dos 1 consecutivos el sistema vuelve a empezar.
a) Especifique el sistema como una mquina de Mealy, mediante un diagrama de
estados.
b
a
S0
s
n
Estado
Salida

Contador
Conversor
bi nar io a
l uces dado 3
7
J
Ck
Problemas de Fundamentos de Computadores Tema 5 / pg. 4

b) Implemente el sistema usando biestables J-K y el menor nmero de puertas
lgicas
10. Un sistema secuencial sncrono tiene una entrada serie Xe{a,b} y una salida de un bit
Z. La salida vale 1 cuando detecta la tercera a consecutiva en la entrada. Desde el
momento en que detecta aaa la salida vale 1 durante dos ciclos de reloj,
independientemente del valor de la entrada durante esos dos ciclos. Despus se pasa al
estado inicial.Se pide:
a) Especifique el sistema mediante un diagrama de estados como mquina de
Moore.
b) Implemente el sistema con biestables J-K y multiplexores 4 a 1.

11. Un sistema secuencial posee una entrada Xe{0,1} y una salida Ze{0,1}. La salida
tomar el valor 1 si y solo si la secuencia de entradas contiene tiene tres unos
consecutivos. La salida est considerada en bloques de tres. La salida es 1 si la entrada es
1 para las tres entradas de un bloque y obviamente dicha salida 1 no puede ocurrir hasta
que se recibe la tercera entrada. Por ejemplo:
X 011 111 101 110 111 011
Z 000 001 000 000 001 000

a) Especifique el sistema como una mquina de Mealy, mediante un diagrama de
estados.
b) Implemente el sistema usando biestables D y una ROM.

12. Disee un sistema secuencial con una entrada xe{a,b} y una salida ze{m,n}; de forma
que z(t)=m, si y solo si la secuencia formada por x(t-2), x(t-1), x(t) comienza o termina
con "aa". Usar biestables J-K y el menor nmero posible de puertas lgicas.
13. Se desea disear un sistema secuencial sncrono que en cada ciclo de reloj recibe una
entrada Xe{Norte, Sur, Este, Oeste}. El sistema posee, adems, una salida Ze{0,1}. La
salida Z tomar el valor 1 si tras 3 ciclos de reloj se ha detectado una de las siguientes
subsecuencias:

=
Este Este, Sur,

Este Este, Norte,

X(t) 1), - X(t 2), - X(t .
En todos los dems casos el valor de Z ser 0. Se pide:
a) Especifique el sistema como una mquina de Mealy, mediante un diagrama de
estados.
b) Implemente el sistema con el menor nmero posible de biestables D y puertas
lgicas.

14. Se desea implementar un sistema secuencial que controle un rtulo luminoso con 4
bombillas. El sistema tendr una seal de control C. Si C vale cero, las cuatro bombillas
permanecern apagadas. Si C vale uno, la secuencia generada por el sistema es la
mostrada en la imagen. El orden cronolgico de los estados se muestra en la imagen en
sentido descendente.
Problemas de Fundamentos de Computadores Tema 5 / pg. 5

a) Dibujar el diagrama de estados que describe el sistema.
b) Implementar con biestables D y una memoria ROM
B
3
B
2
B
1
B
0


15. Se quiere disear un sistema secuencial cuya salida sigue la secuencia:
0,1,2,2,3,3,4,5,6,7,0,1, ...
a) Especifique el sistema como una mquina de Mealy, mediante un diagrama de
estados.
b) Implemente el sistema con el menor nmero posible de biestables D y puertas
lgicas.

16. El funcionamiento de un semforo est dado por la especificacin del siguiente sistema
secuencial, cuyas entradas y salidas son:

- Inicialmente el sistema permanecer en un estado (S0) mientras que no se detecte la
presencia de un peatn dispuesto a cruzar la calle (peatn=0). Cuando la seal
peatn sea 1 el semforo cambiar al estado S1. La salida del sistema en el estado S0
es 100 correspondiente a las seales Verde, mbar y Rojo
- En el estado S1 el sistema pasar al estado S3 si la seal de parpadeo es 1, en caso
contrario el sistema cambiar al estado S2. En el estado S1 la salida es 010
- En el estado S3 la salida es 000, e independientemente de los valores de las seales
de entrada el sistema volver al estado S1.
- El sistema permanecer en el estado S2 mientras que la seal peatn sea 1, y en caso
contrario volver al estado inicial S0. En S2 la salida del sistema es 001
Considerando la especificacin anterior:
a) Especifique el sistema anterior mediante su diagrama de estados
b) Implemente el sistema usando biestables J-K y puertas lgicas.


Peatn
Parpadeo
Reloj
Verde
mbar
Rojo
Problemas de Fundamentos de Computadores Tema 5 / pg. 6

17. El funcionamiento de un semforo est dado por la especificacin del siguiente sistema
secuencial, cuyas entradas y salidas son las de la figura. Verde, Ambar y Rojo
representan el color del semforo de coches (una y slo una vale 1). PeatnVerde y
PeatnRojo son el color del semforo de peatones (una y slo una vale 1).

- Inicialmente el semforo de coches est en verde y el de peatones en rojo para que
pasen los coches. Sigue en ese estado mientras que no se detecte la presencia de un
peatn dispuesto a cruzar la calle (peatn=0). Cuando la seal peatn sea 1 el
semforo de coches pasar a estar en mbar y el de peatones sigue rojo. Despus de
estar un ciclo en mbar el semforo de coches se pondr rojo y el de peatones verde.
- El semforo de coches se mantendr en rojo y el de peatones en verde mientras que
la seal peatn sea 1, y en caso contrario se pondrn los dos en rojo durante un ciclo
de reloj.
- Cuando estn los dos en rojo el semforo volver al estado inicial si la seal de
intermitente es 0, en caso contrario el sistema pasar al estado intermitente: el
semforo de coches estar en mbar y el de peatones en rojo. De ese estado
intermitente pasar a tener los dos semforos en rojo de nuevo.
Considerando la especificacin anterior se pide:
a) Especifique el sistema anterior mediante su diagrama de estados
b) Realice la implementacin cannica de dicho sistema con biestables D, una
ROM para implementar la funcin de transicin de estados y puertas lgicas
para implementar la funcin de salida.


18. Un circuito secuencial activa las 6 luces correspondientes a dos semforos para la entrada
de vehculos a un garaje. Cada semforo cuenta con tres luces: ROJA, AMBAR y
VERDE (R1, A1, V1 y R0, A0 y V0 respectivamente).
Un vehculo slo puede pasar cuando su semforo de entrada est en verde. Adems,
siempre deber haber un semforo en rojo pero nunca los dos a la vez. Unos metros antes
de llegar al semforo, el vehculo pisa un sensor (P1 P0 segn la calle por la que
venga), que actuar como entrada al circuito a disear.
Nunca se dar el caso de que los sensores sean activados simultneamente y mientras no
se pulse ningn sensor el estado de los semforos se mantendr indefinidamente. Cuando
se active un sensor el estado de los semforos cambiar si es necesario, de modo que el
vehculo que ha pisado el sensor pueda pasar y se eviten colisiones. El funcionamiento de
los semforos es el usual (el paso de verde a rojo se realiza a travs del mbar, mientras
que el paso de rojo a verde es directo). Durante el cambio de verde a rojo de un semforo
no se tiene en cuenta el valor de los sensores.
Intermitente
Peatn
Verde
Ambar
Rojo
PeatnVerde
Problemas de Fundamentos de Computadores Tema 5 / pg. 7

Nota: Cada luz del semforo se enciende poniendo a 1 su correspondiente funcin
booleana. Cada sensor se pone a 1 cuando un coche lo pisa.

a) Especifique el sistema anterior mediante su diagrama de estados
b) Realice la implementacin cannica del sistema con biestables R-S y puertas
lgicas.

19. Disee un reconocedor de secuencias generalizado en la forma de una mquina de
Mealy que responda a las siguientes especificaciones:
- Tiene una entrada X de tres bits (x2, x1, x0) por la que cada ciclo de reloj llega un
dgito decimal del conjunto {0,1,...,7}.
- La salida toma el valor 1 siempre que los ltimos 4 dgitos recibidos (X(t-3), X(t-2),
X(t-1), X(t)) formen la secuencia (0,3,4,7).
Usar biestables D y puertas lgicas.

20. Usando la estructura de un reconocedor de secuencias generalizado, disee un circuito
con una entrada Xe{0,1, ..., 9}, por la que recibe un dgito BCD en cada ciclo de reloj, y
una salida Ze{0,1,2,3} que se tiene el siguiente valor de salida:

- 0 si (X(t-2), X(t-1), X(t)) forman un nmero mltiplo de 5
- 1 si (X(t-2), X(t-1), X(t)) forman un nmero mayor o igual que 400
- 2 si se cumplen las dos anteriores condiciones a la vez
- 3 en cualquier otro caso
Usar biestables D y puertas lgicas.

21. Disee usando biestables D y puertas un reconocedor de secuencias generalizado en la
forma de una mquina de Mealy que responda a las siguientes especificaciones:
- Tiene una entrada X de tres bits (x2, x1, x0) por la que cada ciclo de reloj llega un
dgito decimal del conjunto {0,1,...,7}.
- La salida toma el valor 1 siempre que los ltimos 4 dgitos recibidos (X(t-3), X(t-2),
X(t-1), X(t)) formen la secuencia (0,3,4,7).




EVOLUCION DE
calle1 Po y P1 se ponen a CADA SEMAFORO
P1 1 cuando se pisan
R1 R
A1
V1 R0 A0 V0 P0 A
GARAJE
calle 0 V V

Problemas de Fundamentos de Computadores Tema 5 / pg. 8

22. Complete el cronograma del sistema secuencial especificado por el diagrama de estados
de la figura. Considere despreciables los retardos de cambio de estado y de salida.









Problemas de examen:
23. (Febrero 2012)El diagrama de estados de la figura representa un reconocedor de patrn.
a) Qu tipo de sistema secuencial es: Mealy o Moore?
b) Qu patrn reconoce?
c) Complete el cronograma.


24. (Junio 2012) Sea el siguiente sistema secuencial:
( )

=
contrario caso en
abb bba = t 1, t 2, t x
) t ( z
0
1

a) Dibuje su diagrama de estados.
b) Complete el siguiente cronograma:

S0 S1
S2 S3
a/0
b/0
b/0
a/0
b/0
a/1
a/0
b/0
inicial
entrada
clk
estado
b
a
S0
salida
1
0
S0
/0
S1
/1
S2
/1
0
S3
/0
0
0
1
1
0
a
1
1
Reloj

Entrada

Estado

Salida

Problemas de Fundamentos de Computadores Tema 5 / pg. 9


25. (Septiembre 2012) Sea el siguiente sistema secuencial:
( )

=
contrario caso en
bbb aaa = t t x
t z
0
t 1, 2, 1
) (
a) Dibuje su diagrama de estados como mquina Mealy.
b) Complete el siguiente cronograma:



26. Implemente, usando biestables D y una ROM, el sistema descrito mediante el diagrama
de estados del problema anterior.


27. (Febrero 2011) Un sistema secuencial sncrono tiene una entrada serie X y una salida
de un bit Z. La salida vale 1 cuando detecta el tercer 0 consecutivo en la entrada. Desde
el momento en que detecta el 000 la salida vale 1 durante dos ciclos de reloj,
independientemente del valor de la entrada durante esos dos ciclos. Despus se pasa al
estado inicial.
Se pide:
a) Especifique el sistema mediante un diagrama de estados como mquina de Moore.
b) Implemente el sistema usando un descodificador, puertas y biestables D.



x
clk
estado
a
S0
z
1
0
b
x
clk
estado
a
S0
z
1
0
b