Consider an arithmetic over {0,1}+ with three operators: addition, left-shift, and equality.

Is it decidable?

I just wrote an attribute grammar for the general object-encoding rules. (Not all of BER; that's next. Just section 8.1 of X.690.) Unless sections 8.2 through 8.22 throw me a curveball, which it doesn't look like they will, QED. It's fully left-recursive and uses only synthesized attributes, for all your efficient parsing needs. Boo yahIf anyone ( Read more... )

Lobster bisque, amaretto and attribute grammars on a rainy night.

People. Really. When are you going to learn ( Read more... )

I'm looking for a copy of a paper, "An agar culture medium for lactic acid streptococci and lactobacilli," by P.R. Elliker. It was originally published in the Journal of Dairy Science, vol. 39, pages 1611-1612, in 1956 ( Read more... )

Actually, I've been back since the 7th, but I've been travelling with my folks (who, somewhat to my surprise, actually showed up for my commissioning; Dad and turgon76 pinned on my bars, and Mom took pictures) and am heading back to Houston later today. I didn't bring my laptop to Ft. Lewis, so I'm limited to the lone Dell that's in the hotel's business ( Read more... )