Otj :GddZGddZdS)c eZdZdZddZdZdS)Statea- A representation of a state managed by a ``StateMachine``. Attributes: name (instance of FreeGroupElement or string) -- State name which is also assigned to the Machine. transisitons (OrderedDict) -- Represents all the transitions of the state object. state_type (string) -- Denotes the type (accept/start/dead) of the state. rh_rule (instance of FreeGroupElement) -- right hand rule for dead state. state_machine (instance of StateMachine object) -- The finite state machine that the state belongs to. NcX||_i|_||_|d|_||_dS)N)name transitions state_machine state_typerh_rule)selfrrr r s e/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/sympy/combinatorics/rewritingsystem_fsm.py__init__zState.__init__ s/ *$Q- c||j|<dS)aZ Add a transition from the current state to a new state. Keyword Arguments: letter -- The alphabet element the current state reads to make the state transition. state -- This will be an instance of the State object which represents a new state after in the transition after the alphabet is read. N)r)r letterstates r add_transitionzState.add_transitions$)   rNN)__name__ __module__ __qualname____doc__r rrr rrsA   ) ) ) ) )rrc&eZdZdZdZddZdZdS) StateMachinez Representation of a finite state machine the manages the states and the transitions of the automaton. Attributes: states (dictionary) -- Collection of all registered `State` objects. name (str) -- Name of the state machine. c^||_||_i|_|dddS)Nstarts)r )rautomaton_alphabetstates add_state)r rrs r r zStateMachine.__init__(s4 "4  w3/////rNc>t||||}||j|<dS)ax Instantiate a state object and stores it in the 'states' dictionary. Arguments: state_name (instance of FreeGroupElement or string) -- name of the new states. state_type (string) -- Denotes the type (accept/start/dead) of the state added. rh_rule (instance of FreeGroupElement) -- right hand rule for dead state. N)rr)r state_namer r new_states r r zStateMachine.add_state.s)*dJ@@ "+ Jrcd|jzS)Nz%s)r)r s r __repr__zStateMachine.__repr__;sty!!rr)rrrrr r r%rrr rrsP000 , , , ,"""""rrN)rrrrr r&s_))))))))<""""""""""r