diff options
author | JSDurand <mmemmew@gmail.com> | 2023-02-12 12:07:34 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-02-12 12:07:34 +0800 |
commit | 987c84f3454c687cca0efe0d471fcf00e052ecab (patch) | |
tree | 04b9cf073a12adfb5d07ae308c3809e88cf4ebd2 /chain/src/plan.org | |
parent | 265ff8f87dc7392fdf701f811eb2bf54d7bc6678 (diff) |
Added the functionality of split or clone.
I need more than the ability to clone nodes: I also need to split the
nodes. Now this seems to be correctly added.
Diffstat (limited to 'chain/src/plan.org')
-rw-r--r-- | chain/src/plan.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chain/src/plan.org b/chain/src/plan.org index 77d000c..02e14c9 100644 --- a/chain/src/plan.org +++ b/chain/src/plan.org @@ -86,14 +86,14 @@ + [ ] Implement the boolean semiring. + [ ] Implement the natural number semiring. + [ ] Implement the free semiring. -- [-] Implement languages. [4/6] +- [-] Implement languages. [5/6] + [X] First define a trait with the expected behaviours. + [X] Then implement them as doubly labelled graphs. + [X] Each edge in the chain-rule machine needs to be labelled also with a position in the forest. This perfectly solves the problem of those "plugs"! + [X] Then implement finding derivatives by use of the chain rule. - + [ ] Handle Semirings + + [X] Handle Semirings + [-] Tests - [X] Miscellaneous [1/1] + [X] Implement a function for NFA that checks if a given predicate |