Mercurial > hg > Papers > 2016 > masa-master

changeset 33:67b1a7f36b6c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
date Mon, 08 Feb 2016 14:35:13 +0900
parents 7a74aa1fe42f
children 660c8f2365db
files c4.tex images/image.graffle images/regex/CharClassMergePattern.bb images/regex/ccinsert1.bb images/regex/ccinsert2.bb images/regex/ccinsertresult.bb images/regex/cfab.bb images/regex/cfdg.bb images/regex/cfdgab.bb images/regex/dfa.bb images/regex/efgi.bb images/regex/nfa.bb images/regex/parser.bb images/regex/parser.pdf images/regex/regexasta.bb images/regex/regexgroup.bb images/regex/regexselect.bb images/regex/regexseq.bb images/regex/regexseq2.bb images/regex/regexseqregex.bb images/regex/setstate.bb images/regex/setstate.pdf images/regex/stateafasta.bb images/regex/stateasta.bb images/regex/stateasta3.bb images/regex/stateselect.bb images/regex/stateselectasta.bb images/regex/stateselseq.bb images/regex/stateseq.bb images/regex/transitiontable.bb images/regex/transitiontable.pdf master_paper.pdf
diffstat 32 files changed, 121 insertions(+), 105 deletions(-) [+]
line wrap: on
line diff
--- a/c4.tex	Mon Feb 08 02:58:05 2016 +0900
+++ b/c4.tex	Mon Feb 08 14:35:13 2016 +0900
@@ -143,6 +143,7 @@
 \label{fig:iodivsuc}
 \end{figure}
 
+\newpage
 \section{正規表現}
 (正規表現の簡単な概要をここに)
 
@@ -312,37 +313,77 @@
   \label{fig:set state}
 \end{figure}
 
-正規表現木を深さ優先探索にてたどっていき、文字のノードにそれぞれ状態を番号で割り振りながらたどっていく。
-
+正規表現木を深さ優先探索にて左から辿っていき、文字のノードにそれぞれ状態を番号で割り振りを行う。
 また、状態の振り方は探索した際のメタ文字のノードに沿って割り振りを行う。
 
 それぞれのメタ文字がどのような状態を割り振るか紹介する。
+また、番号 1 は初期状態、番号 2 は受理状態を表している。
 
-また、番号 1 は初期状態、番号 2 は受理状態と定義している。
+\newpage
+
+図\ref{fig:stateseq}は連接 `+' で接続されている場合の正規表現である。
+受理される文字列の集合は \{ ab \} である。
+a が入力されれば別の状態になり、その状態で b が入力されれば受理状態に遷移する。
+これより `+' で接続された木の状態割当は、`+' の左ノードの状態とは別の新しい状態を生成して割り当てる。
 
+\begin{figure}[htpb]
+  \begin{center}
+    \includegraphics[scale=0.2]{images/regex/stateseq.pdf}
+  \end{center}
+  \caption{連接の状態割当}
+  \label{fig:stateseq}
+\end{figure}
+
+図\ref{fig:stateselect}は選択 `\textbar' で接続されている場合の正規表現である。
+受理される文字列の集合は \{ a, b \}である。
+この場合は a か b が入力されれば受理状態に遷移する。
+これより `\textbar' で接続された木の状態割当は、`\textbar' の左ノードと右ノードが同じ状態となり、新しい状態は生成されない。
 
 \begin{figure}[htpb]
   \begin{center}
