formal-languages

26 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Can a PDA with two stacks accept RE Language?
user_114136420
•
2
1
1816
pushdown-automaton decidable deterministic formal-languages turing-machines
Inserting a regular language into other regular language
user_53236550
•
3
1
248
nfa dfa regular-language formal-languages
Generate all unique k-subsequences
user_35789370
•
3
1
904
subsequence itertools formal-languages python
Is the dot of dot notation an operator or something else ? How do you know?
user_116976030
•
4
2
167
lexical-analysis token formal-languages semantics javascript
What is the class of languages that can be parsed with yacc?
user_98896350
•
4
2
358
formal-languages yacc grammar parsing
Context-free grammar for the language L = {a^(n)b^(m)c^(k): m = |i - k|}
user_106268220
•
2
2
12570
context-free-language regular-language formal-languages context-free-grammar
Simple formal definition of binary data
user_17199210
•
3
0
87
formal-languages binary-data c python
Z3: express linear algebra properties
user_89020040
•
7
1
727
theorem-proving smt z3 formal-languages
Why can't Coq figure out symmetry of the equality by itself?
user_59831870
•
3
1
745
coq-tactic formal-methods coq formal-verification formal-languages
Is there a way to find out what is causing 'No Instance Found' on run in Alloy?
user_27585000
•
3
1
542
alloy formal-methods formal-verification formal-languages
Hot Questions