1. The document discusses mathematical models of automata and formal languages. It introduces concepts like alphabets, strings, words, languages, concatenation, length, and palindromes.
2. Several examples of languages are defined using various alphabets and rules to specify which strings are considered words.
3. The relationships between strings, words, languages, and operations like concatenation and reversing are explored mathematically. This provides a framework for analyzing computational tasks and problems.
Are Natural Languages Regular? This is an important question for two reasons: first, it places an upper bound on the running time of algorithms that process natural language; second, it may tell us something about human language processing and language acquisition.
FellowBuddy.com is an innovative platform that brings students together to share notes, exam papers, study guides, project reports and presentation for upcoming exams.
We connect Students who have an understanding of course material with Students who need help.
Benefits:-
# Students can catch up on notes they missed because of an absence.
# Underachievers can find peer developed notes that break down lecture and study material in a way that they can understand
# Students can earn better grades, save time and study effectively
Our Vision & Mission – Simplifying Students Life
Our Belief – “The great breakthrough in your life comes when you realize it, that you can learn anything you need to learn; to accomplish any goal that you have set for yourself. This means there are no limits on what you can be, have or do.”
Like Us - https://www.facebook.com/FellowBuddycom
Machine Translation (MT) refers to the use of computers for the task of translating
automatically from one language to another. The differences between languages and
especially the inherent ambiguity of language make MT a very difficult problem. Traditional
approaches to MT have relied on humans supplying linguistic knowledge in the form of rules
to transform text in one language to another. Given the vastness of language, this is a highly
knowledge intensive task. Statistical MT is a radically different approach that automatically
acquires knowledge from large amounts of training data. This knowledge, which is typically
in the form of probabilities of various language features, is used to guide the translation
process. This report provides an overview of MT techniques, and looks in detail at the basic
statistical model.
"Trans Failsafe Prog" on your BMW X5 indicates potential transmission issues requiring immediate action. This safety feature activates in response to abnormalities like low fluid levels, leaks, faulty sensors, electrical or mechanical failures, and overheating.
Ever been troubled by the blinking sign and didn’t know what to do?
Here’s a handy guide to dashboard symbols so that you’ll never be confused again!
Save them for later and save the trouble!
Are Natural Languages Regular? This is an important question for two reasons: first, it places an upper bound on the running time of algorithms that process natural language; second, it may tell us something about human language processing and language acquisition.
FellowBuddy.com is an innovative platform that brings students together to share notes, exam papers, study guides, project reports and presentation for upcoming exams.
We connect Students who have an understanding of course material with Students who need help.
Benefits:-
# Students can catch up on notes they missed because of an absence.
# Underachievers can find peer developed notes that break down lecture and study material in a way that they can understand
# Students can earn better grades, save time and study effectively
Our Vision & Mission – Simplifying Students Life
Our Belief – “The great breakthrough in your life comes when you realize it, that you can learn anything you need to learn; to accomplish any goal that you have set for yourself. This means there are no limits on what you can be, have or do.”
Like Us - https://www.facebook.com/FellowBuddycom
Machine Translation (MT) refers to the use of computers for the task of translating
automatically from one language to another. The differences between languages and
especially the inherent ambiguity of language make MT a very difficult problem. Traditional
approaches to MT have relied on humans supplying linguistic knowledge in the form of rules
to transform text in one language to another. Given the vastness of language, this is a highly
knowledge intensive task. Statistical MT is a radically different approach that automatically
acquires knowledge from large amounts of training data. This knowledge, which is typically
in the form of probabilities of various language features, is used to guide the translation
process. This report provides an overview of MT techniques, and looks in detail at the basic
statistical model.
"Trans Failsafe Prog" on your BMW X5 indicates potential transmission issues requiring immediate action. This safety feature activates in response to abnormalities like low fluid levels, leaks, faulty sensors, electrical or mechanical failures, and overheating.
Ever been troubled by the blinking sign and didn’t know what to do?
Here’s a handy guide to dashboard symbols so that you’ll never be confused again!
Save them for later and save the trouble!
What Does the PARKTRONIC Inoperative, See Owner's Manual Message Mean for You...Autohaus Service and Sales
Learn what "PARKTRONIC Inoperative, See Owner's Manual" means for your Mercedes-Benz. This message indicates a malfunction in the parking assistance system, potentially due to sensor issues or electrical faults. Prompt attention is crucial to ensure safety and functionality. Follow steps outlined for diagnosis and repair in the owner's manual.
Why Is Your BMW X3 Hood Not Responding To Release CommandsDart Auto
Experiencing difficulty opening your BMW X3's hood? This guide explores potential issues like mechanical obstruction, hood release mechanism failure, electrical problems, and emergency release malfunctions. Troubleshooting tips include basic checks, clearing obstructions, applying pressure, and using the emergency release.
Comprehensive program for Agricultural Finance, the Automotive Sector, and Empowerment . We will define the full scope and provide a detailed two-week plan for identifying strategic partners in each area within Limpopo, including target areas.:
1. Agricultural : Supporting Primary and Secondary Agriculture
• Scope: Provide support solutions to enhance agricultural productivity and sustainability.
• Target Areas: Polokwane, Tzaneen, Thohoyandou, Makhado, and Giyani.
2. Automotive Sector: Partnerships with Mechanics and Panel Beater Shops
• Scope: Develop collaborations with automotive service providers to improve service quality and business operations.
• Target Areas: Polokwane, Lephalale, Mokopane, Phalaborwa, and Bela-Bela.
3. Empowerment : Focusing on Women Empowerment
• Scope: Provide business support support and training to women-owned businesses, promoting economic inclusion.
• Target Areas: Polokwane, Thohoyandou, Musina, Burgersfort, and Louis Trichardt.
We will also prioritize Industrial Economic Zone areas and their priorities.
Sign up on https://profilesmes.online/welcome/
To be eligible:
1. You must have a registered business and operate in Limpopo
2. Generate revenue
3. Sectors : Agriculture ( primary and secondary) and Automative
Women and Youth are encouraged to apply even if you don't fall in those sectors.
Symptoms like intermittent starting and key recognition errors signal potential problems with your Mercedes’ EIS. Use diagnostic steps like error code checks and spare key tests. Professional diagnosis and solutions like EIS replacement ensure safe driving. Consult a qualified technician for accurate diagnosis and repair.
𝘼𝙣𝙩𝙞𝙦𝙪𝙚 𝙋𝙡𝙖𝙨𝙩𝙞𝙘 𝙏𝙧𝙖𝙙𝙚𝙧𝙨 𝙞𝙨 𝙫𝙚𝙧𝙮 𝙛𝙖𝙢𝙤𝙪𝙨 𝙛𝙤𝙧 𝙢𝙖𝙣𝙪𝙛𝙖𝙘𝙩𝙪𝙧𝙞𝙣𝙜 𝙩𝙝𝙚𝙞𝙧 𝙥𝙧𝙤𝙙𝙪𝙘𝙩𝙨. 𝙒𝙚 𝙝𝙖𝙫𝙚 𝙖𝙡𝙡 𝙩𝙝𝙚 𝙥𝙡𝙖𝙨𝙩𝙞𝙘 𝙜𝙧𝙖𝙣𝙪𝙡𝙚𝙨 𝙪𝙨𝙚𝙙 𝙞𝙣 𝙖𝙪𝙩𝙤𝙢𝙤𝙩𝙞𝙫𝙚 𝙖𝙣𝙙 𝙖𝙪𝙩𝙤 𝙥𝙖𝙧𝙩𝙨 𝙖𝙣𝙙 𝙖𝙡𝙡 𝙩𝙝𝙚 𝙛𝙖𝙢𝙤𝙪𝙨 𝙘𝙤𝙢𝙥𝙖𝙣𝙞𝙚𝙨 𝙗𝙪𝙮 𝙩𝙝𝙚 𝙜𝙧𝙖𝙣𝙪𝙡𝙚𝙨 𝙛𝙧𝙤𝙢 𝙪𝙨.
Over the 10 years, we have gained a strong foothold in the market due to our range's high quality, competitive prices, and time-lined delivery schedules.
Welcome to ASP Cranes, your trusted partner for crane solutions in Raipur, Chhattisgarh! With years of experience and a commitment to excellence, we offer a comprehensive range of crane services tailored to meet your lifting and material handling needs.
At ASP Cranes, we understand the importance of reliable and efficient crane operations in various industries, from construction and manufacturing to logistics and infrastructure development. That's why we strive to deliver top-notch solutions that enhance productivity, safety, and cost-effectiveness for our clients.
Our services include:
Crane Rental: Whether you need a crawler crane for heavy lifting or a hydraulic crane for versatile operations, we have a diverse fleet of well-maintained cranes available for rent. Our rental options are flexible and can be customized to suit your project requirements.
Crane Sales: Looking to invest in a crane for your business? We offer a wide selection of new and used cranes from leading manufacturers, ensuring you find the perfect equipment to match your needs and budget.
Crane Maintenance and Repair: To ensure optimal performance and safety, regular maintenance and timely repairs are essential for cranes. Our team of skilled technicians provides comprehensive maintenance and repair services to keep your equipment running smoothly and minimize downtime.
Crane Operator Training: Proper training is crucial for safe and efficient crane operation. We offer specialized training programs conducted by certified instructors to equip operators with the skills and knowledge they need to handle cranes effectively.
Custom Solutions: We understand that every project is unique, which is why we offer custom crane solutions tailored to your specific requirements. Whether you need modifications, attachments, or specialized equipment, we can design and implement solutions that meet your needs.
At ASP Cranes, customer satisfaction is our top priority. We are dedicated to delivering reliable, cost-effective, and innovative crane solutions that exceed expectations. Contact us today to learn more about our services and how we can support your project in Raipur, Chhattisgarh, and beyond. Let ASP Cranes be your trusted partner for all your crane needs!
Fleet management these days is next to impossible without connected vehicle solutions. Why? Well, fleet trackers and accompanying connected vehicle management solutions tend to offer quite a few hard-to-ignore benefits to fleet managers and businesses alike. Let’s check them out!
Learn why monitoring your Mercedes' Exhaust Back Pressure (EBP) sensor is crucial. Understand its role in engine performance and emission reduction. Discover five warning signs of EBP sensor failure, from loss of power to increased emissions. Take action promptly to avoid costly repairs and maintain your Mercedes' reliability and efficiency.
In this presentation, we have discussed a very important feature of BMW X5 cars… the Comfort Access. Things that can significantly limit its functionality. And things that you can try to restore the functionality of such a convenient feature of your vehicle.
The Octavia range embodies the design trend of the Škoda brand: a fusion of
aesthetics, safety and practicality. Whether you see the car as a whole or step
closer and explore its unique features, the Octavia range radiates with the
harmony of functionality and emotion
Your VW's camshaft position sensor is crucial for engine performance. Signs of failure include engine misfires, difficulty starting, stalling at low speeds, reduced fuel efficiency, and the check engine light. Prompt inspection and replacement can prevent further damage and keep your VW running smoothly.
What Could Cause The Headlights On Your Porsche 911 To Stop WorkingLancer Service
Discover why your Porsche 911 headlights might flicker out unexpectedly. From aging bulbs to electrical gremlins and moisture mishaps, we're delving into the reasons behind the blackout. Stay tuned to illuminate the road ahead and ensure your lights shine bright for safer journeys.
2. TEXT AND REFERENCE MATERIAL
1. Introduction to Computer Theory, by Daniel
I. Cohen, John Wiley and Sons, Inc., 1991,
Second Edition
2. Introduction to Languages and Theory of
Computation, by J. C. Martin, McGraw Hill
Book Co., 1997, Second Edition
Theory Of Automata - Maths
2
3. BACKGROUND
We shall form several mathematical models that will
describe with varying degrees of accuracy parts of
computers, types of computers, and similar machines.
In particular, the way we shall be studying about
computers is to build mathematical models, called
machines, and then to study their limitations by
analyzing the types of inputs on which they can operate
successfully.
The collection of these successful inputs is called the
language of the machine.
Theory Of Automata - Maths
3
4. Every time we introduce a new machine, we will learn its
language; and every time we develop a new language, we
will try to find a machine that corresponds to it.
This interplay between languages and machines will be our
way of investigating problems and their potential solutions
by automatic procedures, which we call algorithms.
We will study different types of theoretical machines that
are mathematical models for actual physical processes. By
considering the possible inputs on which these machines
can work, we can analyze their various strengths and
weaknesses.
Theory Of Automata - Maths
4
5. we are obliged to prove the truth about whatever we
discover.
So consider only question of whether certain tasks can
be done at all. Conclusion are of the form “this can be
done” or “this can never be done”.
When reach conclusions of the second type, we mean
not just that techniques for performing these tasks are
unknown at the present time, but that such techniques
will never exist in the future.
Theory Of Automata - Maths
5
What is mathematical about the
models?
6. We will arrive at what we may believe to be the most
powerful machine possible. When we do, we will be
surprised to find tasks that even such machine cannot
perform.
Our ultimate result is that no matter what machine we
build, there will always be questions that are simple to
state and that the machine can not answer.
Theory Of Automata - Maths
6
7. WHAT DOES AUTOMATA MEAN?
It is the plural of automaton, and it means
“something that works automatically”
Theory Of Automata - Maths
7
8. LANGUAGES
In English, we distinguish 3 different entities: letters,
words, and sentences.
Groups of letters make up words and groups of words
make up sentences.
However, not all collections of letters form valid words, and
not all collections of words form valid sentences.
This situation also exists with computer languages.
Certain (but not all) strings of characters are recognizable
words (e.g., IF, ELSE, FOR, WHILE …); and certain (but
not all) strings of words are recognizable commands.
Theory Of Automata - Maths
8
9. To construct a general theory of formal languages, we
need to have a definition of a language structure, in
which the decision of whether a given string of units
constitutes a valid larger unit is not a matter of
guesswork, but is based on explicitly stated rules.
In this model, language will be considered as symbols
with formal rules, and not as expressions of ideas in the
minds of humans.
The term “formal” emphasizes that it is the form of the
string of symbols that we are interested in, not the
meaning.
Theory Of Automata - Maths
9
10. A finite non-empty set of symbols (letters), is
called an
alphabet. It is denoted by Σ ( Greek letter
sigma).
Example:
Σ={a,b}
Σ={0,1} //important as this is the language
//which the computer understands.
Σ={i,j,k}
Theory Of Automata - Maths
10
Basic Definitions
11. STRINGS
Concatenation of finite symbols from the
alphabet is called a string.
Example:
If Σ= {a,b} then
a, abab, aaabb, ababababababababab
Theory Of Automata - Maths
11
12. WORDS
Words are strings belonging to some language.
Example:
If Σ= {x} then a language L can be defined as
L={xn : n=1,2,3,…..} or L={x,xx,xxx,….}
Here x,xx,… are the words of L
All words are strings, but not all strings are words.
Theory Of Automata - Maths
12
13. We shall allow a string to have no letters. We call this
empty string or null string, and denote it by the symbol
Λ.
For all languages, the null word, if it is a word in the
language, is the word that has no letters. We also denote
the null word by Λ.
Two words are considered the same if all their letters are
the same and in the same order.
For clarity, we usually do not allow the symbol Λ to be
part of the alphabet of any language.
Theory Of Automata - Maths
13
EMPTY STRING or NULL STRING
14. The language that has no words is denoted by the
standard symbol for null set, ø.
It is not true that Λ is a word in the language ø since this
language has no words at all.
If a certain language L does not contain the word Λ and
we wish to add it to L, we use the operation “+” to form L
+ {Λ}. This language is not the same as L.
However, the language L + ø is the same as L since no
new words have been added.
Theory Of Automata - Maths
14
Discussion of null
15. INTRODUCTION TO DEFINING LANGUAGES
The rules for defining a language can be of two kinds:
They can tell us how to test if a string of alphabet letters is a
valid word, or
They can tell us how to construct all the words in the language
by some clear procedures.
Theory Of Automata - Maths
15
16. DEFINING LANGUAGES
Example: Consider this alphabet with only one letter
∑ = { x }
We can define a language by saying that any nonempty
string of alphabet letters is a word
L1 = { x, xx, xxx, xxxx, … } or
L1 = { xn for n = 1, 2, 3, … }
Note that because of the way we have defined it, the
language L1 does not include the null word Λ.
Theory Of Automata - Maths
16
17. EXAMPLE:
The language L of strings of odd length,
defined over Σ={a}, can be written as
L={a, aaa, aaaaa,…..}
Example:
The language L of strings that does not start
with a, defined over Σ={a,b,c}, can be written
as
L={b, c, ba, bb, bc, ca, cb, cc, …}
Theory Of Automata - Maths
17
18. EXAMPLE:
The language L of strings of length 2, defined
over Σ={0,1,2}, can be written as
L={00, 01, 02,10, 11,12,20,21,22}
Example:
The language L of strings ending in 0, defined
over Σ ={0,1}, can be written as
L={0,00,10,000,010,100,110,…}
Theory Of Automata - Maths
18
19. EXAMPLE:
The language EQUAL, of strings with
number of a’s equal to number of b’s, defined
over Σ={a,b}, can be written as
{Λ ,ab,aabb,abab,baba,abba,…}
The language EVEN-EVEN, of strings with
even number of a’s and even number of b’s,
defined over Σ={a,b}, can be written as
{Λ, aa, bb, aaaa,aabb,abab, abba, baab,
baba, bbaa, bbbb,…}
Theory Of Automata - Maths
19
20. CONCATENATION
Let us define an operation, concatenation, in which two strings are
written down side by side to form a new longer string.
xxx concatenated with xx is the word xxxxx
xn concatenated with xm is the word xn+m
For convenience, we may label a word in a given language by a new
symbol. For example,
xxx is called a, and xx is called b
Then to denote the word formed by concatenating a and b, we can
write
ab = xxxxx
It is not true that when two words are concatenated, they produce
another word. For example, if the language is
L2 = {x, xxx, xxxxx, …} = {x2n+1 for n = 0, 1, 2, …}
then a = xxx and b = xxxxx are both words in L2, but their
concatenation ab = xxxxxxxx is not in L2
Theory Of Automata - Maths
20
21. CONCATENATION MAKES NEW WORDS?
Note that in this simple example, we have:
ab = ba
But in general, this relationship does NOT hold for all
languages (e.g., houseboat and boathouse are two
different words in English).
Example: Consider another language by beginning with
the alphabet
∑ = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }
Define the language
L3 = { any finite string of alphabet letters that does not
start with the letter zero }
Theory Of Automata - Maths
21
22. This language L3 looks like the set of positive integers:
L3 = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, … }
If we want to define L3 so that it includes the string
(word) 0, we could say
L3 = { any finite string of alphabet letters that, if it starts
with a 0, has no more letters after the first}
Theory Of Automata - Maths
22
23. DEFINITION: LENGTH
We define the function length of a string to be the
number of letters in the string.
Example:
If a = xxxx in the language L1, then length(a) = 4
If c = 428 in the language L3, then length(c) = 3
If d = 0 in the language L3, then length(d) = 1
In any language that includes the null word Λ, then
length(Λ) = 0
For any word w in any language, if length(w) = 0 then w
= Λ.
Theory Of Automata - Maths
23
24. Recall that the language L1 does not contain the null
string Λ. Let us define a language like L1 but that does
contain Λ:
L4 = { Λ, x, xx, xxx, xxxx, … }
= { xn for n = 0, 1, 2, 3, … }
Here we have defined that
x0 = Λ (NOT x0 = 1 as in algebra)
In this way, xn always means the string of n alphabet
letters x’s.
Remember that even Λ is a word in the language, it is
not a letter in the alphabet.
Theory Of Automata - Maths
24
25. DEFINITION: REVERSE
If a is a word in some language L, then reverse(a) is the
same string of letters spelled backward, even if this
backward string is not a word in L.
Example:
reverse(xxx) = xxx
reverse(145) = 541
Note that 140 is a word in L3, but reverse(140) = 041 is NOT a
word in L3
Theory Of Automata - Maths
25
26. DEFINITION: PALINDROME
Let us define a new language called Palindrome over the
alphabet
∑ = { a, b }
PALINDROME = { Λ, and all strings x such that
reverse(x) = x }
If we want to list the elements in PALINDROME, we find
PALINDROME = { Λ, a, b, aa, bb, aaa, aba, bab, bbb,
aaaa, abba, … }
Theory Of Automata - Maths
26
27. PALINDROME
Sometimes two words in PALINDROME when
concatenated will produce a word in PALINDROME
abba concatenated with abbaabba gives abbaabbaabba (in
PALINDROME)
But more often, the concatenation is not a word in
PALINDROME
aa concatenated with aba gives aaaba (NOT in PALINDROME)
The language PALINDROME has interesting properties
that we shall examine later.
Theory Of Automata - Maths
27
28. TASK
Q) Prove that there are as many palindromes
of length 2n, defined over Σ = {a,b,c}, as
there are of length 2n-1, n = 1,2,3… .
Determine the number of palindromes of
length 2n defined over the same alphabet as
well.
Theory Of Automata - Maths
28
29. KLEENE CLOSURE
Definition: Given an alphabet ∑, we define a language in
which any string of letters from ∑ is a word, even the null
string Λ. We call this language the closure of the alphabet
∑, and denote this language by ∑*.
Examples:
If ∑ = { x } then ∑* = { Λ, x, xx, xxx, … }
If ∑ = { 0, 1 } then ∑* = { Λ, 0, 1, 00, 01, 10, 11,
000, 001, … }
If ∑ = { a, b, c } then ∑* = { Λ, a, b, c, aa, ab, ac,
ba, bb, bc, ca, cb, cc, aaa, … }
Theory Of Automata - Maths
29
30. LEXICOGRAPHIC ORDER
Notice that we listed the words in a language in size
order (i.e., words of shortest length first), and then listed
all the words of the same length alphabetically.
This ordering is called lexicographic order, which we
will usually follow.
The star in the closure notation is known as the Kleene
star.
We can think of the Kleene star as an operation that
makes, out of an alphabet, an infinite language (i.e.,
infinitely many words, each of finite length).
Theory Of Automata - Maths
30
31. KLEENE CLOSURE
Let us now generalize the use of the Kleene star oprator
to sets of words, not just sets of alphabet letters.
Definition: If S is a set of words, then S* is the set of all
finite strings formed by concatenating words from S,
where any word may be used as often as we like, and
where the null string Λ is also included.
Theory Of Automata - Maths
31
32. KLEENE CLOSURE
Example: If S = { aa, b } then
S* = { Λ plus any word composed of factors of aa and
b }, or
S* = { Λ plus any strings of a’s and b’s in which the a’s
occur in even clumps }, or
S* = { Λ, b, aa, bb, aab, baa, bbb, aaaa, aabb, baab,
bbaa, bbbb, aaaab, aabaa, aabbb, baaaa, baabb,
bbaab, bbbaa, bbbbb, … }
Note that the string aabaaab is not in S* because it has a
clump of a’s of length 3.
Theory Of Automata - Maths
32
33. KLEENE CLOSURE
Example: Let S = { a, ab }. Then
S* = { Λ plus any word composed of factors of a and ab
}, or
S* = { Λ plus all strings of a’s and b’s except those that
start with b and those that contain a double b }, or
S* = { Λ, a, aa, ab, aaa, aab, aba, aaaa, aaab, abaa,
abab, aaaaa, aaaab, aaaba, aabaa, aabab, abaaa,
abaab, ababa, … }
Note that for each word in S*, every b must have an a
immediately to its left, so the double b, that is bb, is not
possible; neither any string starting with b.
Theory Of Automata - Maths
33
34. We must show how it can be written as a concatenation
of words from the base set S.
In the previous example, to show that abaab is in S*, we
can factor it as follows:
abaab = (ab)(a)(ab)
These three factors are all in the set S, therefore their
concatenation is in S*.
Note that the parentheses, ( ), are used for the sole
purpose of demarcating the ends of factors.
Theory Of Automata - Maths
34
How to prove a certain word is in
the closure language S*
35. Observe that if the alphabet has no letters, then its
closure is the language with the null string as its only
word; that is
if ∑ = ø (the empty set), then ∑* = { Λ }
Also, observe that if the set S has the null string as its
only word, then the closure language S* also has the null
string as its only word; that is
if S = { Λ }, then S* = { Λ }
because ΛΛ = Λ.
Hence, the Kleene closure always produces an infinite
language unless the underlying set is one of the two
cases above.
Theory Of Automata - Maths
35
36. POSITIVE CLOSURE
If we wish to modify the concept of closure to refer only
the concatenation of some (not zero) strings from a
set S, we use the notation + instead of *.
This “plus operation” is called positive closure.
Example: if ∑ = { x } then ∑+ = { x, xx, xxx, … }
Observe that:
1. If S is a language that does not contain Λ, then S+ is
the language S* without the null word Λ.
2. If S is a language that does contain Λ, then S+ = S*
3. Likewise, if ∑ is an alphabet, then ∑+ is ∑* without the
word Λ.
Theory Of Automata - Maths
36
37. EXAMPLE
Defining language of EVEN
Step 1:
2 is in EVEN.
Step 2:
If x is in EVEN then x+2 and x-2 are also in
EVEN.
Step 3:
No strings except those constructed in
above, are allowed to be in EVEN.
Theory Of Automata - Maths
37
38. EXAMPLE
Defining the language factorial
Step 1:
As 0!=1, so 1 is in factorial.
Step 2:
n!=n*(n-1)! is in factorial.
Step 3:
No strings except those constructed in
above, are allowed to be in factorial.
Theory Of Automata - Maths
38
39. Defining the language PALINDROME,
defined over Σ = {a,b}
Step 1:
a and b are in PALINDROME
Step 2:
if x is palindrome, then s(x)Rev(s) and xx will
also be palindrome, where s belongs to Σ*
Step 3:
No strings except those constructed in
above, are allowed to be in palindrome
Theory Of Automata - Maths
39
40. Defining the language {an
bn
}, n=1,2,3,… ,
of strings defined over Σ={a,b}
Step 1:
ab is in {an
bn
}
Step 2:
if x is in {an
bn
}, then axb is in {an
bn
}
Step 3:
No strings except those constructed in
above, are allowed to be in {an
bn
}
Theory Of Automata - Maths
40
41. Defining the language L, of strings ending in
a , defined over Σ={a,b}
Step 1:
a is in L
Step 2:
if x is in L then s(x) is also in L, where s belongs
to Σ*
Step 3:
No strings except those constructed in
above, are allowed to be in L
Theory Of Automata - Maths
41
42. Defining the language L, of strings
beginning and ending in same letters ,
defined over Σ={a, b}
Step 1:
a and b are in L
Step 2:
(a)s(a) and (b)s(b) are also in L, where s
belongs to Σ*
Step 3:
No strings except those constructed in
above, are allowed to be in L
Theory Of Automata - Maths
42
43. Defining the language L, of strings
containing aa or bb , defined over Σ={a,
b}
Step 1:
aa and bb are in L
Step 2:
s(aa)s and s(bb)s are also in L, where s belongs
to Σ*
Step 3:
No strings except those constructed in
above, are allowed to be in L
Theory Of Automata - Maths
43
44. Defining the language L, of strings
containing exactly aa, defined over
Σ={a, b}
Step 1:
aa is in L
Step 2:
s(aa)s is also in L, where s belongs to b*
Step 3:
No strings except those constructed in
above, are allowed to be in L
Theory Of Automata - Maths
44