+ j .!RR4t!RR4tR#)c4a]tRt^toRtRRltRtRtVtR#)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. NcTWn/VnW nV^,VnW@nR#)N)name transitions state_machine state_typerh_rule)selfrrr r s&&&&&h/home/luca/screen-checking/.venv/lib/python3.14/site-packages/sympy/combinatorics/rewritingsystem_fsm.py__init__State.__init__ s% *$Q- c "W PV&R#)a2 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_transitionState.add_transitions$) r)rr rr rNN) __name__ __module__ __qualname____firstlineno____doc__r r__static_attributes____classdictcell__ __classdict__s@r rrs  ) )rrc:a]tRt^toRtRtRRltRtRtVt R#) 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. cRWnW n/VnVPRRR7R#)starts)r N)rautomaton_alphabetstates add_state)r rr$s&&&r r StateMachine.__init__(s$ "4  w3/rNc :\WW#4pW@PV&R#)aH 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&StateMachine.add_state.s*J@ "+ Jrc(RVP,#)z%s)r)r s&r __repr__StateMachine.__repr__;styy!!r)r$rr%r) rrrrrr r&r-rrrs@r r r s0 ,""rr N)rr rr r0s))<""r