IB102 - úkol 2, příklad 1
Odevzdání: 1.10. 2012
Vypracoval (a): UČO: Skupina:
1. [2 body]
a) [1 bod] Mějme následující deterministický konečný automat A nad abecedou {a, b}:
S použitím (libovolného, konečného počtu) níže uvedených povolených úprav (pouze a jen povolených úprav) změňte zadaný automat tak, aby akceptoval jazyk
La = {wE {a, b}* | #aH mod 4 = 2}.
Povolené úpravy jsou:
— přidávání libovolných přechodů pod b,
— označování akceptujících stavů,
b) [1 bod] S použitím stejných povolených úprav jako u v zadání a) změňte následující automat nad abecedou {a, b} tak, aby akceptoval jazyk
Lb = {wE {a, b}* | (#aH + 7 • #bH) mod 4 = 0}.