­·¡Ý£±

¼¡¤Î¥Ð¥Ã¥«¥¹¡¦¥Ê¥¦¥¢µ­Ë¡ (BNF) ¤ÇÄêµÁ¤µ¤ì¤¿Ê¸Ë¡¤ò¹Í¤¨¤ë¡£
¡¡<S> :: = <A><B>
¡¡<A> :: = a | a<A>
¡¡<B> :: = b | b<B> | c | c<B>

¤³¤³¤Ç¡¢< > ¤Ç°Ï¤Þ¤ì¤¿¤â¤Î¤ÏÈó½ªÃ¼µ­¹æ¡¢±Ñ¾®Ê¸»ú£±Ê¸»ú¤Ï½ªÃ¼µ­¹æ¤È¤·¡¢³«»Ïµ­¹æ¤ò <S> ¤È¤¹¤ë¡£¼¡¤Î¤¦¤Á¡¢¤³¤Îʸˡ¤Ë¤è¤Ã¤ÆÀ¸À®¤µ¤ì¤ëʸ¤òÀµµ¬É½¸½¤Çɽ¤·¤¿¤â¤Î¤È¤·¤ÆºÇ¤âŬÀڤʤâ¤Î¤Ï¤É¤ì¤«¡£¤¿¤À¤·¡¢Àµµ¬É½¸½¤Ë¤ª¤¤¤Æ * ¤ÏľÁ°¤Î¤â¤Î¤Î£°²ó°Ê¾å¤Î·«¤êÊÖ¤·¤ò¡¢ | ¤ÏÁªÂò¤òɽ¤¹¤â¤Î¤È¤¹¤ë¡£

­¡¡¡aa*(bb*|cc*)

­¢¡¡aa*(bc)(bc)*

­£¡¡aa*(b|c)(b|c)*

­¤¡¡a*b*c

­¥¡¡a*(b|c)*




Åú¤¨¤Ï¤³¤Á¤é