From ec6fc810d4983acf5c7d327c9120e44c04e8fff6 Mon Sep 17 00:00:00 2001 From: Paul Schaub Date: Tue, 16 May 2023 16:54:03 +0200 Subject: [PATCH] Add missing accept rule to message format diagram --- misc/OpenPGPMessageFormat.md | 1 + 1 file changed, 1 insertion(+) diff --git a/misc/OpenPGPMessageFormat.md b/misc/OpenPGPMessageFormat.md index d04160cc..83217b7d 100644 --- a/misc/OpenPGPMessageFormat.md +++ b/misc/OpenPGPMessageFormat.md @@ -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