, , , . . . , , , . - . - , "" .
, : ?
. - (LFA), , . , . , .
?
, , : . (, , , ). 1 .
A, B, C D ?
- A: [B, H]; [C, E, H]; [D, F, G, H]
- B: [H]; [A, C, E, H]; [A, D, F, G, H]
- D: [F, G, H]; [A, C, E, H]; [A, B, H]

, ( , ), . , A [D, F, G, H], D [A, C, E, H]. A D, D A. - , , , , , ( ) . ( ) ? 2 .
2 , A [D, F, G, H] , D A . D , , , A, , A D . ? , , . A D D . , A, D, , D. :
( ) , , , .

.
-, , , , . , , - (Loop-Free Alternates).
-, , . , :
- , ; .
- .
- , .
, , , , , , . :
- , ( , ).
- .
- " " , , .
, , .
?
: ? , 1, A D, D - , A, , D , , , A?
. D , A, A , D, ? , , . , , , .
- - , . , , , . , , , , .
, . , . , , . , .