Un mot donné appartient-il à un langage rationnel : il suffit de tester si le mot est reconnu par l'automate. Le langage rationnel est-il vide : pour cela, on teste si, parmi les états accessibles, figure un état final. Le langage contient-il tous les mots : il suffit de tester si le complémentaire est vide.