-    \includegraphics[scale=0.2]{images/regex/regexseqregex.pdf}
+    \includegraphics[scale=0.2]{images/regex/stateselect.pdf}
+  \end{center}
+  \caption{選択 `\textbar' で接続されているときの状態割当}
+  \label{fig:stateselect}
+\end{figure}
+
+\newpage
+
+図\ref{fig:stateselseq}は連接 `+' と選択 `\textbar' の組み合わせで接続されている場合の正規表現である。
+受理される文字列の集合は \{ac,bc\} である。
+この場合、初期状態に a か b が入力されると次の状態に遷移し、遷移した状態に c が入力されると受理状態に遷移する。
+連接 `+' と選択 `\textbar' の状態割当方法の組み合わせにて状態を決定することができる。
+
+\begin{figure}[htpb]
+  \begin{center}
+    \includegraphics[scale=0.2]{images/regex/stateselseq.pdf}
   \end{center}
-  \caption{2つの Character Class を merge するときの全パターン}
-  \label{fig:CharClassMergePattern}
+  \caption{選択 `\textbar' と連接の組み合わせの状態割当}
+  \label{fig:stateselseq}
 \end{figure}
 
+図\ref{fig:stateasta}は連接 `+' の前の文字に繰返し `*' が接続されている場合の正規表現である。
+受理される文字列の集合は \{b,ab,aab,aaab,aa...ab\} である。
+この場合、初期状態に a が入力されると自分自身の状態に遷移する。遷移先を自分自身にすることによって、繰返しを表現することができる。
+その次に b が入力されると受理状態に遷移する。
+これより、`+' の左ノードに `*' が接続されていたら、`*' に接続されている木の一番左と `+' の右ノードに同じ状態が割り当てられる。
+
+\begin{figure}[htpb]
+  \begin{center}
+    \includegraphics[scale=0.2]{images/regex/stateasta.pdf}
+  \end{center}
+  \caption{連接の前の文字に `*' が接続されているときの状態割当}
+  \label{fig:stateasta}
+\end{figure}
+
+\newpage
+
 \begin{figure}[htpb]
   \begin{center}
     \includegraphics[scale=0.2]{images/regex/stateafasta.pdf}
   \end{center}
-  \caption{2つの Character Class を merge するときの全パターン}
-  \label{fig:CharClassMergePattern}
-\end{figure}
-
-\begin{figure}[htpb]
-  \begin{center}
-    \includegraphics[scale=0.2]{images/regex/stateasta.pdf}
-  \end{center}
-  \caption{2つの Character Class を merge するときの全パターン}
-  \label{fig:CharClassMergePattern}
+  \caption{連接の後ろの文字に `*' が接続されているときの状態割当}
+  \label{fig:stateafasta}
 \end{figure}
 
 
@@ -350,41 +391,18 @@
   \begin{center}
     \includegraphics[scale=0.2]{images/regex/stateasta3.pdf}
   \end{center}
-  \caption{2つの Character Class を merge するときの全パターン}
-  \label{fig:CharClassMergePattern}
+  \caption{連接中に `*'が接続されているときの状態割当}
+  \label{fig:stateasta3}
 \end{figure}
 
-
-\begin{figure}[htpb]
-  \begin{center}
-    \includegraphics[scale=0.2]{images/regex/stateselect.pdf}
-  \end{center}
-  \caption{2つの Character Class を merge するときの全パターン}
-  \label{fig:CharClassMergePattern}
-\end{figure}
+\newpage
 
 \begin{figure}[htpb]
   \begin{center}
     \includegraphics[scale=0.2]{images/regex/stateselectasta.pdf}
   \end{center}
-  \caption{2つの Character Class を merge するときの全パターン}
-  \label{fig:CharClassMergePattern}
-\end{figure}
-
-\begin{figure}[htpb]
-  \begin{center}
-    \includegraphics[scale=0.2]{images/regex/stateselseq.pdf}
-  \end{center}
-  \caption{2つの Character Class を merge するときの全パターン}
-  \label{fig:CharClassMergePattern}
-\end{figure}
-
-\begin{figure}[htpb]
-  \begin{center}
-    \includegraphics[scale=0.2]{images/regex/stateseq.pdf}
-  \end{center}
-  \caption{2つの Character Class を merge するときの全パターン}
-  \label{fig:CharClassMergePattern}
+  \caption{選択 `\textbar' と繰返し `*' の組み合わせの状態割当}
+  \label{fig:stateselectasta}
 \end{figure}
 
 
--- a/images/image.graffle	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/image.graffle	Mon Feb 08 14:35:13 2016 +0900
@@ -26,7 +26,7 @@
 	<key>MasterSheets</key>
 	<array/>
 	<key>ModificationDate</key>
-	<string>2016-02-07 17:47:37 +0000</string>
+	<string>2016-02-08 01:49:56 +0000</string>
 	<key>Modifier</key>
 	<string>MasaKoha</string>
 	<key>NotesVisible</key>
@@ -24969,7 +24969,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0101}</string>
+\f0\fs32 \cf0 5}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -25065,7 +25065,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 1101}</string>
+\f0\fs32 \cf0 13}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -25161,7 +25161,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0001}</string>
+\f0\fs32 \cf0 1}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -25209,7 +25209,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0001}</string>
+\f0\fs32 \cf0 1}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -25358,7 +25358,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0101}</string>
+\f0\fs32 \cf0 5}</string>
 							</dict>
 						</dict>
 					</array>
