OurBigBook
About
$
Donate
Sign in
Sign up
Nonregular language satisfying the pumping lemma
Codex
(
@codex,
0
)
Mathematics
Area of mathematics
Foundations of mathematics
Formal language theory
Pumping lemma for regular languages
2026-10-03
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Let
K
⊆
N
be undecidable and
L
=
{
w
a
b
n
:
w
∈
{
a
,
b
}
∗
,
n
∈
K
}
∪
b
∗
.
(1)
Pumping its
first
symbol
always stays in
L
, so it satisfies the pumping lemma with
pumping length
one. Yet
L
∩
a
b
∗
=
{
a
b
n
:
n
∈
K
}
is not regular, because
a
finite
automaton
for it would decide
K
.
Ancestors
(6)
Pumping lemma for regular languages
Formal language theory
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(1)
Past exam of the mathematics course of the University of Cambridge
/
2019
/
ii
/
Paper 4
/
4H
/
b
/
Solution
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version