formalDefinition

15 triples
GPTKB property

Random triples
Subject Object
gptkb:Streett_acceptance_condition A run is accepting if for every pair (E_i, F_i), if E_i is visited infinitely often, then F_i is also visited infinitely often.
gptkb:NEXP NEXP = ⋃_{k∈N} NTIME(2^{n^k})
gptkb:Deterministic_Finite_Automaton 5-tuple (Q, Σ, δ, q0, F)
gptkb:Kernel_(category_theory) Given a morphism f:X→Y, a kernel is a morphism k:K→X such that f∘k=0 and for any morphism k':K'→X with f∘k'=0, there exists a unique u:K'→K with k∘u=k'.
gptkb:Pushdown_automaton 7-tuple (Q, Σ, Γ, δ, q0, Z0, F)
gptkb:NP_complexity_class set of decision problems for which a given solution can be verified in polynomial time
gptkb:little_omega_notation f(n) = ω(g(n)) if for all positive constants c, there exists n0 such that 0 ≤ c·g(n) < f(n) for all n ≥ n0
gptkb:Nondeterministic_Finite_Automaton 5-tuple (Q, Σ, δ, q0, F)
gptkb:Contravariant_functor Functor F: C → D such that F(f∘g) = F(g)∘F(f)
gptkb:Bifunctor A functor F: C × D → E, where C, D, E are categories
gptkb:NEXPTIME NEXPTIME = ⋃_{k∈N} NTIME(2^{n^k})
gptkb:Big_Theta_notation f(n) = Θ(g(n)) if there exist positive constants c1, c2, n0 such that 0 ≤ c1·g(n) ≤ f(n) ≤ c2·g(n) for all n ≥ n0
gptkb:core_(game_theory) set of imputations that cannot be improved upon by any coalition
gptkb:Image_(mathematics) For function f: X → Y, image is {f(x) | x ∈ X}
gptkb:S_combinator S x y z = x z (y z)