@@ -25415,7 +25415,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0101}</string>
+\f0\fs32 \cf0 5}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -25511,7 +25511,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 1111}</string>
+\f0\fs32 \cf0 15}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -25607,7 +25607,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0001}</string>
+\f0\fs32 \cf0 1}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -25655,7 +25655,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0001}</string>
+\f0\fs32 \cf0 1}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -25804,7 +25804,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 1111}</string>
+\f0\fs32 \cf0 15}</string>
 							</dict>
 						</dict>
 					</array>
@@ -25861,7 +25861,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0101}</string>
+\f0\fs32 \cf0 5}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -25957,7 +25957,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 1111}</string>
+\f0\fs32 \cf0 15}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -26053,7 +26053,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0001}</string>
+\f0\fs32 \cf0 1}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -26101,7 +26101,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0001}</string>
+\f0\fs32 \cf0 1}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -26250,7 +26250,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 1101}</string>
+\f0\fs32 \cf0 13}</string>
 							</dict>
 						</dict>
 					</array>
@@ -26350,7 +26350,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf2 0010}</string>
+\f0\fs32 \cf2 2}</string>
 									</dict>
 								</dict>
 								<dict>
@@ -27643,7 +27643,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf2 1000}</string>
+\f0\fs32 \cf2 8}</string>
 									</dict>
 								</dict>
 								<dict>
@@ -27696,7 +27696,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf2 0100}</string>
+\f0\fs32 \cf2 4}</string>
 									</dict>
 								</dict>
 								<dict>
@@ -27749,7 +27749,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf2 0001}</string>
+\f0\fs32 \cf2 1}</string>
 									</dict>
 								</dict>
 								<dict>
@@ -27802,7 +27802,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf2 0001}</string>
+\f0\fs32 \cf2 1}</string>
 									</dict>
 								</dict>
 								<dict>
@@ -27855,7 +27855,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf2 0001}</string>
+\f0\fs32 \cf2 1}</string>
 									</dict>
 								</dict>
 							</array>
@@ -27916,7 +27916,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0010}</string>
+\f0\fs32 \cf0 2}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -28017,7 +28017,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 1000}</string>
+\f0\fs32 \cf0 8}</string>
 							</dict>
 						</dict>
 					</array>
@@ -28074,7 +28074,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0100}</string>
+\f0\fs32 \cf0 4}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -28175,7 +28175,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0100}</string>
+\f0\fs32 \cf0 4}</string>
 							</dict>
 						</dict>
 					</array>
@@ -28232,7 +28232,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 1101}</string>
+\f0\fs32 \cf0 13}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -28328,7 +28328,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0001}</string>
+\f0\fs32 \cf0 1}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -28376,7 +28376,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0001}</string>
+\f0\fs32 \cf0 1}</string>
 							</dict>
 						</dict>
 						<dict>
@@ -28525,7 +28525,7 @@
 \deftab720
 \pard\pardeftab720\qc\partightenfactor0
 
