º£Æü¤Îµ¤¤Å¤­¡¡¡Á¤Ï¤Ò¤Õ¤Ø¤Û¡Á

º£Æüµ¤¤Å¤¤¤¿¤³¤È¤ò¡¢·Ú¤¤¥¿¥Ã¥Á¤Ç¡¢¥³¥ß¥«¥ë¤Ëɽ¸½¤·¤Æ¤ß¤Þ¤·¤¿¡£ ¥Ñ¥½¥³¥ó¤äIT¤Ë´Ø¤¹¤ë¤³¤È¤â»þ¡¹½ñ¤¤¤Æ¤¤¤Þ¤¹¡£ ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡

BNF

ÎáϸµÇ¯ÅÙ¡¡µ»½Ñ»ÎÂè°ì¼¡»î¸³ÌäÂê(ºÆ)¡¡¾ðÊ󹩳ØÉôÌç¡¡­·¡Ý£¶

­·¡Ý£¶

¼¡¤ÎÀ¸À®µ¬Â§¤Ë¤è¤Ã¤Æ <S> ¤òÄêµÁ¤¹¤ë¡£
¡¡<S> ::= <T> "+" <S> | <T> "-" <T> | <T>
¡¡<T> ::= <F> "*" <T> | <F> "/" <F> | <F>
¡¡<F> ::= "1" | "2" | "3" | "x" | "(" <S> ")"
¤³¤³¤Ç¤Ï¡¢BNF (Backus - Naur Form) ¤Ç¼¨¤·¤¿¡£Èó½ªÃ¼µ­¹æ¤Ï < > ¤Ç¤¯¤¯¤ê¡¢½ªÃ¼µ­¹æ¤Ï "¡¡" ¤Ç¤¯¤¯¤Ã¤Æɽ¤¹¡£ <S> ¤«¤éƳ½Ð¤µ¤ì¤ë¼¡¤Î¤â¤Î¤Î¤¦¤Á¡¢ºÇ¤âÉÔŬÀڤʤâ¤Î¤Ï¤É¤ì¤«¡£

­¡¡¡((1))¡¡¡¡­¢¡¡1+2-3¡¡¡¡­£¡¡1+x/2/3

­¤¡¡1+x*2+2¡¡¡¡­¥¡¡1+x*2*3




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

ÎáϸµÇ¯ÅÙ½©´ü ´ðËܾðÊ󵻽ѼԻÌäÂê Ì䣷

Ì䣷

¼¡¤ÎBNF¤ÇÄêµÁ¤µ¤ì¤ë<ÊÑ¿ô̾>¤Ë¹çÃפ¹¤ë¤â¤Î¤Ï¤É¤ì¤«¡£
<¿ô»ú>::=0|1|2|3|4|5|6|7|8|9
<񥯣>::=A|B|C|D|E|F
<±Ñ¿ô»ú>::=<±Ñ»ú>|<¿ô»ú>|_
<ÊÑ¿ô̾>::=<±Ñ»ú>|<ÊÑ¿ô̾><±Ñ¿ô»ú>

¥¢¡¡_B39¡¡¡¡¥¤¡¡246¡¡¡¡¥¦¡¡3E5¡¡¡¡¥¨¡¡F5_1




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

ÎáϸµÇ¯ÅÙ¡¡µ»½Ñ»ÎÂè°ì¼¡»î¸³ÌäÂê¡¡¾ðÊ󹩳ØÉôÌç¡¡­·¡Ý£±

­·¡Ý£±

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




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

Ê¿À®£³£°Ç¯ÅÙ½©´ü ±þÍѾðÊ󵻽ѼԻÌäÂê Ì䣴

Ì䣴
¼¡¤Ë¼¨¤¹µ­½Ò¤Ï¡¢£Â£Î£Æ¤Çɽ¸½¤µ¤ì¤¿¤¢¤ë¥×¥í¥°¥é¥à¸À¸ì¤Î
¹½Ê¸¤Î°ìÉô¤Ç¤¢¤ë¡£
¡ã¥Ñ¥é¥á¥¿»ØÄê¡ä¤È¤·¤Æ¡¢Å¬Àڤʤâ¤Î¤Ï¤É¤ì¤«¡£

