class_docstr: A class implementing rewriting systems for `FpGroup`s.
  
  References
  ==========
  .. [1] Epstein, D., Holt, D. and Rees, S. (1991).
         The use of Knuth-Bendix methods to solve the word problem in automatic groups.
         Journal of Symbolic Computation, 12(4-5), pp.397-414.
  
  .. [2] GAP's Manual on its KBMAG package
         https://www.gap-system.org/Manuals/pkg/kbmag-1.5.3/doc/manual.pdf
class_docstr_tok: ["A","class","implementing","rewriting","systems","for","`","FpGroup","`","s",".","References","==========","..","[","1","]","Epstein",",","D.",",","Holt",",","D.","and","Rees",",","S.","(","1991",")",".","The","use","of","Knuth-Bendix","methods","to","solve","the","word","problem","in","automatic","groups",".","Journal","of","Symbolic","Computation",",","12","(","4-5",")",",","pp.397-414",".","..","[","2","]","GAP","'s","Manual","on","its","KBMAG","package","https",":","\/\/www.gap-system.org\/Manuals\/pkg\/kbmag-1.5.3\/doc\/manual.pdf"]
docstr: Construct the automaton based on the set of reduction rules of the system.
  
  Automata Design:
  The accept states of the automaton are the proper prefixes of the left hand side of the rules.
  The complete left hand side of the rules are the dead states of the automaton.
docstr_tok: ["Construct","the","automaton","based","on","the","set","of","reduction","rules","of","the","system",".","Automata","Design",":","The","accept","states","of","the","automaton","are","the","proper","prefixes","of","the","left","hand","side","of","the","rules",".","The","complete","left","hand","side","of","the","rules","are","the","dead","states","of","the","automaton","."]
code: def construct_automaton(self):
      """
      Construct the automaton based on the set of reduction rules of the system.
  
      Automata Design:
      The accept states of the automaton are the proper prefixes of the left hand side of the rules.
      The complete left hand side of the rules are the dead states of the automaton.
  
      """
      self._add_to_automaton(self.rules)
  
file_path: sympy/sympy/combinatorics/rewritingsystem.py
imports: from collections import deque
  from sympy.combinatorics.rewritingsystem_fsm import StateMachine
label_desc: Use image node_id 12 for calling the RewritingSystem obj's underlying member method code with example usage: obj.construct_automaton() without return types