Next: Index, Previous: Table of Symbols, Up: Top [Contents][Index]
ʸ̮¼«Í³Ê¸Ë¡¤ò·Á¼°Åª¤Ëɽ¸½¤¹¤ëÊýË¡¤Ç¤¹¡£ BNF¤Ï¡¢1963ǯ¤ÎÊó¹ðALGOL-60¤Ç½é¤á¤Æ»È¤ï¤ì¤Þ¤·¤¿¡£ See Languages and Context-Free Grammars¡£
ʸ̮¤Ë´Ø·¸¤Ê¤¯Å¬ÍѤµ¤ì¤ëµ¬Â§¤Ë¤è¤Ã¤ÆÄê¤á¤é¤ì¤ëʸˡ¤Ç¤¹¡£ ¤·¤¿¤¬¤Ã¤Æ¡¢¤â¤·¡¢À°¿ô¤Ï¼°¤È¤·¤Æ»È¤ï¤ì¤Æ¤â¤è¤¤¤È¤¤¤¦µ¬Â§¤¬¤¢¤ì¤Ð¡¢ ¼°¤¬µö¤µ¤ì¤ë¤¢¤é¤æ¤ë¾ì½ê¤ÇÀ°¿ô¤ÎÍøÍѤ¬µö¤µ¤ì¤Þ¤¹¡£ See Languages and Context-Free Grammars¡£
¥×¥í¥°¥é¥à¤ò¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤È¤¤Ç¤â¡¢´Ø¿ô¤Î¼Â¹Ô¤ò»Ï¤á¤ë¤È¤¤Ç¤â¤Ê¤¯¡¢ ¼Â¹Ô¤ÎÅÓÃæ¤Ç¥á¥â¥ê¤ò³ä¤êÅö¤Æ¤ë¤³¤È¤Ç¤¹¡£
½¸¹çÏÀ¤Ç¤Î¶õ½¸¹ç¤ÈƱÍͤˡ¢¶õʸ»úÎó¤È¤ÏŤµ¤¬0¤Îʸ»úÎó¤Ç¤¹¡£
¤½¤Î´°Á´¤Ê¾õÂÖ¤¬¡¢³Æ½Ö´Ö¤Ç¤Î¾õÂ֤ǵ½Ò¤µ¤ì¤ë¡Öµ¡³£¡×¤Ç¤¹¡£ µ¡³£¤Ø¤ÎÆþÎϤ¬½èÍý¤µ¤ì¤ë¤È¡¢µ¡³£¤ÎÏÀÍý¤Ë±þ¤¸¤Æ¡¢ µ¡³£¤Î¾õÂÖ¤¬Ê̤ξõÂÖ¤ËÊѤï¤ê¤Þ¤¹¡£ Ëܽñ¤Ç¤Ï¡¢ÆþÎϤȤϹ½Ê¸²òÀϤµ¤ì¤Æ¤¤¤ë¸À¸ì¤Ç¡¢ ¾õÂ֤ȤÏʸˡµ¬Â§¤Î¤µ¤Þ¤¶¤Þ¤ÊÃʳ¬¤Ç¤¹¡£ See The Bison Parser Algorithm¡£
¸À¸ì¤Î¹½À®Í×ÁǤǡ¢¡Ê°ìÈÌŪ¤Ë¡ËʸˡŪ¤Ëʬ³ä²Äǽ¤Ê¤Î¤â¤Ç¤¹¡£ ¤¿¤È¤¨¤Ð¡¢C¸À¸ì¤Î¡Ö¼°¡×¤ä¡ÖÀë¸À¡×¤Ç¤¹¡£ See Languages and Context-Free Grammars¡£
±é»»¤ÎÂоݤȤʤ륪¥Ú¥é¥ó¥É¤ÎÃæ´Ö¤ËÃÖ¤«¤ì¤ë»»½Ñ±é»»»Ò¤Ç¤¹¡£
Æþ½ÐÎÏÁõÃÖ¤Þ¤¿¤Ï¥×¥í¥°¥é¥à¤Î´Ö¤Ç¤Î¡¢Ï¢Â³Åª¤Ê¥Ç¡¼¥¿¤Îή¤ì¤Ç¤¹¡£
¸À¸ì¤Î³µÍפò¼¨¤¹Åµ·¿Åª¤ÊÊýË¡¤Î1¤Ä¤Ç¤¹¡£
¤¿¤È¤¨¤Ð¡¢C¸À¸ì¤Î¹½Ê¸¤Î1¤Ä¤Ïif
ʸ¤Ç¤¹¡£
See Languages and Context-Free Grammars¡£
º¸·ë¹çÀ¤ò»ý¤Ä±é»»»Ò¤Ï¡¢º¸¤«¤é±¦¤Ë¸þ¤«¤Ã¤Æ¹½Ê¸²òÀϤµ¤ì¤Þ¤¹¡£ ¤¿¤È¤¨¤Ð¡¢‘a+b+c’¤Ç¤Ï¡¢¤Þ¤º‘a+b’¤¬·×»»¤µ¤ì¡¢ ¼¡¤Ë‘c’¤È¤ÎϤ¬·×»»¤µ¤ì¤Þ¤¹¡£ See Operator Precedence¡£
·ë²Ì¤Îµ¹æ¤¬¹½À®Í×ÁǤκǽé¤Îµ¹æ¤ÈÅù¤·¤¤¤è¤¦¤Êµ¬Â§¤Ç¤¹¡£ ¤¿¤È¤¨¤Ð¡¢‘expseq1 : expseq1 ',' exp;’¤¬º¸ºÆµ¢¤Ç¤¹¡£ See Recursive Rules¡£
º¸Â¦¤«¤é±¦Â¦¤Ë¸þ¤«¤Ã¤Æ¡¢¥È¡¼¥¯¥ó¤ò¼¡¡¹¤Ë²òÀϤ·¤Æ¤¤¤¯¤è¤¦¤Ê¡¢ ¸À¸ì¤Î¹½Ê¸²òÀÏÊýË¡¤Ç¤¹¡£ See The Bison Parser Algorithm¡£
ÆþÎÏ¥¹¥È¥ê¡¼¥à¤òÆÉ¤ó¤Ç¡¢¥È¡¼¥¯¥ó¤ò1¤Ä¤º¤ÄÊÖ¤¹´Ø¿ô¤Ç¤¹¡£
See The Lexical Analyzer Function yylex
¡£
ʸˡµ¬Â§¤Ë¤è¤Ã¤ÆÀßÄꤵ¤ì¤ë¥Õ¥é¥°¤¬¡¢¥È¡¼¥¯¥ó¤¬»ú¶ç²òÀϤµ¤ì¤ëÊýË¡¤Ë ±Æ¶Á¤¹¤ë¤³¤È¤Ç¤¹¡£ See Lexical Tie-ins¡£
2ʸ»ú°Ê¾å¤Î·è¤Þ¤Ã¤¿Ê¸»úÎ󤫤é¤Ê¤ë¥È¡¼¥¯¥ó¤Ç¤¹¡£ See Symbols¡£
¤¹¤Ç¤ËÆÉ¤ß¹þ¤Þ¤ì¤Æ¤¤¤Æ¡¢¥·¥Õ¥È¤µ¤ì¤Æ¤¤¤Ê¤¤¥È¡¼¥¯¥ó¤Ç¤¹¡£ See Look-Ahead Tokens¡£
Bison¡Ê¤Þ¤¿¤Ï»÷¤Æ¤¤¤ë¤Û¤È¤ó¤É¤Î¹½Ê¸²òÀÏ´ï¡Ë¤Ë¤è¤Ã¤Æ°·¤¨¤ë¡¢ ʸ̮¼«Í³Ê¸Ë¡¤Î°ìÉôʬ¤Ç¡¢LR(1)¤ÎÉôʬ½¸¹ç¤Ç¤¹¡£ See Mysterious Reduce/Reduce Conflicts¡£
Ǥ°Õ¤ÎÆþÎϤΤ¢¤¤¤Þ¤¤¤Ç¤Ê¤¤¹½Ê¸²òÀϤËÂФ·¤Æ¡¢ ñ¤Ë1¸Ä¤ÎÀèÆÉ¤ß¥È¡¼¥¯¥ó¤òɬÍפȤ¹¤ë¤è¤¦¤Ê¡¢ ʸ̮¼«Í³Ê¸Ë¡¤Î°ìÉôʬ¤Ç¤¹¡£
ʸˡŪ¹½À®Í×ÁǤòɽ¤¹Ê¸Ë¡µ¹æ¤Ç¡¢Ê¸Ë¡µ¬Â§¤Ë¤è¤Ã¤Æ¤è¤ê¾®¤µ¤Ê¹½À®Í×ÁÇ¤Ë Ê¬²ò¤Ç¤¤ë¤â¤Î¤Ç¤¹¡£¸À¤¤´¹¤¨¤ë¤È¡¢¥È¡¼¥¯¥ó¤Ç¤Ê¤¤¹½À®Í×ÁǤǤ¹¡£ See Symbols¡£
ÆþÎÏ¥¹¥È¥ê¡¼¥à¤ò¹½Ê¸²òÀϤ·¤Æ¤¤¤ë¤È¤¤Ë¡¢¸í¤Ã¤¿Ê¸Ë¡¤Ë¤è¤Ã¤ÆÈ¯À¸¤¹¤ë¥¨¥é¡¼¤Ç¤¹¡£ See Error Recovery¡£
»ú¶ç²òÀϴ狼¤éÅϤµ¤ì¤¿¥È¡¼¥¯¥ó¤Î½¸¹ç¤ÎʸˡŪ¹½Â¤¤ò²òÀϤ·¤Æ¡¢ ¸À¸ì¤Î͸ú¤Êʸ¤òǧ¼±¤¹¤ë´Ø¿ô¤Ç¤¹¡£
±é»»¤ÎÂоݤΥª¥Ú¥é¥ó¥É¤Î¸å¤ËÃÖ¤«¤ì¤ë»»½Ñ±é»»»Ò¤Ç¤¹¡£
ʸˡµ¬Â§¤Ë½¾¤Ã¤Æ¡¢Èó½ªÃ¼µ¹æ¤Þ¤¿¤Ï½ªÃ¼µ¹æ¤ÎÎó¤ò¡¢ 1¸Ä¤ÎÈó½ªÃ¼µ¹æ¤ËÃÖ¤´¹¤¨¤ë¤³¤È¤Ç¤¹¡£ See The Bison Parser Algorithm¡£
ºÆÆþ²Äǽ¤Ê¼ê³¤¤È¤Ï¡¢Ê£¿ô¤Î¸Æ¤Ó½Ð¤·¤Î´Ö¤Ç¤ÎÁê¸ßºîÍѤʤ·¤Ë¡¢ ʹԤ·¤ÆÇ¤°Õ¤Î¿ô¤ò¸Æ¤Ó½Ð¤»¤ë¼ê³¤¤Ç¤¹¡£ 15 See A Pure (Reentrant) Parser¡£
¤¹¤Ù¤Æ¤Î±é»»»Ò¤¬¸åÃֵˡ±é»»»Ò¤Ç¤¢¤ë¤è¤¦¤Ê¸À¸ì¤Ç¤¹¡£
µ¬Â§¤Î·ë²Ì¤Îµ¹æ¤¬¡¢µ¬Â§¤ÎºÇ¸å¤Î¹½À®Í×ÁÇ¤ÈÆ±¤¸µ¹æ¤Ç¤¢¤ë¤è¤¦¤Êµ¬Â§¤Ç¤¹¡£ ¤¿¤È¤¨¤Ð¡¢‘expseq1: exp ',' expseq1;’¤Ï±¦ºÆµ¢¤Ç¤¹¡£ See Recursive Rules.
·×»»µ¡¸À¸ì¤Ç¤Ï¡¢¸À¸ì¤Î³Æ¥¤¥ó¥¹¥¿¥ó¥¹¤¬µ¯¤³¤¹¥¢¥¯¥·¥ç¥ó¤Ë¤è¤Ã¤Æ¡¢ °ÕÌ£¤¬»ØÄꤵ¤ì¤Þ¤¹¡£¤¹¤Ê¤ï¤Á¡¢³ÆÊ¸¤Î°ÕÌ£¤Ç¤¹¡£ See Defining Language Semantics¡£
¹½Ê¸²òÀϴ郎¥·¥Õ¥È¤¹¤ë¤È¤Ï¡¢ ¤¹¤Ç¤Ëǧ¼±¤µ¤ì¤Æ¤¤¤ë¤¢¤ëµ¬Â§¤Ë¤è¤Ã¤Æ¤¿¤À¤Á¤Ë´Ô¸µ¤¹¤ëÂå¤ï¤ê¤Ë¡¢ ¥¹¥È¥ê¡¼¥à¤«¤é¤Î¤µ¤é¤Ê¤ëÆþÎϤòʬÀϤ¹¤ë¤³¤È¤Ç¤¹¡£ See The Bison Parser Algorithm¡£
¤½¤Î¤Þ¤Þ¤Ë²ò¼á¤µ¤ì¤ë161ʸ»ú¤Ç¤¹¡£ See From Formal Rules to Bison Input¡£
¹½Ê¸²òÀϤµ¤ì¤¿Í¸ú¤Ê¸À¸ì¤ÎÁ´ÂΤòɽ¤¹Èó½ªÃ¼µ¹æ¤Ç¤¹¡£ Ä̾¸À¸ì»ÅÍͤ˽ñ¤«¤ì¤¿ºÇ½é¤ÎÈó½ªÃ¼µ¹æ¤Ç¤¹¡£ See The Start-Symbol¡£
·«¤êÊÖ¤·»È¤ï¤ì¤ëµ¹æ¤Î¾ðÊó¤òǧ¼±¤·¤Æ»È¤¦¤¿¤á¤Ë¡¢ ¹½Ê¸²òÀϤÎÅÓÃæ¤Ç¡¢µ¹æ¤Î̾Á°¤È´ØÏ¢¤¹¤ë¾ðÊó¤òµ²±¤¹¤ë¥Ç¡¼¥¿¹½Â¤¤Ç¤¹¡£ See Multi-function Calc¡£
¸À¸ì¤Î¡¢´ðËÜŪ¤Ç¡¢Ê¸Ë¡Åª¤Ëʬ³ä¤Ç¤¤Ê¤¤Ã±°Ì¤Ç¤¹¡£ ʸˡ¤ÎÃæ¤Î¥È¡¼¥¯¥ó¤òµ½Ò¤¹¤ëµ¹æ¤ò½ªÃ¼µ¹æ¤È¤¤¤¤¤Þ¤¹¡£ Bison¹½Ê¸²òÀÏ´ï¤ÎÆþÎϤϡ¢»ú¶ç²òÀϴ狼¤é¤Î¡¢ ¥È¡¼¥¯¥ó¤Îή¤ì¤Ç¤¹¡£ See Symbols¡£
ʸˡµ¬Â§¤ò»ý¤¿¤º¡¢¤·¤¿¤¬¤Ã¤ÆÊ¸Ë¡Åª¤Ëʬ³ä¤Ç¤¤Ê¤¤Ê¸Ë¡µ¹æ¤Ç¤¹¡£ ¤³¤ì¤¬É½¤¹Ê¸»ú¤Î½¸¤Þ¤ê¤ò¥È¡¼¥¯¥ó¤È¤¤¤¤¤Þ¤¹¡£ See Languages and Context-Free Grammars¡£
¡ÚÌõÃí¡Û¤¢¤ë´Ø¿ô¤¬½ªÎ»¤¹¤ëÁ°¤Ë¡¢ ¤½¤ÎƱ¤¸´Ø¿ô¤òÈ󯱴ü¤Ë¸Æ¤Ó½Ð¤·¤Æ¤â¤è¤¤¤È¤¤¤¦¤³¤È¡£
¡ÚÌõÃí¡Û»ú¶ç²òÀÏ´ï¤Ë¤è¤Ã¤Æ
Next: Index, Previous: Table of Symbols, Up: Top [Contents][Index]