New posts in Formal Languages

What exactly is a judgement?

Status of an open problem about semilinear sets

Predicates of infinite arity

Is there a natural family of languages whose generating functions are holonomic (i.e. D-finite)?

Regular languages and the pumping lemma

What is the difference between recursive and recursively enumerable languages

Where can I find a formal grammar for MATLAB?

Why do we need prefix, postfix notation

Why can't C++ be parsed with a LR(1) parser?