By Topic

On proving languages non-regular

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Chedid, F.B. ; Dept. of Comput. Sci., Notre Dame Univ., Zouk Mosbeh, Lebanon

A well known characterization of regular languages is provided by Nerode's Theorem. However, the pumping lemma is often a more useful tool in demonstrating properties of regular languages. In this paper, we rewrite an early pumping characterization of regular languages due to Stanat and Weiss so that some extra condition is made explicit in the theorem. This should allow for writing simpler proofs. Also, we present two new variations of the non-pumping lemma of Zhang and Canfield. These are necessary conditions only for regularity. Still, a non-pumping lemma uses a simpler logic compared to the standard pumping lemma. Finally, we present a generalization of the non-pumping lemma that is applicable to our variations as well. Our generalization allows for simpler proofs.

Published in:

Computer Systems and Applications (AICCSA), 2010 IEEE/ACS International Conference on

Date of Conference:

16-19 May 2010