lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index] 

In message <20150301222653.1608daaf@desgats.fr>
          Julien <julien+lua@desgats.fr> wrote:

> Le Sun, 1 Mar 2015 14:56:30 -0500,
> Daurnimator <quae@daurnimator.com> a écrit :
>> 
>> Nice work!

Seconded.

By the way, in part-2-ast-transformation, I think you meant to write
"traversing" or maybe "translating", as "traducing" in English nowadays 
means "betraying" - 'trahison' n'est pas 'traduction'. It is an interesting
etymological nexus between French and English :)

The problem with the "Algebra of Regular Expressions" is that though
it is finitely generated it has not been proved to be finitely presented 
- i.e there is probably no finite set of identitiess from which all
identities may be deduced. Though in your case it is the algebra of
PEGs rather than of regular expressions, and reductions, rather than 
identities, that are the pertinent objects of study.

-- 
Gavin Wraith (gavin@wra1th.plus.com)
Home page: http://www.wra1th.plus.com/