¡ã¥Ñ¥é¥á¥¿»ØÄê¡ä¡§¡§¡á¡ã¥Ñ¥é¥á¥¿¡ä¡Ã¡Ê¡ã¥Ñ¥é¥á¥¿»ØÄê¡ä¡¤¡ã¥Ñ¥é¥á¥¿¡ä¡Ë
¡ã¥Ñ¥é¥á¥¿¡ä¡§¡§¡á¡ã±Ñ»ú¡ä¡Ã¡ã¥Ñ¥é¥á¥¿¡ä¡ã±Ñ»ú¡ä
¡ã±Ñ»ú¡ä¡§¡§¡á£á¡Ã£â¡Ã£ã¡Ã£ä¡Ã£å¡Ã£æ¡Ã£ç¡Ã£è¡Ã£é

¡¡¥¢¡¡((£á£â£ã¡¤£ä£å£æ)¡¤£ç£è£é)
¡¡¥¤¡¡((£á£â£ã¡¤£ä£å£æ))
¡¡¥¦¡¡(£á£â£ã¡¤(£ä£å£æ))
¡¡¥¨¡¡(£á£â£ã)



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

Ê¿À®£³£°Ç¯ÅÙ¡¡µ»½Ñ»ÎÂè°ì¼¡»î¸³ÌäÂê¡¡¾ðÊ󹩳ØÉôÌç¡¡­·¡Ý£·

­·¡Ý£·
¼¡¤ÎÛ£Ë椵¤ò»ý¤Äʸˡ¤Ë¤è¤Ã¤Æ¡ã¼°¡ä¤òÄêµÁ¤¹¤ë¡£
¡¡¡ã¼°¡ä ¡§¡§¡á ¡ã¼°¡ä¡¡¡ã±é»»¡ä¡¡¡ã¼°¡ä¡¡¡Ã¡¡¡ãÊÑ¿ô¡ä¡¡¡Ã¡¡¡ãÄê¿ô¡ä
¡¡¡ã±é»»¡ä¡§¡§¡á ¡È¡Ü¡É¡¡¡Ã¡¡¡È¡Ý¡É
¡¡¡ãÊÑ¿ô¡ä¡§¡§¡á ¡È£ø¡É¡¡¡Ã¡¡¡È£ù¡É¡¡¡Ã¡¡¡È£ú¡É
¡¡¡ãÄê¿ô¡ä¡§¡§¡á ¡È£±¡É¡¡¡Ã¡¡¡È£²¡É¡¡¡Ã¡¡¡È£³¡É¡¡¡Ã¡¡¡È£´¡É¡¡¡Ã¡¡¡È£µ¡É

¤³¤³¤Ç¤Ïʸˡ¤ÎÀ¸À®µ¬Â§¤ò¡¢ £Â£Î£Æ (Backus Naur Form) ¤Ç¼¨¤·¤Æ¤¤¤ë¡£
Èó½ªÃ¼µ­¹æ¤Ï¡ã¡ä¤Ç¤¯¤¯¤ê¡¢½ªÃ¼µ­¹æ¤Ï ¡È ¡É¤Ç¤¯¤¯¤Ã¤Æɽ¤¹¡£¼¡¤Î¼°¤ò
¾å¤Îʸˡ¤Ë¤¢¤Æ¤Ï¤á¤¿¤È¤­¤ËÀ¸À®²Äǽ¤Ê¹½Ê¸ÌÚ (Ƴ½ÐÌÚ) ¤Ï²¿Ä̤ꤢ¤ë¤«¡£

¡¡£ø¡¡¡Ý¡¡£³¡¡¡Ü¡¡£ù¡¡¡Ý¡¡£µ

¡¡­¡¡¡£´¡¡¡¡­¢¡¡£µ¡¡¡¡­£¡¡£¶¡¡¡¡­¤¡¡£·¡¡¡¡­¥¡¡£¸



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

Ê¿À®£²£¹Ç¯ÅÙ½©´ü ±þÍѾðÊ󵻽ѼԻÌäÂê Ì䣲

