Add missing accept rule to message format diagram

This commit is contained in:
Paul Schaub 2023-05-16 16:54:03 +02:00
parent 5cdd68c4cc
commit ec6fc810d4
Signed by: vanitasvitae
GPG Key ID: 62BEE9264BF17311
1 changed files with 1 additions and 0 deletions

View File

@ -67,6 +67,7 @@ graph LR
enc -. "ε,ε/m" .-> pgpmsg
enc -- "ε,#/ε" --> accept
enc -- "Signature,o/ε" --> sig4ops
accept -- "ε,ε/ε" --> accept
```
Formally, the PDA is defined as $M = (\mathcal{Q}, \Sigma, \Upgamma, \delta, q_0, Z, F)$, where