@:yFo<GddZGddeZdS)c^eZdZddZdZdZdZdZdZdZ d Z d Z d Z d Z d ZdZdS)FiniteAutomatoncv||_||_|jii|_g|_g|_i|_d|_dSN) start_state dump_statetableunresolved_compositesresolved_compositescomposite_memo is_updated)selfrr s /srv/buildsys-work-dir/castor/build_node/builder-2/WGSG1/unpkd_srcs/cloudlinux-venv-1.0.6/venv/lib/python3.11/site-packages/guppy/etc/FSA.py__init__zFiniteAutomaton.__init__sB&$or* %'"#%  cZ|\}}||j|i|<d|_dSr)r setdefaultr)rxxx_todo_changemexstatesymbols r __setitem__zFiniteAutomaton.__setitem__ s2+34 eR((0rct|dkr |d}n-|D]}||jvr i|j|<||}||||f<||jvr i|j|<dSdS)Nr)lenr new_composite)rrrnextscns radd_transitionzFiniteAutomaton.add_transitions u::??aAA ' 'DJ&&$&DJqM""5))AUF] DJ  DJqMMM  rc* t|j|}n#t$rYdSwxYwg}|D]N\}}t |t r|D]}|||f7|||fO|S)N)listr itemsKeyError isinstanceCompositeStateappend)rrrriskvvis r get_row_itemszFiniteAutomaton.get_row_itemss TZ&,,..//AA   22  # #DAq!^,, #((BJJ2w''''( Aq6"""" s ,/ ==c|jr|j}g|_|D]}i}g}|D]F}||D].\}}||g|/Gt |D]5\}}|D]-}||j|vr||jn.6t |D]\}}|j||g|R|jdSdSN) r r.rr)r$r%r r r!)r compositesrdslar+r,s rmake_deterministicz"FiniteAutomaton.make_deterministic+s_( 23J)+D & 2 277A $ 2 21 5 5771 a,,33A66667 ,,""DAq""DJqM11HHT_555!E2!,,22DAq'D'11q111112( 2 2 2 2 2rc|i}t|jD]\}}|D] \}}d||< |Sr)r$r r%)rsymsrtransr+r,s rget_all_input_symbolsz%FiniteAutomaton.get_all_input_symbols?sX !1!1!3!344  LE5  1Q  rc|jSr0)r rs rget_all_stateszFiniteAutomaton.get_all_statesFs zrciSr0r#r;s rget_all_final_statesz$FiniteAutomaton.get_all_final_statesIs rc|jr|t|jSr0)rr5r$r valuesr;s rget_compositeszFiniteAutomaton.get_compositesLs; ? &  # # % % %D'..00111rcbi}i}t|jD]\}}t|}|t |}||}|g}|||<|||||<||fSr0)r$r r%keyssorttuplegetr))rtctckr+r,r8kss rget_transition_classesz&FiniteAutomaton.get_transition_classesQs ))++,,  DAqNNE JJLLL%LLEBz5 IIaLLLCFF3wrcJd}d}fd}jr7x}_d_nj}|\}}t |}||j} ||| } || } | S)NcFfdi|D]8}t|D]&\}}||dzdD]}||v||vkrd||f<'9tD]}|\}}||}||} g} |D]n} || } | | } | | urX| | f}|vr| |4| | f}|vr| |R|}|=|dur |n0o| D],}|}|dur |g}||<||-S)NcJ|D]}|vr|}|=|r |dSr0r#)r3pql1PSpsrmarks rrQzCFiniteAutomaton.get_minimized_dfa..markall..psrmarkcsK((BRxxVrF(#GBKKK ((rrr#) enumerater$rCr))finalstcvr QippqrNdpdqdpsr4dpadqadpadqadqadpar3rPrQs @@rmarkallz2FiniteAutomaton.get_minimized_dfa..markallbs ( ( ( ( ( (B , ,&q\\,,EBr!tuuX,,KQ&[99)+B1vJ,, 27799oo ) )11X1X))AQ%CQ%C#~~"%s!R<<JJv....&)3ZF%|| # 6 2 2 2 2$&rF$&rF#$B;;$+GAJJJ %&#&))vJ77!#A)*BvJJHHRLLLLIrci}|D] }|D]}|g||< |D]\\}}||}||}||urCt|t|kr||}}|||D]}|||<]|Sr0)rextend)QSPQSeqsrUrWrXepeqs rcombinez2FiniteAutomaton.get_minimized_dfa..combinesC ! !!!ASCFF! $ $1 VVR<<2wwR((!#RBIIbMMM$$!#AJrci}i}d}t|D]6}t|}||vr!d|z}|dz }|d|f||<|D]}|||<7|j}i|_t|D]\\} } ix|j| <} tj| D]\} }||| | <| vr d|j| <]|S)NrzMS%dr)r$r@id __class__r final_statesr r%)recsbyidcsbyasirgideqrsfsacs0cstr8r4rSrs rfinalizez3FiniteAutomaton.get_minimized_dfa..finalizes1FFA3::<<(( & &"vvv%% AFA#%a5!8F4L&&$%q ..(8!9::C!C  11 . .S)++ # C!6!6!8!899))DAq%ayE!HH&==,-C$S)Jrr)rr5rJ_tctckr$r@r ) rrSr`rhrutctckrGrHrTrPrerrs `` rget_minimized_dfaz!FiniteAutomaton.get_minimized_dfaas. . . `   .      4 ?  # # % % %"&"="="?"? ?EDKDOOKEC299;; WVS$* - -gc2hsmm rcJtttd|D}t |dkr|dS |j|S#t $r)||j|<|j||cYSwxYw)Ncg|]}|dfS)rr#).0args r z1FiniteAutomaton.new_composite..s&@&@&@CQx&@&@&@rrr) r(r$dictrCrr r&r r))rargscss rrzFiniteAutomaton.new_composites D&@&@4&@&@&@!A!A!F!F!H!HII J J r77a<<7N &r* *   &(D  #  & - -b 1 1 1III s" A//0B"!B"ct|j}|t dt |D}|D]}|j|}t d|||fzt|}||D]%}||}t d||||fz&dS)Ncg|] \}}||f Sr#r#)r{rorqs rr}z&FiniteAutomaton.pp..s 555tq!QF555rz%d: %sz %r -> #%d: %s)r$r rCrDr~rRprint)rrInumrqr+rrr,s rppzFiniteAutomaton.pps $*//## $ $  55y}}55566 < rArJrxrrr#rrrrs      222(222  nnn`    < < < < rsjf<f<f<f<f<f<f<f