·¡Ý£±
¼¡¤Î¥Ð¥Ã¥«¥¹¡¦¥Ê¥¦¥¢µË¡ (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)*