Categories
Tags
Formal-languages
New post in Formal-languages
A computer's memory is finite, so how can there be languages more powerful than regular?
March 4th, 2021
computational-complexity
context-free-grammar
formal-languages
computability
regular-language
Context-sensitive grammar for the copy language
August 1st, 2022
formal-grammar
formal-languages
What is the difference between language of empty string and empty set language?
August 1st, 2022
formal-languages
Generating functions for context-free languages
August 1st, 2022
generating-functions
context-free-grammar
combinatorics
formal-languages
An analog of the Myhill-Nerode Theorem for context-free languages?
August 1st, 2022
computer-science
formal-languages
Finite automaton that recognizes the empty language $\emptyset$
August 1st, 2022
automata
computer-science
formal-languages
First-order logic without equality
August 1st, 2022
logic
formal-languages
About the position of "for all" quantifier
August 1st, 2022
formal-languages
logic
Why is the Kleene star of a null set is an empty string?
August 1st, 2022
elementary-set-theory
formal-languages
What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
August 1st, 2022
categorical-logic
logic
category-theory
formal-languages
topos-theory
Why is Gödel's Second Incompleteness Theorem important?
August 1st, 2022
formal-languages
logic
incompleteness
proof-theory
Construct Context-free Grammar for the Language
March 25th, 2020
formal-languages
context-free-grammar
Is the language "substrings of an even-lengthed regular language" also regular?
February 10th, 2020
automata
formal-languages
regular-language
Does the Halting Problem apply when evaluating programs that are regular languages?
March 24th, 2020
regular-language
context-free-grammar
formal-languages
Examples for different types of formal languages
June 30th, 2020
formal-languages
How many DFA's exist with two states over the input alphabet $\{0,1\}$?
October 12th, 2020
formal-languages
combinatorics
permutations
automata
regular-language
Difference of a regular language and a context-free language
February 6th, 2020
context-free-grammar
regular-language
formal-languages
Freshening up on discrete math (regular expressions)
March 31st, 2020
discrete-mathematics
regular-expressions
formal-languages
If $L$ is regular, prove that $\sqrt{L}=\left\{ w : ww\in L\right\}$ is regular
March 14th, 2021
formal-languages
regular-language
automata
finding right quotient of languages
August 1st, 2022
formal-languages
Application of Pumping lemma for regular languages
August 1st, 2022
formal-languages
regular-language
Reductions for regular languages?
June 10th, 2020
computability
computer-science
regular-language
formal-languages
Describe a PDA that accepts the language L = {w | w = a^n b^n c^n , N > 0}
June 24th, 2022
formal-languages
←
1
2
3
4
5
6
7
8
→