A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.
Questions about algorithms whose behaviour is determined not only by its input but also by a source of random numbers.
a way to mathematically model uncertainty. We often assume to have access to some well-defined source of random numbers, or that input values or events follow some probability distributi…
Questions about techniques that infer valid or preferred options from existing data with the goal to make helpful suggestions automatically.
a definition of a sequence where later elements are expressed as a function of earlier elements.
Questions about objects such as functions, algorithms or data structures that are expressed using "smaller" instances of themselves.
In computability and complexity, finding mappings between problems that allow solving one problem using a solution of another one. For reduction in programming language theory (e.g. beta-reduction), s…
Reserved -- shouldn't be used for most new questions. Questions with a broad scope about general methods and concepts, such as proof methods, tools for algorithm analysis or basics of computer archit…
Questions requesting papers in the literature on specific, narrow issues.
Questions about regular expressions, a formalism to describe regular languages.
Questions about properties of the class of regular languages and individual languages.
the study of relations (i.e., database tables) and relational operators (join, selection, projection, etc.) as a kind of algebraic structure.
Rice's Theorem states that any (non-trivial) property of Turing machines is undecidable.