Hatena::Grouphaskell

猫とC#について書く代わりにHaskellとF#について書くmatarilloの日記 このページをアンテナに追加 RSSフィード

2011-06-14

第8章 関数型パーサー #5

00:44 | 第8章 関数型パーサー #5 - 猫とC#について書く代わりにHaskellとF#について書くmatarilloの日記 のブックマークコメント

演習問題

問題4
        expr
         |
        term
   ______|________
   |     |       |
 factor  *      term
   |        _____|___
  nat       |    |  |
   |      factor * term
   2        |       |
           nat    factor
            |       |
            3      nat
                    |
                    4
                 expr
                  |
                 term
       ___________|_____
       |          |    |
     factor       *   term
_______|________       |
|      |       |     factor
(     expr     )       |
   ____|____          nat
   |   |   |           |
  term +  expr         4
   |       |
 factor   term
   |       |
  nat    factor
   |       |
   2      nat
           |
           3
問題5

左から一致を試すので、左再帰で無限ループになりそうだけど。そういうことではなく?

(追記)試してみたらstack overflowになった。やはり。