As árvores de sintaxe abstrata podem ser analisadas em tempo subexponencial?
Descrição abstrata do problema Do meu ponto de vista, analisar significa criar um fluxo de token a partir de um AST, que quando analisado novamente produz um AST igual, ou seja, parse(unparse(AST)) = ASTdeve ser mantido. É o mesmo que encontrar uma árvore de análise válida que produziria o mesmo...