Automaty - matrix.umcs.lublin.pl

Automaty
DAS, NAS i eNAS
Adam Kobus
Updated: 13 kwietnia 2016
automaty˙powt
Zadania
Zadanie 1
Skonstruuj deterministyczny automat skończony nad alfabetem
Σ = {0, 1}, który akceptuje słowa z parzystą liczbą zer.
Zadanie 2
Skonstruuj deterministyczny automat skończony nad alfabetem
Σ = {a, b}, który akceptuje słowa zakończone na aa.
Zadanie 3
Skonstruuj deterministyczny automat skończony nad alfabetem
Σ = {0, 1}, który akceptuje słowa z jedynkami na parzystych
miejscach.
Zadanie 4
Skonstruuj deterministyczny automat skończony nad alfabetem
Σ = {0, 1}, który akceptuje słowa, w których między dwiema
kolejnymi jedynkami jest parzysta liczba zer.
Zadanie 5
Skonstruuj niedeterministyczny automat skończony nad alfabetem
Σ = {0 . . . 9}, który akceptuje słowa będące zapisami liczb
podzielnych przez 3. Przekonwertuj ten automat na
deterministyczny.
Zadanie 6
Przekonwertuj poniższy NAS na DAS.
→ q0
q1
q2
? q3
a
{q1,q2}
∅
{q0}
{q2}
b
∅
{q1}
∅
{q1,q3}
Zadanie 7
Przekonwertuj poniższy NAS na DAS.
→ q0
q1
q2
? q3
? q4
a
{q2,q3}
{q0}
{q1}
{q0}
{q1}
b
{q4}
∅
∅
{q3}
{q2,q4}
Zadanie 8
Przekonwertuj poniższy NAS na DAS.
Zadanie 9
Zadanie 10
Zadanie 11
Skonstruuj niedeterministyczny automat skończony akceptujący
słowa teraz, raz. Przekonwertuj ten automat na deterministyczny.
Zadanie 12
Skonstruuj niedeterministyczny automat skończony akceptujący
słowa mara, ararat, ratan. Przekonwertuj ten automat na
deterministyczny.
Zadanie 13
Skonstruuj niedeterministyczny automat skończony akceptujący
słowa adapter, lada, tyrada. Przekonwertuj ten automat na
deterministyczny.
Zadanie 14
Przekonwertuj następujący niedeterministyczny automat z ε
przejściami na DAS.
→ q0
q1
q2
q3
? q4
ε
∅
{q4}
∅
{q1}
∅
a
{q1}
∅
{q3}
∅
{q2}
b
{q2,q3}
{q0}
{q4}
{q0}
{q4}
c
∅
{q1}
{q0}
{q3}
{q1}
Zadanie 15
Przekonwertuj następujący niedeterministyczny automat z ε
przejściami na DAS.
→ q0
q1
q2
q3
? q4
ε
{q2}
∅
∅
{q1}
∅
a
{q1}
{q4}
{q1}
{q4}
{q1}
b
{q2,q3}
{q0}
{q3}
{q4}
{q0}
c
{q0}
{q2}
{q2}
{q0}
{q3}
Zadanie 15
Przekonwertuj następujący niedeterministyczny automat z ε
przejściami na DAS.
→ q0
q1
q2
? q3
ε
{q2}
{q2}
{q0}
∅
a
{q1}
{q1}
{q1}
{q1}
b
{q2,q3}
{q0,q1}
{q3}
{q0,q2}
c
{q0}
{q2}
{q2}
{q3}