formal-languages

26 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
What this turing machine does as undecidable?
user_189046730
•
1
1
41
formal-languages
Determining language from a grammar
user_187395420
•
1
1
72
automata formal-languages computer-science
Unable to split a conjunction in Hypothesis
user_171361240
•
3
1
77
coq formal-languages
Minimal DFA / regular expression from set of strings
user_215010
•
2
1
118
formal-languages algorithm
How to get regular expression based on regular grammar?
Admin1
•
2
1
210
regular-language formal-languages regex
Need help checking if my CFG question is correct
user_147697810
•
2
1
140
formal-languages computer-science context-free-grammar regex
Why this dafny post-condition is not inferred?
user_114501660
•
2
1
201
formal-methods dafny formal-verification formal-languages assert
BNF rule to regular expression
user_75954720
•
3
0
277
regular-language formal-languages bnf context-free-grammar regex
regex worst possible complexity
user_139821650
•
5
0
130
formal-languages computer-science complexity-theory time-complexity regex
Need a better explanation of this lengthy DFA word problem ( CS : Formal Language & Automata course)
user_137111440
•
2
1
359
computation-theory dfa deterministic automata formal-languages
Hot Questions