máquinas turing automatas finitos deterministicos y no determinist algebra booleana
Ver más