kCNF added
Merge branch 'master' of https://github.com/ancalotoru/Automatas
function isNum added
pedirNumVariables y pedirValorK