Merge branch 'main' into develop

Author: caleb531

docs/pda/class-dpda.md

@@ -38,15 +38,15 @@ dpda = DPDA(
     stack_symbols={'0', '1'},
     transitions={
         'q0': {
-            'a': {'0': ('q1', ('1', '0'))}  # transition pushes '1' to stack
+            'a': {'0': ('q1', ('1', '0'))}  # push '1' to stack
         },
         'q1': {
-            'a': {'1': ('q1', ('1', '1'))},
-            'b': {'1': ('q2', '')}  # transition pops from stack
+            'a': {'1': ('q1', ('1', '1'))},  # push '1' to stack
+            'b': {'1': ('q2', '')}  # pop from stack
         },
         'q2': {
-            'b': {'1': ('q2', '')},
-            '': {'0': ('q3', ('0',))}  # transition does not change stack
+            'b': {'1': ('q2', '')},  # pop from stack
+            '': {'0': ('q3', ('0',))}  # no change to stack
         }
     },
     initial_state='q0',

docs/pda/class-npda.md

@@ -39,16 +39,16 @@ npda = NPDA(
                 '#': {('q2', '#')},  # no change to stack
             },
             'a': {
-                '#': {('q0', ('A', '#'))},  # replace top of stack with 'A#'
+                '#': {('q0', ('A', '#'))},  # push 'A' to stack
                 'A': {
                     ('q0', ('A', 'A')),  # push 'A' to stack
                     ('q1', ''),  # pop from stack
                 },
-                'B': {('q0', ('A', 'B'))},  # push 'B' to stack
+                'B': {('q0', ('A', 'B'))},  # push 'A' to stack
             },
             'b': {
-                '#': {('q0', ('B', '#'))},  # replace top of stack with 'B#'
-                'A': {('q0', ('B', 'A'))},  # replace top of stack with 'BA'
+                '#': {('q0', ('B', '#'))},  # push 'B' to stack
+                'A': {('q0', ('B', 'A'))},  # push 'B' to stack
                 'B': {
                     ('q0', ('B', 'B')),  # push 'B' to stack
                     ('q1', ''),  # pop from stack