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.

× 6
Tree automata work on finite or infinite trees. They generalize word automata (Finite, Buchi, Rabin, Streett, Muller, etc.).
× 555
Questions about a special kind of graphs, namely connected and cycle-free ones.
× 3
× 1530
Questions about Turing machines, a theoretical model of mechanical computation capable of simulating any computer program.
× 74
verifying that a variable, expression or value has the declared type
× 9
× 340
formal systems to specify properties of objects
× 49
type systems of programming languages
× 578
Questions about problems which cannot be solved by any Turing machine.
× 30
Questions about the abstract data structure Union-Find (also called disjoint-set) and its realizations.
× 24
The VC dimension (for Vapnik–Chervonenkis dimension) is a measure of the capacity (complexity, expressive power, richness, or flexibility) of a statistical classification algorithm, defined as the car…
× 110
Questions about techniques for providing the appearance of an isolated, contiguous address space to each process. The size of the address spaces may be made to appear larger than the size of main mem…
× 182
Questions about graphs in which every edge is associated with a weight.
× 36
Questions about combinatorics on languages of words, that is how many sequences of symbols with certain properties there are.
× 1
a formal language for modelling computer systems.