| rdfs:comment
| - Formální jazyk L je rekurzivní, pokud existuje Turingův stroj (dále TS), který akceptuje právě slova z tohoto jazyka, a jehož výpočet nad libovolným řetězcem skončí po konečném počtu kroků. Pokud takový TS M existuje, říkáme, že TS M rozhoduje jazyk L. Každý rekurzivní jazyk je také rekurzivně spočetný, ale existují rekurzivně spočetné jazyky, které nejsou rekurzivní. (cs)
- En mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable. (fr)
- 帰納言語（きのうげんご、英: Recursive language）は、数学・論理学・計算機科学における形式言語の一種である。決定性言語(Decidable Language)、チューリング決定性言語(Turing-decidable Language)とも呼ぶ。全ての帰納言語の属する複雑性クラスをRと呼ぶが、RPクラスを Rと呼ぶこともある。 このクラスの言語はチョムスキー階層では定義されていない（Chomsky 1959）。 (ja)
- 재귀 언어(영어: recursive language) 또는 귀납 언어는 형식 언어의 재귀적인 부분집합이다. 결정 가능 언어(decidable language)라고도 한다. 모든 재귀 언어의 모임은 복잡도 종류 R 클래스와 같다. 촘스키 위계에는 별도로 분류되어 있지 않다. (ko)
- Język rekurencyjny – rodzaj języka formalnego, dla którego z podanymi regułami jego składni da się opracować automatyczny sposób sprawdzania, czy dane słowo jest zbudowane zgodnie z tymi regułami (tzn. czy należy do języka). W teorii złożoności oznaczana jest literą . Klasa języków rekurencyjnych nie została uwzględniona w hierarchii Chomsky’ego. (pl)
- В математической логике и информатике рекурсивный язык — тип формального языка, также называемый разрешимым, или разрешимым по Тьюрингу. Класс всех рекурсивных языков часто обозначается через R, хотя это же обозначение используется для класса RP. Этот тип языка не определен в иерархии Хомского. (ru)
- 在数学、逻辑和计算机科学中，递归语言或遞迴語言是也叫做可判定语言或图灵可判定语言的形式语言类型。所有递归语言的类经常被称为 。这种语言类型在乔姆斯基层级中没有定义。 (zh)
- En matemàtiques, lògica i complexitat computacional un llenguatge formal és un llenguatge recursiu és un subconjunt recursiu del conjunt de totes les seqüències finites possibles de l'alfabet del llenguatge. Un llenguatge es recursiu si existeix una màquina de Turing que sempre s'atura quan rep una paraula del llenguatge com entrada, ja sigui per acceptar-la o per rebutjar-la. També s'anomenen llenguatges decidibles. La classe de tots els llenguatges recursius s'anomena R. (ca)
- In der theoretischen Informatik heißt eine formale Sprache über einem Alphabet rekursiv (entscheidbar), wenn eine Turingmaschine M existiert, die auf allen Eingaben hält und jede Eingabe genau dann akzeptiert, wenn ist. Der Unterschied zu den rekursiv aufzählbaren Sprachen ist definitionsgemäß, dass eine Turingmaschine für eine rekursive Sprache immer halten muss, während eine für eine rekursiv aufzählbare Sprache nur halten muss, wenn das Wort in der Sprache liegt. Die Nicht-Rekursivität einer Sprache kann man mittels des Satzes von Rice nachweisen. (de)
- En matemáticas, lógica y ciencias de la computación, un lenguaje formal (un conjunto de secuencias finitas de tomados de un fijo) es llamado lenguaje recursivo si es un del conjunto de todas las secuencias finitas posibles sobre el alfabeto del lenguaje. Es decir, un lenguaje formal es recursivo si existe una máquina de Turing que siempre se detiene cuando dada una secuencia finita de símbolos del alfabeto del lenguaje - llamada cadena de caracteres, o palabra - como entrada, acepta solo esas palabras que son parte del lenguaje y rechaza todas las otras palabras. Los lenguajes recursivos También se denominan lenguajes decidibles. (es)
- In mathematics, logic and computer science, a formal language (a set of finite sequences of symbols taken from a fixed alphabet) is called recursive if it is a recursive subset of the set of all possible finite sequences over the alphabet of the language. Equivalently, a formal language is recursive if there exists a total Turing machine (a Turing machine that halts for every given input) that, when given a finite sequence of symbols as input, accepts it if it belongs to the language and rejects it otherwise. Recursive languages are also called decidable. (en)
- In matematica, logica e informatica teorica, i linguaggi decidibili o ricorsivi sono una classe di linguaggi formali che corrisponde alla classe dei problemi decidibili. Esistono due definizioni principali equivalenti per questa classe: Tutti i linguaggi ricorsivi sono ricorsivamente enumerabili. Sono ricorsivi tutti i linguaggi regolari, liberi dal contesto e dipendenti dal contesto. È degno di nota il fatto che questa categoria non abbia un corrispondente diretto nella classificazione di Chomsky. (it)
- A linguagem recursiva em matemática, lógica e ciência da computação, uma linguagem formal (a definir de sequências finitas de símbolos tomados de um fixo alfabeto ) é chamada recursiva se é um subconjunto recursivo no conjunto de todas as palavras possíveis sobre o alfabeto da linguagem. Equivalentemente, uma linguagem é recursiva se existe uma máquina de Turing que sempre pára quando recebe uma sequência finita de símbolos do alfabeto da linguagem como entrada e que aceita exatamente as palavras do alfabeto da linguagem que são parte da linguagem e rejeita todas as outras palavras. Linguagens recursivas são também chamadas de decidíveis ou Turing-decidíveis. A classe de todas as linguagens recursivas é freqüentemente chamado de R, embora este nome é usado também para a classe . (pt)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)