Let us be friends and hug each other.

On Mon, Apr 01, 2013 at 09:44:02am -0430, Juancarlo Añez wrote:
>    So...
>    You're just long-time enemies,
>    and I'm wasting my time in this forum.
>    I'm translating 600K lines of COBOL into C# in under 4min per CPU core,
>    and that means nothing.
>    Onegai shimasu,
> 
>    On Mon, Apr 1, 2013 at 9:14 AM, Kota Mizushima <[1]mizuk...@gmail.com>
>    wrote:
> 
>    > And that was precisely my point. You did not mention that this is
>    most
>    > important part (Name of section is "3.3 properties").
>    > Also you did not mentioned counter in paper.
> 
>    Yes. This is not most important part in our paper since the notion of
>    our cut operator
> 
>    and its effectiveness were described in our earlier work. � However,
>    our earlier paper
> 
>    has been written in Japanese. � Then, the overview of cut was needed.
>    � That's all.
> 
>    And I think that it's not need to mention counters in our paper since
>    it's **trivial** optimization
> 
>    and the all implementation detail cannot be written in our paper that
>    has page limit.
> 
>    > It looks that main idea of paper is how to insert cut.
> 
>    It's not correct� in a precise sense. � the main idea of the paper is
>    how to insert cut **automatically* without
> 
>    changing grammar meanings.
> 
>    > It looks that main idea of paper is how to insert cut.
>    > Actually that section is completely useless. When one incorporated
>    > first, follow optimization and does not increase counter when it is
>    > predicated then for any cut that you may insert counter is already
>    zero.
>    > You only increased possibility of bugs without any real benefit.
> 
>    What do you mean? Certainly, hand-written cut operators may increase
> 
>    bugs. � Then, we explored the way to decrease space complexity without
> 
>    hand-written cut operators in our paper. � Of course, our methods is
>    too
> 
>    conservative� to cover all practical grammars. � But, we don't
>    say� such things
> 
>    and I've written as the followings:
> 
>    " We believe that this� problem can be solved by some extensions to our
>    methods
> 
>    � (e.g.� increasing the number of lookahead nonterminal expressions
>    like� LL(k)).�
> 
>    We intend to address the problem in future work." � (Sorry for not
>    continuing this�
> 
>    research� since I work as a software� engineer in a company).
> 
>    Although forms of writing paper maybe poor, it seems that you
>    misunderstand about
> 
>    our paper and the proposed methods.
> 
>    2013/03/31 18:19 "Ond�ej B�lka" <[2]nel...@seznam.cz>:
> 
>      On Sun, Mar 31, 2013 at 03:06:30PM +0900, Kota Mizushima wrote:
>      > �  � Hi,� Ond�ej.
>      > �  � > I found that paper poorly writen, main idea is:
>      > �  � > Create counter c. In c maintain number of pending ordered
>      choice
>      > �  � branches in
>      > �  � > current derivation.
>      > �  � > When c==0 then you can obviously discard entries before
>      current
>      > �  � > position.
>      > �  � > This idea is hidden in paper and mentioned only implicitly.
>      > �  � The idea you said is the same thing that we said in our
>      paper. � In our
>      > �  � paper[1] Section 3.3,
>      > �  � We explained our idea using "backtracking stack" and how cut
>      operators
>      > �  � reduce size of "backtracking stack".
>      > �  � Counter-based approach you said is just a trivial
>      optimization in real
>      > �  � parser generator implementation.
>      > �  � Actually, in our parser generator (Yapp) implementation,
>      since preparing
>      > �  � "real" backtracking stack explicitly sacrifices execution
>      speed because of
>      > �  � too much allocation and GC,
>      > �  � We implemented our idea using one counter (32-bit integer) as
>      you said. �
>      And that was precisely my point. You did not mention that this is
>      most
>      important part (Name of section is "3.3 properties").
>      Also you did not mentioned counter in paper.
>      It looks that main idea of paper is how to insert cut.
>      Actually that section is completely useless. When one incorporated
>      first, follow optimization and does not increase counter when it is
>      predicated then for any cut that you may insert counter is already
>      zero.
>      You only increased possibility of bugs without any real benefit.
>      As for real parsers do you know implementation other at yapp that
>      implements [1]?
>      Also experiments in [1] are java and xml. Java grammar was designed
>      to
>      minimize stack usage, and xml is simple. How does your results
>      change
>      when you parse c for example?
>      > �  � [1]� [1]Packrat Parsers Can Handle Practical Grammars in
>      Mostly Constant
>      > �  � Space (PDF). Kota Mizushima, Atusi Maeda, and Yoshinori
>      > �  � Yamaguchi.� [2]PASTE, June
>      > �
>      � 2010.[3][3]http://ialab.cs.tsukuba.ac.jp/~mizusima/publications/pa
>      ste513-mizushima.pdf
>      >
>      > �  � 2013/3/29 Ond�ej B�lka <[4][4]nel...@seznam.cz>
>      >
>      > �  �  � On Thu, Mar 28, 2013 at 03:55:28PM -0430, Juancarlo Añez
>      wrote:
>      > �  �  � > �  � Hello Kota,
>      > �  �  � > �  � I'm reading your paper more carefully now (Packrat
>      Parsers can
>      > �  �  � Handle
>      > �  �  � > �  � Practical Grammars in Mostly Constant Space).
>      > �  �  � > �  � If I understand correctly, if a cut is seen at
>      position P in the
>      > �  �  � input,
>      > �  �  � > �  � then all memoization for positions prior to P can
>      be discarded?
>      > �  �  � > �  � Thanks in advance!
>      > �  �  � > �  � Cheers,
>      > �  �  � > �  � --
>      >
>      > �  �  � Not exactly,
>      > �  �  � I found that paper poorly writen, main idea is:
>      > �  �  � Create counter c. In c maintain number of pending ordered
>      choice
>      > �  �  � branches in
>      > �  �  � current derivation.
>      > �  �  � When c==0 then you can obviously discard entries before
>      current
>      > �  �  � position.
>      > �  �  � This idea is hidden in paper and mentioned only
>      implicitly.
>      >
>      > �  �  � This is interwined with transformation that allow us say
>      that some
>      > �  �  � branches are not possible.
>      >
>      > �  �  � How they write paper it forces you to use certain
>      representation to
>      > �  �  � carry transformations. This is problem as your
>      representation is almost
>      > �  �  � certainly incompatible.
>      >
>      > �  �  � It is better to use generic optimizations (predication
>      gives most) and
>      > �  �  � get
>      > �  �  � better space utilization for free
>      >
>      > �  �  � See my thesis for other improvements, chapter 2.6 most of
>      ideas apply
>      > �  �  � [5][5]http://kam.mff.cuni.cz/~ondra/thesis.pdf
>      >
>      > �  �  � Ondra
>      >
>      > �  �  � > �  � Juancarlo Añez
>      >
>      > �  �  � _______________________________________________
>      > �  �  � PEG mailing list
>      > �  �  � [6][6]PEG@lists.csail.mit.edu
>      > �  �  � [7][7]https://lists.csail.mit.edu/mailman/listinfo/peg
>      >
>      > �  � --
>      > �  � Kota Mizushima
>      > �  � e-mail: [8][8]mizuk...@gmail.com
>      >
>      > References
>      >
>      > �  � Visible links
>      > �  � 1.
>      [9]http://ialab.cs.tsukuba.ac.jp/~mizusima/publications/paste513-miz
>      ushima.pdf
>      > �  � 2. [10]http://cseweb.ucsd.edu/paste2010/program.html
>      > �  � 3.
>      [11]http://ialab.cs.tsukuba.ac.jp/~mizusima/publications/paste513-mi
>      zushima.pdf
>      > �  � 4. mailto:[12]nel...@seznam.cz
>      > �  � 5. [13]http://kam.mff.cuni.cz/~ondra/thesis.pdf
>      > �  � 6. mailto:[14]PEG@lists.csail.mit.edu
>      > �  � 7. [15]https://lists.csail.mit.edu/mailman/listinfo/peg
>      > �  � 8. [GMCP] Compose a new mail to [16]mizuk...@gmail.com
>      > �  �  �
>      [17]https://mail.google.com/mail/u/0/?view=cm&fs=1&tf=1&to=mizukota@
>      gmail.com
>      --
>      Interference from lunar radiation
> 
>    --
>    Juancarlo Añez
> 
> References
> 
>    1. mailto:mizuk...@gmail.com
>    2. https://mail.google.com/mail/u/0/?view=cm&fs=1&tf=1&to=nel...@seznam.cz
>    3. 
> http://ialab.cs.tsukuba.ac.jp/~mizusima/publications/paste513-mizushima.pdf
>    4. https://mail.google.com/mail/u/0/?view=cm&fs=1&tf=1&to=nel...@seznam.cz
>    5. http://kam.mff.cuni.cz/~ondra/thesis.pdf
>    6. 
> https://mail.google.com/mail/u/0/?view=cm&fs=1&tf=1&to=PEG@lists.csail.mit.edu
>    7. https://lists.csail.mit.edu/mailman/listinfo/peg
>    8. 
> https://mail.google.com/mail/u/0/?view=cm&fs=1&tf=1&to=mizuk...@gmail.com
>    9. 
> http://ialab.cs.tsukuba.ac.jp/~mizusima/publications/paste513-mizushima.pdf
>   10. http://cseweb.ucsd.edu/paste2010/program.html
>   11. 
> http://ialab.cs.tsukuba.ac.jp/~mizusima/publications/paste513-mizushima.pdf
>   12. https://mail.google.com/mail/u/0/?view=cm&fs=1&tf=1&to=nel...@seznam.cz
>   13. http://kam.mff.cuni.cz/~ondra/thesis.pdf
>   14. 
> https://mail.google.com/mail/u/0/?view=cm&fs=1&tf=1&to=PEG@lists.csail.mit.edu
>   15. https://lists.csail.mit.edu/mailman/listinfo/peg
>   16. 
> https://mail.google.com/mail/u/0/?view=cm&fs=1&tf=1&to=mizuk...@gmail.com
>   17. 
> https://mail.google.com/mail/u/0/?view=cm&fs=1&tf=1&to=mizuk...@gmail.com

> _______________________________________________
> PEG mailing list
> PEG@lists.csail.mit.edu
> https://lists.csail.mit.edu/mailman/listinfo/peg


-- 
http://chilon.net

_______________________________________________
PEG mailing list
PEG@lists.csail.mit.edu
https://lists.csail.mit.edu/mailman/listinfo/peg

Reply via email to