From a80db17473ff09cc72acba2c1975101e6dbedf39 Mon Sep 17 00:00:00 2001 From: JSDurand Date: Sun, 18 Jun 2023 15:03:34 +0800 Subject: fixed the bugs of node duplications and left-open nodes There were two main issues in the previous version. One is that there are lots of duplications of nodes when manipulating the forest. This does not mean that labels repeat: by the use of the data type this cannot happen. What happened is that there were cloned nodes whose children are exactly equal. In this case there is no need to clone that node in the first place. This is now fixed by checking carefully before cloning, so that we do not clone unnecessary nodes. The other issue, which is perhaps more important, is that there are nodes which are not closed. This means that when there should be a reuction of grammar rules, the forest does not mark the corresponding node as already reduced. The incorrect forests thus caused is hard to fix: I tried several different approaches to fix it afterwards, but all to no avail. I also tried to record enough information to fix these nodes during the manipulations. It turned out that recording nodes is a dead end, as I cannot properly syncronize the information in the forest and the information in the chain-rule machine. Any inconsistencies will result in incorrect operations later on. The approach I finally adapt is to perform every possible reduction at each step. This might lead to some more nodes than what we need. But those are technically expected to be there after all, and it is easy to filter them out, so it is fine, from my point of view at the moment. Therefore, what remains is to filter those nodes out and connect it to the holy Emacs. :D --- grammar/src/abnf.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'grammar/src') diff --git a/grammar/src/abnf.rs b/grammar/src/abnf.rs index 00bc0b2..eb56819 100644 --- a/grammar/src/abnf.rs +++ b/grammar/src/abnf.rs @@ -1,7 +1,7 @@ //! This file implements the function to read a grammar from a string, //! in the [augmented Backus Naur -//! form][https://en.wikipedia.org/wiki/Augmented_Backus–Naur_form]. -//! See [RFC5234][https://www.rfc-editor.org/rfc/rfc5234] for its +//! form](https://en.wikipedia.org/wiki/Augmented_Backus–Naur_form). +//! See [RFC5234](https://www.rfc-editor.org/rfc/rfc5234) for its //! specifications. //! //! In fact, the rules of ABNF are considered to be too strict. For -- cgit v1.2.3-18-g5258