Editando C10 - Finite State Machine (sección)

== Introducción ==
<br>
Diseñar un sistema que controle dos semáforos para tráfico y un semáforo para peatones.<br>
Cada semáforo de tráfico tendrá un sensor para detectar si hay coches y el semáforo de peatones tiene otro sensor para detectar peatones.<br>
El semáforo de coches tiene verde, amarillo y rojo. El semáforo de peatones tiene verde y rojo. Para pasar de verde a rojo el verde parpadea y luego pasa a rojo.<br>
Cuando un semáforo está en verde los demás semáforos tienen que estar en rojo, no pueden estar en amarillo ni parpadeando.<br>
<br>
[[File: Edx-fsm-lab10.png | 300px]]<br>
<br>
Nomenclaturas:
*C1 será la calle 1
*C2 será la calle 2
*P1 será el paso de peatones
*W1 será le estado de transición del verde de C1 al amarillo de C1 despúes al rojo de C1
*W2 lo mismo pero de C2
*Las salidas serán:
**V1 A1 R1 <math>\Rightarrow</math> los colores del semáforo de C1
**V2 A2 R2 <math>\Rightarrow</math> los colores del semáforo de C2
**VP1 RP1 <math>\Rightarrow</math> los colores del semáforo de peatones