Wyznaczyć nieredukowalny test kompletny dla układu

działającego zgodnie z funkcją

(

)

f

A B

C

=

�

g

wykrzykując binarny diagram decyzyjny

Zadanie 1

Wyznaczyć, wykorzystując metodę D-algorytmu, test dla

błędu

s-a-0 występującego w układzie przedstawionym na

rysunku

Zadanie 2

1

2
3

x

x

x

x

7

11

10

6/
0
x
6

5

8

12

9

4

Określić przy pomocy drzewa rozróżniającego sekwencję

rozróżniającą dla maszyny o podanej poniżej tabeli

przejść

Zadanie 3

x

0

1

Stany

1

s

1

/1

s

4

/0

s

2

s

1

/0

s

5

/0

s

3

s

5

/1

s

3

/0

s

4

s

1

/1

s

4

/0

s

2

/1

s

5

s

5

/1

s

Wyznaczyć

sygnaturę

dla

sekwencji

wejściowej:

1101110101 jeżeli wielomian charakterystyczny ma
postać x

3

+ x + 1. Sygnaturę obliczyć analitycznie oraz

zbudować układ do obliczania sygnatury i wykazać, że
obliczona przez układ sygnatura jest zgodna z wynikiem
analitycznym.

Zadanie 4

Wyznaczyć

dla

podanych

wartości

prawdopodobieństwo maskowania błędów.