changeset 291:1b75546ff65f

fix TODO
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 01 Feb 2016 12:20:16 +0900
parents 7f320313f44e
children 868f01f1ba8e
files regexParser/TODO
diffstat 1 files changed, 35 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/regexParser/TODO	Mon Feb 01 10:51:56 2016 +0900
+++ b/regexParser/TODO	Mon Feb 01 12:20:16 2016 +0900
@@ -7,6 +7,39 @@
 
     で、bの後にaが来なくなると、bの手前までをacceptする
 
+    subset construction はいじらない方針で。
+
+
+        state : 1 
+        node : + 1 -> 1
+                            [a-a] (3)
+                        [b-b] (1)
+
+        state : 2*
+        node : e 2 -> 1
+
+        state : 3*
+                            [a-a] (3)
+                        [b-b] (1)
+
+    * はaccept state。 
+
+    [a-a] (3) で stateMatch で良いが、maxmum だと match している間は stateMatch はしない。
+    現状は、*の付いているstateで、条件にmatchしない時に stateMatch してる。 
+    これだと state 3 で b で satete 1 に行ってしまい、b 以降に a がない時に失敗する。b に行く前の state 3 で stateMatchするべき。
+
+    matchする可能性がなくなったところで、前の部分でmatchさせる必要がある。
+        * match してなければ、match top をupdate
+        * match している間は直前matchをupdate
+        * match fail  したところで、直前のmatch があれば、それを返す
+    という感じか?
+
+    minimum match は
+        * match してなければ、match top をupdate
+        * match したところで、直前のmatch があれば、それを返す
+    か?
+
+    ソース生成を CbC に対応させる。(でないと動かないらしい)
 
 
 Sun Jan 31 20:37:49 JST 2016 masa
@@ -19,6 +52,8 @@
 
     とかが動かない。
 
+    start state に accept flag が立っていると''にmatchしてしまう。それは別に生成する。
+
 Sat Jan  2 15:29:16 JST 2016 kono
 
      stateよりもstate transitionの方が大きいので、subset contructionで CharClassWalkするのは良くない。