Označení | Třída(y) | Definice | Popis, vlastnosti | Zdroj |
R1 | REG | Konečné jazyky | TI1 | |
R2 | REG | {a, aa} | not 0L | TID |
Označení | Třída(y) | Definice | Popis, vlastnosti | Zdroj |
F1 | CF | {x^iy^i : i>=1} | Neplatí pumping lemma pro REG | TI1 |
Označení | Třída(y) | Definice | Popis, vlastnosti | Zdroj |
S1 | CS | {x^i y^i z^i : i>=1} | TI1 | |
S2 | CS | complement(L), kde L = {x^i y^j z^k : i = j or j = k } | Popis | Zde |
S3 | CS | {ab^n)^m : m >= n >= 1} | not ET0L | TID |
S4 | CS | {a^2^2^n : n >= 0} | not ET0L (není exponenciálně hustý) | TID |
S5 | CS | {x x: x in {a,b}^+} | not CF, but for example NCPC(2)REG | TI1 |
Označení | Třída(y) | Definice | Popis, vlastnosti | Zdroj |
T1 | RE | self-terminating TS | pouze přijímán, není rozhodován | VSL |
Označení | Třída(y) | Definice | Popis, vlastnosti | Zdroj |
L1 | 0L, P0L, PD0L | {a^2^n : n >= 0 } | not CF | TID |
L2 | 0L, P0L, PD0L | simulation of red alga | vývoj červené řasy | TID |
L3 | 0L, P0L, PD0L | {{a,b,c}^n : n = m^2, m >= 1 } | TID | |
L4 | 0L, P0L, PD0L | {{a,b}^n : n >= 1, n is Fibonacci number} | fib(0) = 0, fib(1) = 1, fib(n >= 2) = fib(n-1) + fib(n-2) | TID |
L5 | 0L | {aa} U {b^2^n : n >= 3 } | positive_iteration_of_L5 is not in 0L | TID |
L6 | E0L | {a^2^n : n >= 0 } U {b^2^n : n >= 0 } | not 0L (nemohu totiž udělat S->a, S->b; S by muselo patřit do jazyka L6) | TID |
L7 | E0L | {a^2^n b a^2^m : n, m >= 0 } | not CF | TID |
L8 | ET0L | {#w#w#w : w in {a,b} } | not E0L | TID |
L9 | ET0L | {a^i b^j a^i : j >= i >= 1 } | not E0L | TID |