Úkolem je navrhnout synchronní sekvenční automat, který ovládá šifrovací zámek. Zámek lze odemknout pomocí dvou kláves „a“, „b“. Stlačení (nebo stlačení a podržení) klávesy, která je připsána proměnné znamená funkční přiřazení logické 1. Uvolnění klávesy odpovídá logické 0. Správná sekvence dvoubitových kombinací, která otevírá zámek je 00, 10, 11. Odemknutí následuje během stlačení poslední správné kombinace. Nesprávná kombinace vede ke spouštění poplachu a zámek zůstává uzamčen. Stlačení klávesy CLEAR u klopného obvodu restartuje výstup pro poplach a výstup pro odemčení zámku a v praxi umožňuje vypnutí poplachu nebo opětovné uzamčení zámku.
Myšlenka sekvenčního šifrovacího zámku.
Uvažujeme dvě vstupní proměnné, které odpovídají dvěma klávesám:
„a“, „b“
Uvažujeme interní stav (vnitřní proměnnou):
„A“
Přechody vnitřní proměnné A→A’ vyžadované pro otevření zámku:
00,10,11.
Výstupy:
y1 = <0, uzamčeno nebo 1, odemčeno
y2 = <0, bez poplachu nebo 1, poplach