Tara B

4,088 reputation

930

bio	website
	location	Scotland
	age	30
visits	member for	1 year, 2 months
	seen	May 16 at 22:36
stats	profile views	910

I do research on groups, semigroups, and especially interactions between algebra and formal language theory. My non-research interests include combinatorics, elementary number theory and topology.

	4,088 reputation	bio	website		visits	member for	1 year, 2 months
930 badges		location	Scotland		seen	May 16 at 22:36

summary answers questions tags badges favorites bounties reputation activity

1,101 Actions

suggestions reviews revisions comments badges posts accepts all

May 15	comment	Push Down Automata which has 2 stacks Well, depending on how you define a PDA with two stacks, it can even be as powerful as a Turing machine!
May 11	reviewed	Approve suggested edit on How does Tor and the Tensor functor interact?
May 11	reviewed	Leave Open Derivative of a ratio of geometric series
May 11	reviewed	Close Fermat's Primality Test returning 29 as a non-prime number
May 10	comment	Push Down Automata which has 2 stacks What precisely do you mean by 'recognised by two PDA's'? And do you in fact mean by two PDA's, as in the body of the question, or by a PDA with two stacks, as in the title?
May 10	comment	irreducible words in a semigroup @Ewan: There is a lot of sense in distinguishing $0$ from $1$. In semigroups, $1$ is usually used to represent a multiplicative identity, while $0$ is used to represent a multiplicative zero, i.e. an element such that $x0 = 0x = 0$ for all $x\in S$. There is no mixing up of additive and multiplicative notation going on here.
May 7	awarded	Caucus
Apr 25	reviewed	Close Sub-expressions of an expression using lists as representation in SCHEME
Apr 25	reviewed	No Action Needed Derivative of vectors
Apr 25	reviewed	Reviewed Proof of the linear independence of the generalized eigenvectors of a square matrix
Apr 25	comment	How to construct a context free grammar $G$ such that $L(G) = \{ a^i b^j a^k\| j \gt i+k\} $? @BrianM.Scott: Can obvious special cases be considered 'duplicates'? I would be in favour of closing this as a duplicate, but I'm not quite sure whether that is a generally accepted position.
Apr 25	answered	Cayley tables for semigroups of order $\le 8$
Apr 19	awarded	Revival
Apr 16	awarded	Cleanup
Apr 16	revised	First-order logic without equality rolled back to a previous revision
Apr 16	revised	First-order logic without equality edited tags
Apr 16	comment	Finitely generated subgroups of direct limits of groups Thank you! Sorry it took me so long to get around to accepting this. I was rather busy.
Apr 16	accepted	Finitely generated subgroups of direct limits of groups
Apr 15	revised	Finitely generated subgroups of direct limits of groups added 174 characters in body; edited tags
Apr 15	comment	Finitely generated subgroups of direct limits of groups @Abel: Actually it's much more my fault for not getting enough sleep last night.