Mercurial Mercurial > hg > lexing / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ChengsongTanPhdThesis/Chapters/Bitcoded2.tex
changeset 582 3e19073e91f4
parent 579 35df9cdd36ca
child 583 4aabb0629e4b
equal deleted inserted replaced
581:9db2500629be 582:3e19073e91f4 
   657 
   657 
   658 Having correctness property is good. But we would also like the lexer to be efficient in 
   658 Having correctness property is good. But we would also like the lexer to be efficient in 
   659 some sense, for exampe, not grinding to a halt at certain cases.
 
   659 some sense, for exampe, not grinding to a halt at certain cases.
 
   660 In the next chapter we shall prove that for a given $r$, the internal derivative size is always
 
   660 In the next chapter we shall prove that for a given $r$, the internal derivative size is always
 
   661 finitely bounded by a constant.
 
   661 finitely bounded by a constant.
 
       
   662 we would expect in the
lexing