#math - Tue 24 Apr 2007 between 06:33 and 06:39

NY Lost Funds



Calef(x+dx)?
are you working with infinitesimals?
kmhManyfold : you mean the derivative ?
FatalErrorXManyfold: join the club
Manyfoldwhich club
CaleNothing in the preconditions Guest57536 gave indicate that f is differentiable.
kmhManyfold : of unanswered questions ?:)
FatalErrorXthe not getting questions answered club
Manyfoldf(x+dx) means that it is infinitesimal greate than f(x)
|Steve|FreeNode is great for category and algebra questions.
CaleFatalErrorX: do you know how to write matched brackets as a CFG?
Manyfoldi mean the argument
FatalErrorXi guess not so good for computational theory questions
|Steve|Actually, that's my area, I just wasn't paying attention. =)
FatalErrorXlol
kmhFatalErrorX . depends who's around
FatalErrorXcan anyone help me write [{a,b}* | at least as many a's as b's] as a CFG
ManyfoldCFG?
|Steve|That's easy.
FatalErrorXContext free grammer
:)
kmhFatalErrorX : there is no your-question-has-to-be-answered-policy here
|Steve|S -> aSb | A; A -> aA | \varepsilon.
CaleFatalErrorX: do you know how to write matched brackets as a CFG?
|Steve|Bam!
FatalErrorXCale: ?
Caleonly |Steve|'s interpretation puts all the a's first, and all the b's after.
FatalErrorX|Steve|: thankyou
CaleSo it's not quite right.
|Steve|Oh, that's what I thought you want, silly me.
I did a^nb^m n >= m.
FatalErrorXlol
|Steve|So this is also easy, every time you put in a b, you have to add an a.
CaleHow about S = aSb | bSa | aS | Sa | epsilon
|Steve|And that's it.
Although it should really be an arrow ->.
FatalErrorXya
CaleSo, prove that every string of the language is generated by that grammar.
FatalErrorXthankyou both
CaleThe other direction is easy.

Page: 2 9 16 23 30 37 44 51 58 65 72 

IrcArchive

NY Lost Funds