@:yFo < G d d Z G d de ZdS )c ^ e Zd ZddZd Zd Zd Zd Zd Zd Z d Z
d
Z d Z d Z
d
Zd ZdS )FiniteAutomaton c v || _ || _ | j i i| _ g | _ g | _ i | _ d| _ d S N ) start_state
dump_statetableunresolved_compositesresolved_compositescomposite_memo
is_updated)selfr r s a/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib64/python3.11/site-packages/guppy/etc/FSA.py__init__zFiniteAutomaton.__init__ sB &$or*
%'"#% c Z |\ }}|| j |i |< d| _ d S r )r
setdefaultr )r xxx_todo_changemexstatesymbols r __setitem__zFiniteAutomaton.__setitem__ s2 +34
eR((0r c t | dk r |d }n-|D ]}|| j vr
i | j |< | | }|| ||f< || j vr i | j |< d S d S )Nr )lenr
new_composite)r r r nextscns r add_transitionz FiniteAutomaton.add_transition s u::??aAA
'
'DJ&&$&DJqM""5))A UF] DJ DJqMMM r c * t | j | }n# t $ r Y dS w xY wg }|D ]N\ }}t |t
r |D ]}| ||f 7| ||f O|S )N )listr
itemsKeyError
isinstanceCompositeStateappend)r r r riskvvis r
get_row_itemsz FiniteAutomaton.get_row_items s TZ&,,..//AA 22 # #DAq!^,,
# ( (BJJ2w''''(
Aq6""""
s ,/
==c | j r| j }g | _ |D ]}i }g }|D ]F}| | D ].\ }}| |g | /Gt | D ]5\ }}|D ]-}|| j | vr | | j n.6t | D ]\ }} | j ||g|R | j d S d S N) r r. r r) r$ r% r
r r! )r
compositesr dslar+ r, s r make_deterministicz"FiniteAutomaton.make_deterministic+ s_ ( 2 3J)+D &
2
2 7 7A $ 2 21 5 5 7 71
a,,33A66667 , , " "DAq " " DJqM11 HHT_ 5 5 5 !E 2 ! , , 2 2DAq'D'11q111112 ( 2 2 2 2 2r c | i }t | j D ]\ }}|D ]
\ }}d||< |S r )r$ r
r% )r symsr transr+ r, s r get_all_input_symbolsz%FiniteAutomaton.get_all_input_symbols? sX !1!1!3!3 4 4 LE5
1Q
r c | j S r0 )r
r s r get_all_statesz FiniteAutomaton.get_all_statesF s
zr c i S r0 r# r; s r get_all_final_statesz$FiniteAutomaton.get_all_final_statesI s r c | j r| t | j S r0 )r r5 r$ r
valuesr; s r get_compositesz FiniteAutomaton.get_compositesL s; ? & # # % % %D'..00111r c b i }i }t | j D ]\ }}t | }| t | }| | }|g }|||< | | |||< ||fS r0 )r$ r
r% keyssorttuplegetr) )r tctckr+ r, r8 kss r get_transition_classesz&FiniteAutomaton.get_transition_classesQ s
))++,, DAqNNE JJLLL%LLE Bz 5 IIaLLLCFF3wr c J d }d } fd} j r7 x} _ d _ n j }|\ }}t | } || j } ||| }
||
} | S )Nc F fdi |D ]8}t | D ]&\ }}||dz d D ]}|| v || v k rd||f< '9t D ]}|\ }}|| }|| } g }
|D ]n} || } | | }
| |
urX| |
f}|v r|
| 4|
| f}|v r|
| R| }|= |dur | n0o|
D ],}| }|du r |g}||< | | -S )Nc J | D ] }|v r| }|= |r | d S r0 r# )r3 pql1PSpsrmarks r rQ zCFiniteAutomaton.get_minimized_dfa..markall..psrmarkc sK ( (BRxx V rF ( #GBKKK ( (r r r# ) enumerater$ rC r) )finalstcvr
QippqrN dpdqdpsr4 dpadqadpadqadqadpar3 rP rQ s @@r markallz2FiniteAutomaton.get_minimized_dfa..markallb s
(
(
(
(
(
( B
,
, &q\\ , ,EB r!tuuX , , KQ&[99)+B1vJ,,
27799oo
)
)11X1X ) )A Q%C Q%C#~~"%s!R<< JJv . . . .&)3ZF %|| #
6 2 2 2 2$&rF$&rF#$B;;$+GAJJJ % & #& ) ) vJ 77!#A)*BvJJ HHRLLLLIr c i }| D ]
}|D ]}|g||< |D ]\\ }}|| }|| }||urCt | t | k r||}}| | |D ]}|||< ]|S r0 )r extend)QSPQSeqsrU rW rX epeqs r combinez2FiniteAutomaton.get_minimized_dfa..combine s C
!
! ! !A SCFF!
$
$1 VVR<<2wwR((!#RBIIbMMM $ $!#AJr c i }i }d}t | D ]6}t | }||vr!d|z }|dz
}|d |f||< |D ]}|||< 7 |j }i |_ t | D ]\\ } }
i x|j |
< } t j | D ]\ } }|| | | < |
v r
d|j |
< ]|S )Nr zMS%dr )r$ r@ id __class__r final_statesr
r% )re csbyidcsbyasirg ideqr sfsacs0cstr8 r4 rS r s r finalizez3FiniteAutomaton.get_minimized_dfa..finalize s1 FFA3::<<((
&
&"vvv%%
AFA#%a5!8F4L & &$%q ..(8!9::C !C 1 1
.
.S)++ # C !6!6!8!8 9 9 ) )DAq %ayE!HH&==,-C$S)Jr r )r r5 rJ _tctckr$ r@ r
) r rS r` rh ru tctckrG rH rT rP re rr s `` r get_minimized_dfaz!FiniteAutomaton.get_minimized_dfaa s . . . ` . 4 ? # # % % %"&"="="?"? ?EDK DOOKEC299;;
WVS$*
-
-gc2 hsmm
r c J t t t d |D }t | dk r|d S | j | S # t $ r) || j |< | j | |cY S w xY w)Nc g | ]}|d fS )r r# ).0args r
z1FiniteAutomaton.new_composite.. s &@&@&@CQx&@&@&@r r r ) r( r$ dictrC r r
r& r r) )r argscss r r z FiniteAutomaton.new_composite s
D&@&@4&@&@&@!A!A!F!F!H!H I I
J
J r77a<<7N &r* * &(D # & - -b 1 1 1III s " A/ /0B"!B"c t | j }| t d t | D }|D ]}| j | }t
d|| |fz t | }| |D ]%}|| }t
d||| |fz &d S )Nc g | ] \ }}||f
S r# r# )r{ ro rq s r r} z&FiniteAutomaton.pp.. s 555tq!QF555r z%d: %sz %r -> #%d: %s)r$ r
rC rD r~ rR print)r rI numrq r+ r r r, s r ppzFiniteAutomaton.pp s
$*//##
$
$
55y}}55566 < rA rJ rx r r r# r r r r s
2 2 2( 2 2 2
n n n` < < < < r sj f< f< f< f< f< f< f< f