·¡Ý£²£¸
²¼¿Þ¤ÎÈó·èÄêÀ͸¥ª¡¼¥È¥Þ¥È¥ó¤¬¼õÍý¤¹¤ë¤¹¤Ù¤Æ¤Îʸ»úÎó¤òɽ¤¹Àµµ¬É½¸½¤Ï¤É¤ì¤«¡£
¤¿¤À¤·¡¢ÆþÎϤµ¤ì¤ëʸ»úÎó¤Î¥¢¥ë¥Õ¥¡¥Ù¥Ã¥È¤Ï {a,b},¦Å¤Ï¶õÎó¤È¤·¡¢Àµµ¬É½¸½¤Ë¤ª¤¤¤Æ¡¢
r*¤Ïr¤Î£°²ó°Ê¾å¤Î·«¤êÊÖ¤·¡¢(r1|r2)¤ÏÁªÂò¤òɽ¤¹¡£
¡¡
¡¡¡¡¡(a|b)*
¡¡¢¡¡(a|ba)*
¡¡£¡¡a*|(ba)*
¡¡¤¡¡a*ba(ba)*
¡¡¥¡¡a*|((ba)(ba)*)
Åú¤¨¤Ï¤³¤Á¤é
²¼¿Þ¤ÎÈó·èÄêÀ͸¥ª¡¼¥È¥Þ¥È¥ó¤¬¼õÍý¤¹¤ë¤¹¤Ù¤Æ¤Îʸ»úÎó¤òɽ¤¹Àµµ¬É½¸½¤Ï¤É¤ì¤«¡£
¤¿¤À¤·¡¢ÆþÎϤµ¤ì¤ëʸ»úÎó¤Î¥¢¥ë¥Õ¥¡¥Ù¥Ã¥È¤Ï {a,b},¦Å¤Ï¶õÎó¤È¤·¡¢Àµµ¬É½¸½¤Ë¤ª¤¤¤Æ¡¢
r*¤Ïr¤Î£°²ó°Ê¾å¤Î·«¤êÊÖ¤·¡¢(r1|r2)¤ÏÁªÂò¤òɽ¤¹¡£
¡¡

¡¡¡¡¡(a|b)*
¡¡¢¡¡(a|ba)*
¡¡£¡¡a*|(ba)*
¡¡¤¡¡a*ba(ba)*
¡¡¥¡¡a*|((ba)(ba)*)