b"\n_START_ARTICLE_\nLlenguatge recursiu\n_START_PARAGRAPH_\nEn matem\xc3\xa0tiques, l\xc3\xb2gica i complexitat computacional un llenguatge formal \xc3\xa9s un llenguatge recursiu \xc3\xa9s un subconjunt recursiu del conjunt de totes les seq\xc3\xbc\xc3\xa8ncies finites possibles de l'alfabet del llenguatge. Un llenguatge es recursiu si existeix una m\xc3\xa0quina de Turing que sempre s'atura quan rep una paraula del llenguatge com entrada, ja sigui per acceptar-la o per rebutjar-la. Tamb\xc3\xa9 s'anomenen llenguatges decidibles._NEWLINE_La classe de tots els llenguatges recursius s'anomena R._NEWLINE_Aquest tipus de llenguatge no est\xc3\xa0 definit a la jerarquia de Chomsky. Tots els llenguatges recursius son tamb\xc3\xa9 enumerables recursivament. Tots els llenguatges regulars, lliures de context i sensibles al context son llenguatges recursius."