Spaghetti Source - å†å¸°ä¸‹é™åž‹æ§‹æ–‡è§£æž ( LL(1) )
説明 å†å¸°ä¸‹é™åž‹æ§‹æ–‡è§£æžã¯ BNF ã§ä¸Žãˆã‚‰ã‚ŒãŸæ–‡æ³•ã‚’解æžã™ã‚‹æ‰‹æ³•ã§ã‚る．与ãˆã‚‰ã‚ŒãŸ BNF を直接書ã下ã™ã“ã¨ã§ãƒ‘ーシングを行ã†ã“ã¨ãŒã§ãる．ã“ã“ã§ã¯ LL(1) パーザã®ä¾‹ã¨ã—ã¦å››å‰‡æ¼”算パーザを題æã«ï¼Œä½œæˆæ³•ã‚’示ã™ï¼Ž 1. BNF を書ã å†å¸°ä¸‹é™åž‹ã®ãƒ‘ーザを書ããŸã‚ã«ã¯ï¼Œã¾ãš BNF を書ã‹ãªã‘ã‚Œã°ãªã‚‰ãªã„．BNF ã§ã‹ã‘る文法ã¯äºŒåž‹æ–‡æ³•(文脈自由文法)ã¨ã‚ˆã°ã‚Œã‚‹ã‚¯ãƒ©ã‚¹ã«ãªã‚‹ï¼Žã“ã‚Œã¯å®Ÿç”¨ä¸Šæœ€ã‚‚有用ãªã‚¯ãƒ©ã‚¹ãªã®ã§ï¼Œå¤šãã®ç”¨é€”ã«ã¯ã“ã‚Œã§è¶³ã‚Šã‚‹ï¼Ž 四則演算㮠BNF ã¯æ¬¡ã®ã‚ˆã†ã«ãªã‚‹ï¼Žã©ã†ã›è‡ªåˆ†ã§ãƒ‘ーザを書ãã®ã§ BNF ã®ãã¡ã‚“ã¨ã—ãŸãƒ«ãƒ¼ãƒ«ã«å¾“ã£ã¦ã„ãªãã¦ã‚‚書ã‘ã‚‹æ°—ãŒã™ã‚Œã°é©å½“ãªãƒ«ãƒ¼ãƒ«ã‚’è¿½åŠ ã—ã¦ã‚ˆã„． equation := equation + factor | factor factor := factor * term | term term := (equation) | Num
boost::spiritã§æ§‹æ–‡è§£æžã‚’è¡Œã†ã€‚（多分）ãã®1 » ãŠã‹ã‚†å€¶æ¥½éƒ¨â€•ã‚½ãƒ¼ã‚¹ãŒå…¨ç„¶æ´—ã‚ã‚Œãªã„迷走ブãƒã‚°
boost::spiritã§ã€ã‚„ã£ã¨ã“ã•å‰å›žã®Expressionオブジェクトを作æˆã§ããŸã€‚ ã²ã©ã„ã€ã²ã©ã‹ã£ãŸâ€¦ 俺ã¿ãŸã„ãªã€Œã«ã‚ã‹ãƒ—ãƒã‚°ãƒ©ãƒžã€ãŒæ‰‹ã‚’出ã™ã‚ˆã†ãªã‚·ãƒãƒ¢ãƒŽã§ã¯ãªã‹ã£ãŸã‚ˆâ€¦ å±ã†ã「関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°æ怖症ã€ã«é™¥ã‚‹ã¨ã“ã‚ã ã£ãŸã€‚ ã„ã‚„ã€ãƒ©ã‚¤ãƒ–ラリãã®ã‚‚ã®ã¯ã™ã”ã良ã出æ¥ã¦ã‚‹ï¼ˆã‚“ã ã¨æ€ã†ï¼‰ã—ã€ä¸€åº¦ä½¿ãˆã‚‹ã‚ˆã†ã«ãªã‚‹ã¨ä¾¿åˆ©ãªã‚“ã§ã€ã¾ãŸä½¿ã†ã¨æ€ã†ã‚“ã ã‘ã©ã•ã€‚ 用語ãŒã‚„ã‚„ã“ã—ã„ã®ã§ã€ä»Šå›žã¯BNFをコードã«è½ã¨ã™ã¨ã“ã‚ã¾ã§ã€‚ LL構文解æžã‚’è¡Œã†ãƒ©ã‚¤ãƒ–ラリ。 å‰å›žåŒæ§˜boost1.42。 boost::spirit::classic（旧spirit？）ã€boost::spirit::qi（構文解æžï¼‰ã€boost::spirit::lex（å—å¥è§£æžï¼‰ã€boost::spirit::karma（コードジェãƒãƒ¬ãƒ¼ã‚¿ï¼Ÿï¼‰ã®ãƒ©ã‚¤ãƒ–ラリã‹ã‚‰æˆã‚‹ã‚‰ã—ã„。 今回使ã†è§£æžéƒ¨åˆ†ã‚’è¡Œã†ãƒ©ã‚¤ãƒ–
構文解æžï¼ˆparser）
1. ã¯ã˜ã‚㫠コンパイラを構æˆã™ã‚‹å‡¦ç†è¦ç´ ã®ã†ã¡ã€ã€Œ1. å—å¥è§£æžã€ã«ã‚ˆã£ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒ ä¸ã®ãƒˆãƒ¼ã‚¯ãƒ³ï¼ˆå‘½ä»¤èªžã‚„リテラル）を切り出ã—ãŸå¾Œã®æ®µéšŽã§ã¯ã€ãã®ãƒˆãƒ¼ã‚¯ãƒ³ã®å±žæ€§ã¨æ–‡æ³•ã«è¨˜è¿°ã•ã‚ŒãŸæ§‹æ–‡è¦å‰‡ã«åŸºã¥ã„ã¦ã€å°Žå‡ºæœ¨ã‚’構æˆã™ã‚‹å¿…è¦ãŒã‚る。ã“ã®å‡¦ç†ã‚’「構文解æžï¼ˆparser）ã€ã¨å‘¼ã¶ã€‚コンパイラ内部ã§å°Žå‡ºæœ¨ã®æ§‹æˆä½œæ¥ã‚’è¡Œã†ã‚ˆã†ãªæ©Ÿèƒ½ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚’「構文解æžå™¨ã€ã¨å‘¼ã¶ã€‚ å—å¥è§£æžå™¨ã®å…¥åŠ›ãƒˆãƒ¼ã‚¯ãƒ³ã¯æ–‡å—（ã¨[EOF]）ã§ã‚る。構文解æžå™¨ã®å…¥åŠ›ãƒˆãƒ¼ã‚¯ãƒ³ã¯å—å¥ãƒˆãƒ¼ã‚¯ãƒ³ã§ã‚る。 構文è¦å‰‡ã®æ±ºå®šã®ãŸã‚ã€å®šç¾©ã•ã‚ŒãŸãƒˆãƒ¼ã‚¯ãƒ³ã‚’用ã„ã¦è¨˜è¿°ã—ãŸã€å˜èª¿BNF（Backus Naur Form）ã‚ã‚‹ã„ã¯æ‹¡å¼µBNFå½¢å¼ã‚’用ã„ã¦æ–‡æ³•ã‚’作æˆã™ã‚‹ã€‚ 文法ã®è¡¨ç¾ã®ä»•æ–¹ã«ã¯ã€å¤§ãã分ã‘ã¦ä»¥ä¸‹ã®ï¼’ã¤ãŒã‚る。 ・è¦å‰‡ã®ä¸Šã‹ã‚‰ä¸‹ã¸å‘ã‘ã¦ç”Ÿæˆã™ã‚‹æ–¹æ³•ï¼ˆä¸‹é™åž‹ï¼šLL法） ・è¦å‰‡ã®ä¸‹ã‹ã‚‰ä¸Šã¸å‘ã‘ã¦ç”Ÿæˆã™ã‚‹æ–¹æ³•ï¼ˆä¸Šæ˜‡åž‹ï¼šLR法） 下é™åž‹ã¯ã€æ•°å¼ã‚„è«–
å½¢å¼è¨€èªžã®æ§‹æ–‡ã¨æ„味
トップ ＞ è¨€èªžå‡¦ç† ï¼ž å½¢å¼è¨€èªžã®æ§‹æ–‡ã¨æ„味 å½¢å¼è¨€èªžã®æ§‹æ–‡ã¨æ„味 １．形å¼è¨€èªžã®æ–‡æ³• プãƒã‚°ãƒ©ãƒ 言語ã®ã‚ˆã†ã«ã€åŽ³æ ¼ãªæ–‡æ³•ã«ã‚ˆã£ã¦ç”Ÿæˆã•ã‚ŒãŸè¨€èªžã‚’å½¢å¼è¨€èªžã¨å‘¼ã¶ã€‚ å½¢å¼è¨€èªžã¯ã€ä¸€èˆ¬ã«ã€å—å¥è¦å‰‡ãƒ»æ§‹æ–‡è¦å‰‡ãƒ»æ„味è¦å‰‡ã§è¦å®šã•ã‚Œã‚‹ã€‚ å—å¥è¦å‰‡ã¯ã€è˜åˆ¥åや演算記å·ã€å®šæ•°ã¨ã„ã£ãŸè¦ç´ （トークン）ã®è¡¨è¨˜æ³•ã‚’定ã‚〠構文è¦å‰‡ã¯ã€æ–‡ã‚„å¼ã®å½¢å¼ã‚’示ã™ã‚‚ã®ã§ã‚る。 æ„味è¦å‰‡ã¯ã€æ§‹æ–‡ã®æ„味をè¦å®šã™ã‚‹ã‚‚ã®ã§ã‚る。 例ãˆã°ã€ç®—è¡“å¼ã«é–¢ã™ã‚‹æ–‡æ³•ã‚’定義ã—〠x = 2 + 10 * 3 ã‹ã‚‰ x = 32 ã‚’å¾—ã‚‹ã“ã¨ã‚’考ãˆã‚ˆã†ã€‚ ã¾ãšã€å—å¥è§£æžã«ã‚ˆã£ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã¯è¦ç´ x, =, 2, +, 10, *, 3 ã«åˆ†è§£ã•ã‚Œã‚‹ã€‚ 構文解æžã«ã‚ˆã‚Šã€æ¼”ç®—å（プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã¯ã€+, * ã¯ã‚‚ã¨ã‚ˆã‚Šã€= も演算åã¨å‘¼ã¶ï¼‰ ã®å„ªå…ˆé †ä½ã‹ã‚‰æ¬¡ã®ã‚ˆã†ãªæ§‹æ–‡æœ¨ã‚’得る。 æ„味解æžã«ã‚ˆã‚Šã€2 + 10 * 3 ã®æ¼”ç®—ãŒè¡Œã‚ã‚Œã€ãã®çµ
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
BNFを書ã„ã¦ã¿ãŸ
https://docs.google.com/presentation/d/11Y9EtyM6wUSFEdU_c_DEhgkEV1UMl7K29Zk__hjpxCI/present
{{#tags}}- {{label}}
{{/tags}}