Adicionado arquivo grammar/decisionProcedures.h, que subsume emptiness.h;
isEmpty() renomeado para empty() para compatibilidade com autômatos
 finitos determinísticos;
Adicionados algoritmos finite() e infinite();
Teste de unidade emptines.test.cpp renomeado para
 grammarDecisionProcedures.test.cpp e extendido para testar também
 finite() e infinite();
Teste de unidade decisionProcedures.test.cpp renomeado para
 automatonDecisionProcedures.test.cpp.