-Ph'dZddlZddlmZddlmZddlmZejrddlm Z m Z ddl mZ nddl m Z m Z ddlmZ ddZejd ed efd Zejd e d efd Zejd ed e fdZGddZdS)z0 Python Lexical Analyser Converting NFA to DFA N)Machines)LOWEST_PRIORITY) TransitionMap)Node FastMachinec tj}t|}|jD]=\}}|t |}|||>|jD]}t}| |D]H}|j D],\}} |r%| r#| |t| -I|D]/\}} ||||| 0|r*|d|||S)zg Given a nondeterministic Machine, return a new equivalent Machine which is deterministic. z ===== State Mapping ===== )rrStateMapinitial_statesitems old_to_newepsilon_closuremake_initial_statestatesr new_to_old transitionsadd_setset_epsilon_closureadd_transitionswritedump) old_machinedebug new_machine state_mapkey old_state new_statereventold_target_states old_statess O/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/Cython/Plex/DFA.py nfa_to_dfar#s (355K";//I (6<<>>77i(()C)CDD &&sI6666!'\\ #oo "--i88 W WI,5,A,G,G,I,I W W((W.W''/BCT/U/UVVV W"-!2!2!4!4 \ \ E:  ' ' 5):N:Nz:Z:Z [ [ [ [ \  3444u  state_setreturnczt}|D])}t|D]}||*|S)zc Given a set of states, return the union of the epsilon closures of its member states. )setradd)r%resultstate1state2s r"rr?sR UUF%f--  F JJv      Mr$statecb|j}|%t}||_t|||S)zW Return the set of states reachable from the given state by epsilon moves. )rr(add_to_epsilon_closure)r-r*s r"rrLs7 "F ~ &vu--- Mr$c||vrE|||j}|r|D]}t||dSdSdS)zd Recursively add to |state_set| states reachable from the given state by epsilon moves. N)r)r get_epsilonr/)r%r- state_set_2r,s r"r/r/[s{ I e'3355  :% : :&y&9999  : : : :r$cHeZdZdZdZdefdZdefdZdZdefdZ d Z d S) r z Helper class used by nfa_to_dfa() to map back and forth between sets of states from the old machine and states of the new machine. c0||_i|_i|_dSN)rold_to_new_dictnew_to_old_dict)selfrs r"__init__zStateMap.__init__rs &!!r$ old_state_setc ||}|j|d}|sP||}|j|}||j|<||jt|<|S)aX Return the state of the new machine corresponding to the set of old machine states represented by |state_set|. A new state will be created if necessary. If any of the old states are accepting states, the new state will be an accepting state with the highest priority action from the old states. N)make_keyr6gethighest_priority_actionrrr7id)r8r:rractions r"r zStateMap.old_to_newwsmmM**(,,S$77  @11-@@F(226::I(1D  %2?D I /r$r%cNd}t}|D]}|j}||kr |j}|}|Sr5)raction_priorityr@)r8r% best_action best_priorityr-prioritys r"r>z StateMap.highest_priority_actionsA '  ) )E,H-''#l ( r$c6|jt|S)zrr<rr$r"r r ls """ "     333(#((((DDDDDr$r r5)rScythonrrrNrcompiled$cython.cimports.Cython.Plex.Machinesrr'cython.cimports.Cython.Plex.Transitionstype_TransitionMapCython.Plex.MachinesCython.Plex.Transitionsr#cfuncr(rrr/r rTr$r"r^s  %%%%%%&&&&&& ?LFFFFFFFF[[[[[[[66666666KKKKKK''''T 3 3     4 C     :c :$ : : : : 8D8D8D8D8D8D8D8D8D8Dr$