Teoria della computabilità, logica, teoria dei linguaggi formali