update pda module docs

Author: bygu4

pyformlang/finite_automaton/epsilon_nfa.py

@@ -499,7 +499,7 @@ def get_difference(self, other: "EpsilonNFA") -> "EpsilonNFA":
             The other Epsilon NFA.
 
         Returns
-        ---------
+        -------
         The difference with the other epsilon NFA.
 
         Examples

pyformlang/finite_automaton/finite_automaton.py

@@ -138,7 +138,7 @@ def remove_transition(self,
             The destination state.
 
         Returns
-        --------
+        -------
         1 if the transition existed, 0 otherwise.
 
         Examples
@@ -199,7 +199,7 @@ def remove_start_state(self, state: Hashable) -> int:
         """Removes an initial state from the automaton.
 
         Parameters
-        -----------
+        ----------
         state:
             The initial state to remove.
 

pyformlang/finite_automaton/nondeterministic_transition_function.py

@@ -80,7 +80,7 @@ def remove_transition(self,
             The destination state.
 
         Returns
-        --------
+        -------
         1 if the transition was found, 0 otherwise.
 
         Examples

pyformlang/finite_automaton/transition_function.py

@@ -48,7 +48,7 @@ def remove_transition(self,
             The destination state.
 
         Returns
-        --------
+        -------
         1 if the transition was found, 0 otherwise.
         """
         raise NotImplementedError