toNFA and toNFALambda and methods in FA