Une question décidable, dans le contexte des langages réguliers, fait référence à une question à laquelle un algorithme peut répondre avec un résultat correct garanti. En d’autres termes, il s’agit d’une question pour laquelle il existe une procédure informatique capable de déterminer la réponse dans un laps de temps fini. Pour comprendre la notion de