Newbetuts
.
New posts in formal-languages
If $L$ is regular, prove that $\sqrt{L}=\left\{ w : ww\in L\right\}$ is regular
formal-languages
automata
regular-language
What underlies formal logic (or math, generally)?
logic
soft-question
formal-languages
philosophy
foundations
Algorithm to answer existential questions - Reduction
number-theory
logic
computability
formal-languages
proof-explanation
Proving a language is not recognizable
proof-verification
formal-languages
turing-machines
What is a regular language?
syntax
programming-languages
bnf
regular-language
formal-languages
Finite automaton that recognizes the empty language $\emptyset$
computer-science
formal-languages
automata
Proof- vs. model-theoretic definitions of extension and of conservative extension
logic
model-theory
first-order-logic
formal-languages
proof-theory
How to show that if there's a mapping reduction from L to its complement, it doesn't imply that L∈R?
computer-science
computability
formal-languages
turing-machines
decidability
finding right quotient of languages
formal-languages
Why is the Kleene star of a null set is an empty string?
elementary-set-theory
formal-languages
Foundation of Formal Logic
logic
set-theory
formal-languages
formal-systems
Intersection of two deterministic finite automata?
computer-science
automata
formal-languages
regular-language
Proving that $L = \{0^k \mid \text{$k$ is composite}\}$ is not regular by pumping lemma
formal-languages
About the position of "for all" quantifier
logic
formal-languages
Eilenberg's rational hierarchy of nonrational automata & languages
automata
formal-languages
semigroups
context-free-grammar
What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
logic
category-theory
formal-languages
topos-theory
categorical-logic
First-order logic without equality
logic
formal-languages
The complement of a language of a machine L(M)
computer-science
formal-languages
automata
Left-Linear and Right-Linear Grammars
grammar
regular-language
computation-theory
formal-languages
Why is Gödel's Second Incompleteness Theorem important?
logic
formal-languages
proof-theory
incompleteness
Prev
Next