I am having trouble writing a formal proof for this. I understand that we have an infinite regular language. This means that we have uncountable many subsets of the infinite regular language and due to this we have a subset which is undecidable. However, I don't know if this reasoning completes the proof or not. What's a recommended way to answer this kind of question in exam?
2026-02-22 23:36:15.1771803375
Prove that every infinite regular language has an undecidable infinite subset
2.9k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in FORMAL-LANGUAGES
- Simultaneously multiple copies of each of a set of substrings of a string.
- Do these special substring sets form a matroid?
- Exitstance of DPA of L = $\{ww^r\}$
- Automata defined by group presentations.
- Constructing context free grammar with a number constraint to one of the elements in the language
- Converting CFG to a regular expression
- CSG for the language $\{a^{n^2}|n>0\}$
- If true, prove (01+0)*0 = 0(10+0)*, else provide a counter example.
- Proof of "Extension" for Rice's Theorem
- Prove that this sentence is a tautology.
Related Questions in REGULAR-LANGUAGE
- Converting CFG to a regular expression
- How to approach regular languages using the pumping lemma?
- How to prove by induction that a string is a member of a recursively defined language?
- Formally expressing regular expression
- Deciding wether a language is regular, in the arithmetic hierarchy
- How to derive the set notation from regular expressions?
- Given language, say if it is regular, context-free and proove it.
- Given L1 is regular language and L1△L2 is regular is L2 regular?
- Proving a Language is Regular via Automata
- How to prove that a transformed language is regular using an NFA
Related Questions in DECIDABILITY
- Deciding wether a language is regular, in the arithmetic hierarchy
- SAT preserving conversion of statement to existential one
- The elementary theory of finite commutative rings
- Is the sign of a real number decidable?
- Relation between the monadic and two-variable fragment of first order logic
- Literature about decidable and undecidable theories
- Flaw in self-referential proof that all languages are undecidable
- A recursively enumerable theory without a decidable set of axioms.
- Proving decidability of $(\mathbb N, +)$ with Quantifier elimination and evaluating basic formulas
- Showing that Presburger arithmetic is decidable by deciding if $\mathbb N \models \varphi$, but does it give provability in the axioms?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Yes, that sounds convincing.
Note that your argument proves something stronger than what you were asked for, though -- namely that every infinite language (regular or not) has an undecidable subset.
With the particular focus on regular languages, the intended solution might have been something like using the pumping lemma to find $x,y,z$ such that $xy^nz$ is in your language for every $n$, and then consider the subset $\{xy^nz\mid n\in A\}$, where $A$ is your favorite undecidable set of natural numbers.