Sim João, post muito bom do Moshe Vardi. Que me lembrou de:

[...] the study and optimisation of unification-based parsing must rely on 
empirical data until complexity theory can more accurately predict the 
practical behaviour of such parsers. [...] It seems likely that 
implementational decisions and optimisations based on subtle properties of 
specific grammars can [...] be more important than worst-case complexity. 

(Carroll, 1994: http://aclweb.org/anthology/P94-1040)

--
Alexandre Rademaker
http://arademaker.github.io


> On 12 Mar 2019, at 08:34, Joao Marcos <[email protected]> wrote:
> 
> Valeria me disse outro dia algo sobre como a área de Teoria de
> Complexidade tem sido uma das principais áreas em que a Lógica
> Matemática tem crescido nos últimos tempos, e isto me remeteu a este
> ensaio recente escrito pelo Moshe Vardi:
> 
> Lost in Math?
> Communications of the ACM, March 2019, Vol. 62 No. 3, Page 7
> 10.1145/3306448
> https://cacm.acm.org/magazines/2019/3/234913-lost-in-math/fulltext
> 
> 
> JM
> 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/AD3A9555-B103-47FB-954E-B796F055843E%40gmail.com.

Responder a