Pumping Lemma Guide

1
Select language type and choose a test string
2
Use sliders to set segment boundaries (xyz or uvwxy)
3
Set pumping count and generate pumped strings
4
Test validity and observe lemma violations
Controls:
Languages:

Test String

Pumping Control

i=0: delete, i=1: original, i>1: repeat

Regular Language: a*b*

Zero or more a's followed by zero or more b's

w = xyz

Constraints: |xy| ≤ p, |y| ≥ 1

Enter a string to see decomposition

Pumped String Result

Generate a pumped string to see result

Pumping Lemma Analysis

Configure string decomposition and test pumping to see analysis

Test Results