Categories
Tags
Formal-languages
New post in Formal-languages
Live Variables in Context Free Grammar
October 28th, 2020
formal-languages
context-free-grammar
Prove that the language $\{bin(p) \mid p\ \text{is prime}\}$ is not regular (prime numbers)
March 18th, 2020
regular-language
formal-languages
Finding a grammar for given language
August 1st, 2022
computer-science
formal-languages
context-free-grammar
discrete-mathematics
What is the cardinality of a string set with finite alphabet?
August 1st, 2022
elementary-set-theory
formal-languages
Constructing Turing machine for $L=\{a^n b^m, m\%n=0\}$
August 1st, 2022
computational-complexity
computer-science
formal-languages
turing-machines
Prove concatenation of strings is associative
August 1st, 2022
formal-languages
Are context free languages closed under taking substring?
April 16th, 2022
logic
formal-languages
computer-science
discrete-mathematics
context-free-grammar
Prove that $\{w \mid \text{ w has even length and the first half of w has more 0s than the second half of w} \}$ is not regular?
November 16th, 2020
regular-language
proof-writing
automata
formal-languages
pumping-lemma
prove the complement of a language is context free
August 1st, 2022
context-free-grammar
formal-languages
Using the Pumping Lemma to show that $\{a^nb^{n^2} : n\in \mathbb{N} \}$ is not a context-free language
August 1st, 2022
context-free-grammar
formal-languages
induction proof for kleene star
April 29th, 2020
regular-expressions
formal-languages
induction
proof-writing
elementary-set-theory
Find a grammar that generates this palindrome language
January 15th, 2020
formal-grammar
formal-languages
Do these two regular expressions $(a + b)^*$ and $(b^*a^*)^*$ generate the same language?
August 1st, 2022
computer-science
formal-languages
Construct a deterministic Turing machine that decides the language $L=\{w\in\{a, b\}\mid w\text{ contains an occurrence of }ab\}$
November 23rd, 2020
formal-languages
logic
turing-machines
How to write formal notation of edge set in graph?
August 1st, 2022
formal-languages
graph-theory
notation
Finite state machine
January 6th, 2020
regular-expressions
computer-science
discrete-mathematics
formal-languages
automata
pumping lemma for CFL vs pumping lemma for regular languages
June 1st, 2020
computer-science
automata
formal-languages
A Regular Expression for all strings that...
March 30th, 2020
regular-expressions
formal-languages
automata
regular-language
Determine string is even length with regular expression
August 1st, 2022
regular-expressions
formal-languages
Can a NFA reach two final states at the same time?
August 1st, 2022
automata
formal-languages
finite-automata
Finding Nerode equivalence classes
August 1st, 2022
formal-languages
regular-language
Nondeterministic PDA to Deterministic PDA
December 14th, 2020
automata
computer-science
formal-languages
Construct PDA that accepts the language $L = \{w_1cw_2 : w_1, w_2 \in \{a, b\}^*, w_1 \neq w_2^R\}$
December 14th, 2020
automata
formal-languages
computer-science
What is the difference between a formal system and first order logic?
November 12th, 2020
formal-languages
formal-systems
logic
first-order-logic
DFA Rejection State
December 9th, 2020
automata
formal-languages
A context-free grammar for the language $L = \{ a^ib^jc^k \space|\space 0 \leq i \leq j \leq i + k \}$
February 12th, 2020
context-free-grammar
formal-languages
How to prove a language is decidable
August 1st, 2022
formal-languages
Is the empty set in every language?
October 8th, 2020
formal-languages
elementary-set-theory
discrete-mathematics
Automaton NFA that include substring "aa" and "bb"
April 16th, 2021
formal-languages
automata
Are languages regular if their concatenation is regular?
August 1st, 2022
formal-languages
regular-language
←
1
2
3
4
5
6
7
8
→