Бровков В.Г., Богатова 0.0. Прикладная теория цифровых автоматов. Конспект лекций

Подождите немного. Документ загружается.





 

 

n   



± ±

 

< < <[

)<

)



)



  

 

 ³´

³´



 <



± 

;







;

$1'

;<=

















;



³25´

;<=

















;



;









;

³ ´

;<=



















<;=







;





;





 

    

;



 



 



 

0$;3/86,,

0$;3/86,, 



 

 W

 



 



  W

    



 



;

< ; 

;

< ; ;  «; 



0$;3/86 ,, SURYLGHV YDULHW\RISULPLWLYHIXQFWLRQVIRU FLUFXLW GHVLJQ $+'/9HULORJ +'/  DQG

9+'/ORJLFDORSHUDWRUVSRUWVDQGVRPHVWDWHPHQWVDVZHOODV9HULORJ+'/JDWHSULPLWLYHVUHSODFH

SULPLWLYHV LQ $+'/  9HULORJ +'/  DQG 9+'/ ILOHV $V

UHVXOW $+'/ 9HULORJ +'/  DQG 9+'/

SULPLWLYHVDUH

VXEVHWRIWKRVHDYDLODEOHIRU*')VDVVKRZQEHORZ

%XIIHU3ULPLWLYHV 

&$55< 

231'51

&$6&$'(  

62)7

(;3   

75,

*/2%$/6&/. 

:,5(*')VRQO\

/&(//0&(//

)OLSIORS/DWFK3U LPL WLYH V  

'))   

65))

'))(   

65))(

-.))   

7))

-.))(  

7))(

/$7&+

,QSXW2XWSXW3ULPLWLYHV3RUWV  

%,',5RU,1287%,',5&*')VRQO\ 

,1387RU,1

,1387&*')VRQO\

287387RU287 

287387&*')VRQO\

/RJLF3ULPLWLYHV 

$1' 

125

%$1'*')VRQO\ 

127

%1$1'*')VRQO\

25

%125*')VRQO\ 

9&&*')VRQO\

%25*')VRQO\ 

;125

*1'*')VRQO\ 

;25

1$1'

2WKHU3ULPLWLYHV*')VRQO\

&2167$17

3$5$0

7LWOH%ORFN

3ULPLWLYHV8VDJH1RWHV

 $+'/)XQFWLRQ3URWRW\SHVDUHQRWQHHGHGIRUSULPLWLYHVLQ7')VDQG9HULORJ'HVLJQ)LOHVY

,Q $+'/ KRZHYHU \RX FDQ UHGHILQH WKH FDOOLQJ RUGHU RI WKH SULPLWLYH LQSXWV E\ LQFOXGLQJ )XQFWLRQ

3URWRW\SH6WDWHPHQWIRUWKHSULPLWLYHLQ\RXU7')



 9+'/GRHVQRWVXSSRUWPDFURIXQFWLRQVPHJDIXQFWLRQVSULPLWLYHVRUSRUWVZLWKQDPHVWKDWDUH

9+'/NH\ZRUGVRUWKDWEHJLQZLWK

QXPEHUHJVHULHVPDFURIXQFWLRQV7RXVHWKHVHIXQFWLRQVLQ

9+'/'HVLJQ)LOHVHH8VLQJ 0$;3/86,,/RJLF)XQFWLRQ



 9HULORJ +'/ DOVR LQFOXGHV EXLOWLQ JDWH SULPLWLYHV WKDW PXVW EH XVHG LQVWHDG RI WKHLU

FRUUHVSRQGLQJ 0$;3/86 ,, SULPLWLYHV *R WR 8VLQJ 0$;3/86 ,, *DWH 3ULPLWLYH IRU PRUH

LQIRUPDWLRQ



0$;3/86,, 

2OG6W\OH0DFURIXQFWLRQVE\)XQFWLRQ



0$;3/86 ,, SURYLGHV RYHU  VHULHV EXV DUFKLWHFWXUHRSWLPL]HG DQG DSSOLFDWLRQVSHFLILF

PDFURIXQFWLRQV



0DFURIXQFWLRQVDUHOLVWHGKHUHE\IXQFWLRQ<RXFDQDOVRUHIHUWR OLVWRI2OG6W\OH0DFURIXQFWLRQVE\

QXPEHU



