Added lambdaNDFA