Constructing automata for regular languages
124315
Drawing automata for languages
6950
Pattern matching multiple symbols names and powers
137646
show that language $L'$ is regular (given $L$ regular)
15842
Lambda calculus expression reduction
140682
Proving a property of a Logic Formal Language
125664
Selectively converting numerical strings to expressions
123704
Mathematical explanation for the Repertoire Method
142695
How can I build an AST using ANTLR4?
158295
First Order Logic clauses decidability
16082
Tools for automating document compilation
111349
Finite automaton that recognizes the empty language $\emptyset$
86858
Prove that the set of palindromes are not regular languages using the pumping lemma.
35383
Closures in a for loop and lexical environment
33851
Generalizing a sequence.
25213
Analysing the "kind(s) of problem(s) are [ones]/[to be]" construction
59530
Efficiently finding the intersection of a variable number of sets of strings
120748
Combination With Finite Replacements