Ì䣲
¼¡¤ÎBNF¤Ë¤ª¤¤¤ÆÈó½ªÃ¼µ­¹æ <A> ¤«¤éÀ¸À®¤µ¤ì¤ëʸ»úÎó¤Ï
¤É¤ì¤«¡£

¡¡<R0>¡¡¡§¡§= 0 | 3 | 6 | 9
¡¡<R1>¡¡¡§¡§= 1 | 4 | 7
¡¡<R2>¡¡¡§¡§= 2 | 5 | 8
¡¡<A>¡¡¡§¡§= <R0> | <A><R0> | <B><R2> | <C><R1>
¡¡<B>¡¡¡§¡§= <R1> | <A><R1> | <B><R0> | <C><R2>
¡¡<C>¡¡¡§¡§= <R2> | <A><R2> | <B><R1> | <C><R0>

¡¡¡¡¥¢¡¡123¡¡¡¡¥¤¡¡124¡¡¡¡¥¦¡¡127¡¡¡¡¥¨¡¡128



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

Ê¿À®£²£¹Ç¯ÅÙ½Õ´ü ±þÍѾðÊ󵻽ѼԻÌäÂê Ì䣴

Ì䣴
¤¢¤ë¥×¥í¥°¥é¥à¸À¸ì¤Ë¤ª¤¤¤Æ¡¢¼±ÊÌ»Ò (identifier) ¤Ï¡¢ÀèƬ¤¬±Ñ»ú¤Ç
»Ï¤Þ¤ê¡¢¤½¤ì°Ê¹ß¤ËǤ°Õ¸Ä¤Î±Ñ¿ô»ú¤¬Â³¤¯Ê¸»úÎó¤Ç¤¢¤ë¡£
¤³¤ì¤òBNF¤ÇÄêµÁ¤·¤¿¤È¤­¡¢a ¤ËÆþ¤ë¤â¤Î¤Ï¤É¤ì¤«¡£

¡¡¡¡<digit>::¡á0¡Ã1¡Ã2¡Ã3¡Ã4¡Ã5¡Ã6¡Ã7¡Ã8¡Ã9
¡¡¡¡<letter>::¡áA¡ÃB¡ÃC¡Ã¡Ä¡ÃX¡ÃY¡ÃZ¡Ãa¡Ãb¡Ãc¡Ã¡Ä¡Ãx¡Ãy¡Ãz
¡¡¡¡<identifier>::¡á ¡¡¡¡a¡¡¡¡

¡¡¥¢¡¡<letter>¡Ã<digit>¡Ã<identifier><letter>¡Ã<identifier><digit>
¡¡¥¤¡¡<letter>¡Ã<digit>¡Ã<letter><identifier>¡Ã<identifier><digit>
¡¡¥¦¡¡<letter>¡Ã<identifier><digit>
¡¡¥¨¡¡<letter>¡Ã<identifier><digit>¡Ã<identifier><letter>



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

Ê¿À®£²£¸Ç¯ÅÙ¡¡µ»½Ñ»ÎÂè°ì¼¡»î¸³ÌäÂê¡¡¾ðÊ󹩳ØÉôÌç¡¡­·¡Ý£´

­·¡Ý£´
¼¡¤Î¤è¤¦¤ÊBNF¤ÇÄêµÁ¤µ¤ì¤¿Ê¸Ë¡¤ò¹Í¤¨¤ë¡£
¡¡<S> :: = <A><B>
¡¡<A> :: = a | a<A>
¡¡<B> :: = b | b<B> | c | c<B>

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

¡¡­¡¡¡a*b*c
¡¡­¢¡¡a*(b | c)*
¡¡­£¡¡aa*(bb* | cc*)
¡¡­¤¡¡aa*(bc)(bc)*
¡¡­¥¡¡aa*(b | c)(b | c)*



Åú¤¨¤Ï¤³¤Á¤é
¥Õ¥¡¡¼¥¹¥È¥Þ¥¯¥í¤Î£È£Ð
³ÚÅ·»Ô¾ì
¥«¥Æ¥´¥êÊÌ¥¢¡¼¥«¥¤¥Ö
µ­»ö¸¡º÷
Archives
ˬÌä¼Ô¿ô
  • º£Æü¡§
  • ºòÆü¡§
  • Î߷ס§

TagCloud
Recent Comments