language theory and AI