enumerable

However, the complement of this set is not recursively enumerable.

Jednakże, uzupełnienie tego zbioru jest nie rekurencyjnie policzalny.

It will be complete whenever the set is recursively enumerable.

To będzie kompletne ilekroć zbiór będzie rekurencyjnie policzalny.

In a sense, these are the "hardest" recursively enumerable problems.

Poniekąd, te są "najtwardszy" rekurencyjnie policzalne problemy.

It is possible to construct languages which are not even recursively enumerable, however.

Można konstruować języki, które są nie nawet rekurencyjnie policzalny, jednakże.

"Recursively enumerable sets of positive integers and their decision problems."

"Rekurencyjnie policzalne zbiory pozytywnych liczb całkowitych i problemów decyzji z nimi."

Not every productive set has a recursively enumerable complement, however, as illustrated below.

Nie każdy urodzajny zbiór ma rekurencyjnie policzalne uzupełnienie, jednakże, jak zilustrowany poniżej.

It classifies all numbers into three sets: enumerable, innumerable and infinite.

To klasyfikuje wszystkie liczby do trzech zbiorów: policzalny, niezliczony i nieskończony.

The class of all recursively enumerable languages is called RE.

Wszystkiego klasa rekurencyjnie policzalne języki jest nazywany RE.

Recursively enumerable languages are closed under the following operations.

Rekurencyjnie policzalne języki są zakończone poniżej następujących operacji.

Computably enumerable, a property of some sets in computability theory.

Computably policzalny, właściwość jakichś zbiorów w teorii obliczalność.

A is recursive if both A and (its complement in ) are recursively enumerable.

Jest rekurencyjny jeśli obydwa i (jego uzupełnienie w) są rekurencyjnie policzalny.

The quotient of two context free languages can be any recursively enumerable language.

Współczynnik z dwa kontekst wolne języki mogą być którymkolwiek rekurencyjnie policzalny język.

These languages are also known as the recursively enumerable languages.

Te języki również są znane jak rekurencyjnie policzalne języki.

You can also loop through all enumerable properties and associated values as follows:

Również możesz robić pętlę przez wszystkie policzalne własności i powiązane wartości jak następuje:

There exist three equivalent major definitions for the concept of a recursively enumerable language.

Tam istnieć trzy równoznaczne główne definicje dla pojęcia z rekurencyjnie policzalny język.

This creates a system which is complete, consistent, and sufficiently powerful, but not computably enumerable.

To stwarza system, który jest kompletny, zgodny, i wystarczająco potężny, ale nie computably policzalny.

Note that recursively enumerable languages are not closed under set difference or complementation.

Należy zauwazyć , że rekurencyjnie policzalne języki nie są zakończone poniżej różnicy zbioru albo komplementacji.

This method is primarily used to construct recursively enumerable sets with particular properties.

Ta metoda głównie jest wykorzystana do konstruowania rekurencyjnie policzalne zbiory ze szczególnymi właściwościami.

The set of logically-valid formulas in second-order logic is not enumerable.

Zbiór logicznie-ważny formuł w drugi-zarządzenie, że logika nie jest policzalna.

The question to ask then is: do there exist languages which are recursively enumerable, but not recursive?

Pytanie pytać wtedy jest: robić tam istnieć języki, które są rekurencyjnie policzalny, ale nie rekurencyjny?

And, furthermore, are there languages which are not even recursively enumerable?

I, ponadto, są języki, które są nie nawet rekurencyjnie policzalny?

Paint, fabric, bonded with fiber composites, this could change enumerable products.

Farba, materiał, stworzyć silną więź z kompozytami włókna, to mogło wymienić policzalne produkty.

The simple sets are recursively enumerable but not recursive.

Proste zbiory są rekurencyjnie policzalny ale nie rekurencyjny.

A recursively enumerable set, also known as a "provable set"

Rekurencyjnie policzalny zbiór, również znany jak "zbiór do udowodnienia"

The set of non-standard fixed point combinators is not recursively enumerable.

Krąg niestandardowego punktu stały odwzorowania combinators jest nie rekurencyjnie policzalny.