Leaf language
Leaf language is a method in computational complexity theory for characterizing a complexity class by formalizing what it means for a machine to "accept" an input. Complexity classes are typically defined in terms of a polynomial-time nondeterministic Turing machine (NTM).