List questions from formal-languages

Published on 09 Apr 2026 - 2:23

555

Views

GEB: How to write "b is a MIU-number" in TNT notation

Published on 15 Apr 2026 - 22:49

253

Views

GEB: Is MUUI a MIU-string?

Published on 16 Apr 2026 - 2:53

292

Views

What is wrong with my application of the Myhill-Nerode theorem on this language?

Published on 10 May 2026 - 15:01

262

Views

What type of grammar is this?

Published on 10 May 2026 - 15:45

138

Views

Weird points about validity of argument

Published on 10 May 2026 - 15:50

134

Views

How can you construct an NFA with k+2 states, where k is an arbitrary natural?

Published on 10 May 2026 - 16:34

62

Views

Logical expressivity and model classes

Published on 13 Apr 2026 - 22:43

30

Views

Why if $R_M \subseteq R_L $ then $Index(R_L) \leq Index(R_M)$

Published on 25 Mar 2026 - 16:03

555

Views

String sets commutative under concatenation

Published on 12 Apr 2026 - 22:03

107

Views

Write grammar for language $L=\bigl\{ba^{2^n}b \mid n\ge 1\bigr\}$

Published on 29 Apr 2026 - 12:51

871

Views

Does there exist a formal language capable of expressing any mathematical proof without resorting to drawings or natural language sentences?

Published on 14 Apr 2026 - 10:34

190

Views

Ehrenfeucht-Fraisse games over finite sequences (i.e. words) and separability by first order formulas

Published on 10 Apr 2026 - 19:59

62

Views

Is a language whose only ability to affect state comes from calling other languages Turing-complete?

Published on 10 May 2026 - 16:00

1.2k

Views

Why is this language not Regular - w^Rw (i.e. a word concat. with its reverse)?

Published on 10 May 2026 - 12:53

List Question

Prove that every infinite regular language has an undecidable infinite subset

GEB: How to write "b is a MIU-number" in TNT notation

GEB: Is MUUI a MIU-string?

What is wrong with my application of the Myhill-Nerode theorem on this language?

What type of grammar is this?

Weird points about validity of argument

How can you construct an NFA with k+2 states, where k is an arbitrary natural?

Logical expressivity and model classes

Why if $R_M \subseteq R_L $ then $Index(R_L) \leq Index(R_M)$

String sets commutative under concatenation

Write grammar for language $L=\bigl\{ba^{2^n}b \mid n\ge 1\bigr\}$

Does there exist a formal language capable of expressing any mathematical proof without resorting to drawings or natural language sentences?

Ehrenfeucht-Fraisse games over finite sequences (i.e. words) and separability by first order formulas

Is a language whose only ability to affect state comes from calling other languages Turing-complete?

Why is this language not Regular - w^Rw (i.e. a word concat. with its reverse)?

Trending Questions

Popular # Hahtags

Popular Questions