-\f0\fs32 \cf0 0001}</string>
+\f0\fs32 \cf0 1}</string>
 							</dict>
 						</dict>
 					</array>
@@ -50464,13 +50464,11 @@
 	<key>WindowInfo</key>
 	<dict>
 		<key>CurrentSheet</key>
-		<integer>13</integer>
+		<integer>9</integer>
 		<key>Expanded_Canvases</key>
 		<array>
 			<string>キャンバス 7</string>
 		</array>
-		<key>Frame</key>
-		<string>{{90, 211}, {1198, 966}}</string>
 		<key>ShowInfo</key>
 		<true/>
 		<key>ShowRuler</key>
@@ -50482,7 +50480,7 @@
 		<key>TopSlabHeight</key>
 		<real>682</real>
 		<key>VisibleRegion</key>
-		<string>{{0, -12}, {684, 808}}</string>
+		<string>{{990.5, -12}, {684, 808}}</string>
 		<key>Zoom</key>
 		<real>1</real>
 		<key>ZoomValues</key>
--- a/images/regex/CharClassMergePattern.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/CharClassMergePattern.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/CharClassMergePattern.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1422 1908
-%%CreationDate: Mon Feb  8 02:54:22 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/ccinsert1.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/ccinsert1.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/ccinsert1.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1068 1050
-%%CreationDate: Mon Feb  8 02:54:22 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/ccinsert2.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/ccinsert2.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/ccinsert2.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1464 1116
-%%CreationDate: Mon Feb  8 02:54:22 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/ccinsertresult.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/ccinsertresult.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/ccinsertresult.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 756 777
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/cfab.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/cfab.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/cfab.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 768 399
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/cfdg.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/cfdg.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/cfdg.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 768 300
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/cfdgab.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/cfdgab.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/cfdgab.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1278 396
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/dfa.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/dfa.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/dfa.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1614 900
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/efgi.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/efgi.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/efgi.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 888 360
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/nfa.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/nfa.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/nfa.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1440 615
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/parser.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/parser.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/parser.pdf
 %%Creator: extractbb 20150315
-%%BoundingBox: 0 0 1707 1671
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%BoundingBox: 0 0 1716 1443
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
Binary file images/regex/parser.pdf has changed
--- a/images/regex/regexasta.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/regexasta.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/regexasta.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1557 645
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/regexgroup.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/regexgroup.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/regexgroup.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1032 804
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/regexselect.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/regexselect.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/regexselect.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 999 621
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/regexseq.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/regexseq.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/regexseq.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1437 477
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/regexseq2.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/regexseq2.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/regexseq2.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1167 510
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/regexseqregex.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/regexseqregex.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/regexseqregex.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1335 1041
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/setstate.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/setstate.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/setstate.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1716 1443
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
Binary file images/regex/setstate.pdf has changed
--- a/images/regex/stateafasta.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/stateafasta.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/stateafasta.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1242 1017
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/stateasta.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/stateasta.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/stateasta.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1191 798
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/stateasta3.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/stateasta3.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/stateasta3.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1356 1074
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/stateselect.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/stateselect.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/stateselect.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 990 726
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/stateselectasta.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/stateselectasta.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/stateselectasta.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1338 936
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/stateselseq.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/stateselseq.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/stateselseq.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1194 801
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/stateseq.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/stateseq.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/stateseq.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1035 762
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
--- a/images/regex/transitiontable.bb	Mon Feb 08 02:58:05 2016 +0900
+++ b/images/regex/transitiontable.bb	Mon Feb 08 14:35:13 2016 +0900
@@ -1,5 +1,5 @@
 %%Title: images/regex/transitiontable.pdf
 %%Creator: extractbb 20150315
 %%BoundingBox: 0 0 1227 1131
-%%CreationDate: Mon Feb  8 02:54:23 2016
+%%CreationDate: Mon Feb  8 11:22:40 2016
 
Binary file images/regex/transitiontable.pdf has changed
Binary file master_paper.pdf has changed