🚀 go-pugleaf

>>>>> "akr" == Tanaka Akira <akr@jaist.ac.jp> writes:

 akr> $B7k6I(B, $B>e$NJ8K!Dj5ACf$K8=$l$k(B Aa $B$H(B Ab $B$=$l$>$l$K5-9f$r3d$j?6$C$F$d$l$P(B
 akr> $BJ8L.0MB8J8K!$K$J$k(B, $B$H;W$C$?$s$G$9$,$I$&$G$7$g$&(B?

 akr> S -> c | SAa | SBb
 akr> aA -> Aa
 akr> bA -> Ab
 akr> cA -> ac
 akr> aB -> Ba
 akr> bB -> Bb
 akr> cB -> bc

$B$3$l$OJ8L.0MB8J8K!(B(context sensitive grammar)$B$J$N$G$7$g$&$+!)(B

$B;d$N<j$b$H$K$"$k(B Gries $B$N%3%s%Q%$%i$NK\$K=q$$$F$"$kDj5A$G$O!"(B

   xAy -> xwy
	(x, y, w $B$O=*C<5-9f$*$h$SHs=*C<5-9f$+$i9=@.$5$l$kNs$G!"(B
	 x, y $B$O6u$G$b$h$$!#(BA $B$OHs=*C<5-9f(B)

$B$H$$$&7A$N5,B'$N$_$+$i9=@.$5$l$k$b$N$,J8L.0MB8J8K!$H$J$C$F$$$^$9!#(B
$B$D$^$j!"(BCFG $B$N5,B'$KA08e$NJ8L.$rIU2C$7!"5,B'$,E,MQ$G$-$k6ILL$r8BDj$7$?(B
$B$b$N$H9M$($i$l$^$9!#(B

$BEDCf$5$s$N=q$+$l$?Nc(B aA -> Aa $B$G$O!":8JU$NJ8L.(B a $B$,J]B8$5$l$F$$$^$;$s(B
$B$N$G!"$3$l$O$h$j6/NO$J(Btransformational grammar$B$G$O$J$$$+$H;W$$$^$7$?$,!"(B
$B>e5-$NDj5A$H$O0[$J$kDj5A$,$"$k$N$+$b$7$l$^$;$s!#(B

$BBl@n$5$s$dEDCf$5$s$N;2>H$5$l$F$$$k(B context-sensitive grammar $B$NDj5A$r(B
$B65$($F$$$?$@$1$^$;$s$+!)(B

--
$B?9(B $B8x0lO:(B (MORI Koichiro),  kmori@ca2.so-net.or.jp | kmori@lsi-j.co.jp