--- a/a04/lecture.ind	Thu Nov 09 18:04:55 2023 +0900
+++ b/a04/lecture.ind	Wed Nov 15 16:24:07 2023 +0900
@@ -25,6 +25,14 @@
 
 abcfbffbcdf は、この正規表現にマッチする。a.*fb.*f と書いても良い。
 
+Perl で書けば
+
+  perl -de 0
+  DB<14> if ($x =~ /^(a.*f)(b.*f)$/)  { print "$1 $2\n"; }
+
+  perl -e 'if ($x =~ /^(a.*f)(b.*f)$/)  { print "$1 $2\n"; }'
+
+
 a.*f は以下の状態遷移で書ける。
 
 State は a0,a1,ae,af で、ae ならば受理。
@@ -42,6 +50,7 @@
      δb b0 _ = bf
 
 これを使って、a.*fb.*f を受理してみる。
+<a href="../automaton-in-agda/src/nfa136.agda"> nfa136.agda </a>
 
 <center><img src="fig/af-concat.svg"></center>