List questions from formal-languages

Published on 01 Apr 2026 - 17:10

11.7k

Views

Example of language that does not contain substring $11$

Published on 26 Mar 2026 - 13:49

187

Views

How to verify that ambiguous grammar generates same language as unambigious grammar?

Published on 03 Apr 2026 - 5:50

105

Views

Converting CFG to Chomsky-Normal-Form?

Published on 26 Mar 2026 - 17:18

142

Views

Proof verification for L is not context-free

Published on 03 Apr 2026 - 5:46

91

Views

Prove decidability of language in logic

Published on 03 Apr 2026 - 7:37

1.4k

Views

How do I go to the left-most position on a Turing Machine's tape?

Published on 26 Mar 2026 - 17:14

264

Views

Can proofs be arbitrarily long?

Published on 28 Mar 2026 - 4:00

149

Views

Solution set for Kleene star over language $L = \{w \in \sum^*| \exists x\in \Sigma. |w|_x=0\}$ with $\Sigma = \{a,b,c\}$

Published on 28 Mar 2026 - 14:44

951

Views

The Mathematics of Skateboarding Tricks.

Published on 31 Mar 2026 - 12:20

135

Views

Language formed by adding symbols to start or end turn by turn

Published on 19 Aug 2017 - 15:07

65

Views

Question about a language in the alphabet {(,)}

Published on 20 Aug 2017 - 14:00

103

Views

What is polynomial-time random language?

Published on 25 Mar 2026 - 20:34

86

Views

A formal language problem

Published on 26 Mar 2026 - 2:52

43

Views

Two questions about a parenthesis language

Published on 28 Aug 2017 - 16:12

List Question

How may we make $(\forall y ?)(\forall x ?)P$ equivalent to $(\forall x>0)(\forall y>x)P$

Example of language that does not contain substring $11$

How to verify that ambiguous grammar generates same language as unambigious grammar?

Converting CFG to Chomsky-Normal-Form?

Proof verification for L is not context-free

Prove decidability of language in logic

How do I go to the left-most position on a Turing Machine's tape?

Can proofs be arbitrarily long?

Solution set for Kleene star over language $L = \{w \in \sum^*| \exists x\in \Sigma. |w|_x=0\}$ with $\Sigma = \{a,b,c\}$

The Mathematics of Skateboarding Tricks.

Language formed by adding symbols to start or end turn by turn

Question about a language in the alphabet {(,)}

What is polynomial-time random language?

A formal language problem

Two questions about a parenthesis language

Trending Questions

Popular # Hahtags

Popular Questions