Concept in theoretical computer science.