formal-languages

26 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to strengthen induction hypothesis in Coq proof?
user_80201700
•
3
1
324
coq formal-languages
formula vs well-formed formula in propositional logic
user_49411890
•
4
1
1559
well-formed formula logic formal-languages
Finiteness of Regular Language
user_23972920
•
3
5
3320
automata-theory automata regular-language finite-automata formal-languages
To make sure: Pumping lemma for infinite regular languages only?
user_15724450
•
12
4
6148
pumping-lemma regular-language finite-automata formal-languages math
What is a regular language?
user_6662540
•
88
2
53667
regular-language formal-languages bnf programming-languages syntax
Why can't C++ be parsed with a LR(1) parser?
Cheery_217110
•
157
6
33056
formal-languages grammar parsing c++
Hot Questions