1 research outputs found
Problems decidables concernant les tol-langages unaires
RésuméIl est démontré, dans ce papier, qu'il est décidable de déterminer si un langage régulier peut être engendré par un TOL-système unaire. Nous obtenons, aussi, en particulier, la décidabilité de l'équivalence entre un TOL-système et un OL-système unaire. Enfin, il est décidable de déterminer, si un TOL-système unaire engendre un OL-langage