k.stm
Reputation
7,430
Next privilege 10,000 Rep.
Access moderator tools
 7h comment What is the rule for something divided by itself equaling 1? @Mirko This is also discussed here, see for example Goblin’s answer to this. Mar 25 comment Deterministic finite automata (DFA) (have odd length or end with aaa) No, the initial state is $1$, the other one is a $2$. Mar 25 comment Deterministic finite automata (DFA) (have odd length or end with aaa) The empty word neither has odd length nor ends in $\mathtt {aaa}$. Mar 25 comment Deterministic finite automata (DFA) (have odd length or end with aaa) Of states $1$ and $4$, only one is an accepting state,so identifying them will lead to an inequivalent automaton. You mean $2$ and $4$, I presume. Mar 24 comment Deterministic finite automata (DFA) (have odd length or end with aaa) Haven’t checked it. Actually, you probably do need eight states. Have you tried organizing them? Can you tell us what each of the states $1$, …, $8$ describe? (Oh, you have nine states – I think you can toss one.) Mar 24 comment Deterministic finite automata (DFA) (have odd length or end with aaa) Did you try finding a smaller automaton? Mar 14 comment How to prove $(2)=(2x)$ for $x\in \mathbb{Z}$? No, the statement is not true: For $x = 2$, par exemple, $(2x) = (4) ≠ (2)$. Mar 6 comment Worst case analysis of MAX-HEAPIFY procedure . This question is fine here, but it would also be very fine on Computer Science. Just saying. Mar 4 comment Identify recursive languages? This question is okay here, but it would also be very okay at Computer Science. Just saying. Feb 23 comment Fundamental group - space of copies of circle $S_1$ Have you heard of the free product of groups? Feb 23 comment Kernel of a linear map. Write out the definition of the kernel and the image, try to find one or two elements for each and ponder which other elements might lie in there. Feb 23 comment Is there any basis to say the double modulo with the same mod function is the same as the single modulo with the same mod function as before? You need to define them. Define your stuff and often answers to such questions will come up automatically in doing so. Feb 22 comment equalisers are unique up to unique homeomorphism This has little to do with general topology, but with catgeory theory, see for example 640149. Even if you haven’t defined equalizers in that way, look up the categorical definition to have your eyes opened. Or maybe, if you have the time, start with the categorical definition of initial and terminal objects and then work your way up to products, coproducts, equalizers … It’s worth it (or even necessary) in the long run. Feb 22 comment Why are matrices indexed by row first? Actually, I am not anymore certain that this is a correct argument. I’ll think about it and get back to this in the unforeseeable future. Feb 21 comment $\mathbb{Z}$ is a vector space over $\mathbb{Q}$ @user1952009 Yes, was this a question? Feb 21 comment $\mathbb{Z}$ is a vector space over $\mathbb{Q}$ @user1952009 Yeah, but the addition on $ℤ$ gets really weird. I’d have no intuition for such an implementation of $ℚ^n$. Feb 21 comment $\mathbb{Z}$ is a vector space over $\mathbb{Q}$ Oh, actually: Do you want $ℤ$ to be equipped with the usual addition? Feb 16 comment Can any uncountable dimensional real vector space be made into a Banach space? @SaunDev I took the liberty of changing the title into a somewhat more concise question (for the sake of readability). Oh yeah, forgot uncountable. Feb 16 comment Can any uncountable dimensional real vector space be made into a Banach space? Why are the questions posed in title and body different? Feb 16 comment Determinant equality issue … and the coefficient $2,3$ of the first one might be $c$?