Is the the set difference of 2 context free languages context free?...

How to strengthen induction hypothesis in Coq proof?...

Requiring or not a parameter...

Converting regex to a NFA transistion table...

Proving concatenation of language is associative in Agda...

What is the formal model behind Sense/Net ECM?...

Creating a separate "boolean expression" rule for a dynamic language...

Prove whether this language is decidable and recognizable...

What is the intersection of two languages?...

Java regex match number of times substring/char appears in string...

How to evaluate an expression using β reduction in lambda calculus?...

Regular expressions - They are the same regular expressions?...

What other tools can help me create a small language targeting JVM, besides ANTLR?...

How can I tell that a language is context-free from first sight?...

Is this grammar context free or not?...

grammar LL(1) conflicts...

Greek syllabification library for Javascript...

Can Lua patterns represent any regular language?...

BNFC generated grammar fails on simplest examples...

Regex create a expression solving the following pattern...

How to propose a recurrence equation for a given DFA over a set of q states?...

Finiteness of Regular Language...

Converting given ambiguous arithmetic expression grammar to unambiguous LL(1)...

definition of the term "syntactic form"...

formula vs well-formed formula in propositional logic...

Finite strings but possibly infinite language...

Constructing Language generated by the grammar...

Formal Languages - Grammar...

How can I check that the language of one context-free grammar is a subset of a second context-free g...

Regular Expression Format Confusion...