Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
function tex(str: TemplateStringsArray, string[]) { }
const c = Sigma* *1
const Sigma = "uiae";
const SigmaS = "";
const x =
Ein {Sigma}-{Sigma}-Advice (Hinweis) {A} ist eine Abbildung
{A : Sigma* -> Pot(Gamma*)}
mit {forall(@w in Sigma*): A(w) `subseteq` Sigma^count(w)}
Dann gilt {Lang(LRT, Adv(A)) = Lang(LRT)}.
const log2(n) = log(2, n);
const A: Word => Set = mathcal('A');
const a: Word;
const Ai = n => sub(A, i);
Für {A(w) := ones(2^(floor(log2(w.len) - 1)), w.len) \in B*}
Für {A(w) := a(1)...a(w.len) \in B*} mit
{a(i) :=
case(chr(1), `falls {exists(j \in N0): i = 2^j}`),
case(chr(0), `sonst`)
Es gilt:
{forall(@n \in N0) :
count(factor(Sigma^n, rel1(L)))
count(f(C, d, Sigma^n))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.