Mercurial > hg > Members > kono > Proof > automaton

diff a06/lecture.ind @ 46:964e4bd0272a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add coinduction
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 05 Apr 2019 16:13:44 +0900
parents a7f09c9a2c7a
children b3f05cd08d24
line wrap: on
line diff
--- a/a06/lecture.ind	Sat Dec 22 15:48:05 2018 +0900
+++ b/a06/lecture.ind	Fri Apr 05 16:13:44 2019 +0900
@@ -59,10 +59,7 @@
 
 --複数文字列に対する Boyer-Moore Search
 
-
-
-
+---問題6.1 正規表現の決定性オートマトンへの変換
 
-
+<a href="../exercise/005.html"> 例題  </a> <!---  Exercise 6.1 --->
 
-