%XV PDFURIXQFWLRQ QDPHV HQG ZLWK WKH OHWWHU % $ EXV PDFURIXQFWLRQ LV IXQFWLRQDOO\ LGHQWLFDO WR WKH

FRUUHVSRQGLQJQRQEXVPDFURIXQFWLRQEXWKDVJURXSHGLQSXWDQGRURXWSXWSLQV



 7R YLHZ WKH VFKHPDWLF RU $+'/ ILOH WKDW FRQWDLQV WKH ORJLF IRU

PDFURIXQFWLRQ VHOHFW WKH

PDFURIXQFWLRQ V\PERO LQ WKH *UDSKLF (GLWRU RU PDFURIXQFWLRQ QDPH LQ WKH 7H[W (GLWRU DQG FKRRVH

+LHUDUFK\'RZQ)LOHPHQX



 9+'/GRHVQRWVXSSRUWPDFURIXQFWLRQVPHJDIXQFWLRQVSULPLWLYHVRUSRUWVZLWKQDPHVWKDWDUH

9+'/NH\ZRUGVRUWKDWEHJLQZLWK

QXPEHUHJVHULHVPDFURIXQFWLRQV7RXVHWKHVHIXQFWLRQVLQ

9+'/'HVLJQ)LOHVHH8VLQJ 0$;3/86,,/RJLF)XQFWLRQ

0DFURIXQFWLRQ&DWHJRULHV

0$;3/86,,

/RJLF3ULPLWLYHV 

$1' 

125



%$1'*')VRQO\ 

127

%1$1'*')VRQO\

25

%125*')VRQO\ 

9&&*')VRQO\

%25*')VRQO\ 

;125

*1'*')VRQO\ 

;25

1$1'



 



0DFURIXQFWLRQ&DWHJRULHV

$GGHUV

$ULWKPHWLF/RJLF8QLWV 

0XOWLSOLHUV

%XIIHUV

0XOWLSOH[HUV

&RPSDUDWRUV 

3DULW\*HQHUDWRUV&KHFNHUV

&RQYHUWHUV 



5DWH0XOWLSOLHUV

'HFRGHUV 

('$&

66,)XQFWLRQV

(QFRGHUV 

7UXH&RPSOHPHQW, (OHPHQWV



66,)XQFWLRQV



0DFURIXQFWLRQGHVFULSWLRQ



FEXI&RPSOHPHQWDU\%XIIHU

LQKE,QKLELW*DWH

1$1'*DWH

125*DWH

127*DWH

$1'*DWH

1$1'*DWH

$1'*DWH

1$1'*DWH

$1'*DWH

'XDO,QSXW125*DWHZLWK6WUREH

'XDO,QSXW125*DWH:LWK6WUREH



125*DWH

4XDG,QSXW3RVLWLYH125%XIIHU

1$1'*DWH

25*DWH

4XDG,QSXW3RVLWLYH1$1'%XIIHU

'XDO,QSXW3RVLWLYH1$1'%XIIHU

'XDO:LGH,QSXW$1'25,19(57*DWH

'XDO$1'25,19(57*DWH

$1'25*DWH

([SDQGDEOH:LGH$1'25,19(57*DWH

:LGH$1'25,19(57*DWH



:LGH,QSXW$1'25,19(57*DWH

,QSXW$1'25,19(57*DWH

;25*DWH

,QSXW1$1'*DWH

,QSXW1$1'*DWHZLWK7UL6WDWH2XWSXW

4XDG;25;125*DWHV

 'XDO,QSXW3RVLWLYH125*DWHV

 4XDG;25*DWH



 



          





  





   

   



/6/  6



















66,)XQFWLRQV



66,)XQFWLRQ



,QSXW1$1'*DWHZLWK7UL6WDWH2XWSXW

 

,QSXWV   2XWSXW

2(1 $WKURXJK/   <

+;  =

/ $OOLQSXWV+   /

/ 2QHRUPRUH/  +

 



66,)XQFWLRQ

'XDO,QSXW125*DWHZLWK6WUREH   

 





,QSXWV 2XWSXWV

$ % & ' *   <

+ ; ; ; +   /

; + ; ; +   /

; ; + ; +   /

; ; ; + +   /

/ / / / ;   +

; ; ; ; /   +

 

   

  * *

¶ * *  !< 

*  !\ 







    



 



<Q  





