711 views
0 votes
0 votes
Is there any way to check whether a language is regular or not without using Pumping lemma?

2 Answers

2 votes
2 votes
First Just check if it is a finite language or not. Every finite language is regular language.

Now if it's infinite it still can be regular, so check if it compares any two counters. By counter I mean, count of the occurrences of any set of symbols. So if there's even one comparison of counters, it's non regular. Eg a^nb^n

In case there's no comparison between the counter but the counter itself is nonlinear then also the language is non regular. By nonlinear counter, I mean if the languages counts that if number of occurrences of 1 is a prime number, then it will be a non regular language. But if it's prime number from 0 to 1000 then it becomes a regular language because the language will be finite.

These are a few guidelines and the rest can be managed with practice.
0 votes
0 votes

1. Check whether the language is finite or not. If its finite then it is surely regular.

2. If its not finite then there may be a case that its not regular.

3. Rules for checking if regular:

a) Check if there is any pattern in AP then its regular.

b) If there is any irregular pattern like in GP or in terms of prime then not regular.

c) If automaton requires saving of infinite length string then comparing then its not regular.

d) Modular counting or modular division is always regular.

4) Pumping Lemma is negativity test means

a) If passed then language may or may not be regular.

b) If failed then language is definitely not regular.

Related questions

1 votes
1 votes
1 answer
2
0 votes
0 votes
1 answer
3
sumit kumar asked Jun 22, 2015
7,995 views
my question is whether we have a shortcut an idea which can help us in recognizing any language to be regular or not,in GATE .and also what is the best way to get it prop...
6 votes
6 votes
2 answers
4
akshay_845 asked Jan 23, 2017
1,119 views
L1 ={ a^pb^q | p+q>=10^6}L2= { a^mb^n | m-n>=10^6} i m not getting this can someone help me with this