SlideShare a Scribd company logo
1 of 1
Download to read offline
Please provide a proof for each question.
1. Prove or disprove: every regular language is countable.
2. Prove or disprove: the set of all regular languages is countable.
3. Prove or disprove: the set of all languages is countable.
Solution
The set of regular languages is countable.
proof:
1)Each regular language is recognized by some DFA.
2)Each DFA has a finite description: states, start states,transitions.
3)Can write each of these using standard names for states, without changing the language.
4)Can enumerate these “standard form” DFAs in order of length.
5) Leads to an enumeration of the regular languages.
6)Since P(*), the set of all languages, is uncountable, whereas the set of regular languages is
countable, some language must be non-regular.
7)In fact, by considering different kinds of infinity, one can prove that “most” languages are
non-regular.
-----------------------------------------------------------------------------------------------------------

More Related Content

More from boothlynntur11512

In C program, how to write two short programs one which hides a sho.pdf
In C program, how to write two short programs one which hides a sho.pdfIn C program, how to write two short programs one which hides a sho.pdf
In C program, how to write two short programs one which hides a sho.pdf
boothlynntur11512
 
explain in details, auditing and its importanceSolutionANSWER.pdf
explain in details, auditing and its importanceSolutionANSWER.pdfexplain in details, auditing and its importanceSolutionANSWER.pdf
explain in details, auditing and its importanceSolutionANSWER.pdf
boothlynntur11512
 
Discuss the differences between attributes and characteristics of sy.pdf
Discuss the differences between attributes and characteristics of sy.pdfDiscuss the differences between attributes and characteristics of sy.pdf
Discuss the differences between attributes and characteristics of sy.pdf
boothlynntur11512
 
Define the terminology (10 words) common to the immune system and th.pdf
Define the terminology (10 words) common to the immune system and th.pdfDefine the terminology (10 words) common to the immune system and th.pdf
Define the terminology (10 words) common to the immune system and th.pdf
boothlynntur11512
 
Create two linked lists each having eight nodes…..the first list has.pdf
Create two linked lists each having eight nodes…..the first list has.pdfCreate two linked lists each having eight nodes…..the first list has.pdf
Create two linked lists each having eight nodes…..the first list has.pdf
boothlynntur11512
 
Chrome File Edit View History Bookmarks People Window He.pdf
Chrome File Edit View History Bookmarks People Window He.pdfChrome File Edit View History Bookmarks People Window He.pdf
Chrome File Edit View History Bookmarks People Window He.pdf
boothlynntur11512
 
Chapter 12 Information Systems, Read this book Computer Science Illu.pdf
Chapter 12 Information Systems, Read this book Computer Science Illu.pdfChapter 12 Information Systems, Read this book Computer Science Illu.pdf
Chapter 12 Information Systems, Read this book Computer Science Illu.pdf
boothlynntur11512
 
Write a Java program that creates a drawing area of appropriate size.pdf
Write a Java program that creates a drawing area of appropriate size.pdfWrite a Java program that creates a drawing area of appropriate size.pdf
Write a Java program that creates a drawing area of appropriate size.pdf
boothlynntur11512
 

More from boothlynntur11512 (20)

Lean methodology as it is practiced today can be traced back to Mot.pdf
Lean methodology as it is practiced today can be traced back to  Mot.pdfLean methodology as it is practiced today can be traced back to  Mot.pdf
Lean methodology as it is practiced today can be traced back to Mot.pdf
 
is about coping with complexity andis about coping with c.pdf
is about coping with complexity andis about coping with c.pdfis about coping with complexity andis about coping with c.pdf
is about coping with complexity andis about coping with c.pdf
 
In C program, how to write two short programs one which hides a sho.pdf
In C program, how to write two short programs one which hides a sho.pdfIn C program, how to write two short programs one which hides a sho.pdf
In C program, how to write two short programs one which hides a sho.pdf
 
How important is cloud for GraybarSolution You may have.pdf
How important is cloud for GraybarSolution You may have.pdfHow important is cloud for GraybarSolution You may have.pdf
How important is cloud for GraybarSolution You may have.pdf
 
give me a list of positive risk factors for a charitySolutiont.pdf
give me a list of positive risk factors for a charitySolutiont.pdfgive me a list of positive risk factors for a charitySolutiont.pdf
give me a list of positive risk factors for a charitySolutiont.pdf
 
explain in details, auditing and its importanceSolutionANSWER.pdf
explain in details, auditing and its importanceSolutionANSWER.pdfexplain in details, auditing and its importanceSolutionANSWER.pdf
explain in details, auditing and its importanceSolutionANSWER.pdf
 
Discuss the differences between attributes and characteristics of sy.pdf
Discuss the differences between attributes and characteristics of sy.pdfDiscuss the differences between attributes and characteristics of sy.pdf
Discuss the differences between attributes and characteristics of sy.pdf
 
Define the terminology (10 words) common to the immune system and th.pdf
Define the terminology (10 words) common to the immune system and th.pdfDefine the terminology (10 words) common to the immune system and th.pdf
Define the terminology (10 words) common to the immune system and th.pdf
 
Describe five robot application areas for vision systems. (Select fiv.pdf
Describe five robot application areas for vision systems. (Select fiv.pdfDescribe five robot application areas for vision systems. (Select fiv.pdf
Describe five robot application areas for vision systems. (Select fiv.pdf
 
Cousin Vinnie is a shareholder and an employee in the family busines.pdf
Cousin Vinnie is a shareholder and an employee in the family busines.pdfCousin Vinnie is a shareholder and an employee in the family busines.pdf
Cousin Vinnie is a shareholder and an employee in the family busines.pdf
 
Create two linked lists each having eight nodes…..the first list has.pdf
Create two linked lists each having eight nodes…..the first list has.pdfCreate two linked lists each having eight nodes…..the first list has.pdf
Create two linked lists each having eight nodes…..the first list has.pdf
 
Chrome File Edit View History Bookmarks People Window He.pdf
Chrome File Edit View History Bookmarks People Window He.pdfChrome File Edit View History Bookmarks People Window He.pdf
Chrome File Edit View History Bookmarks People Window He.pdf
 
Chapter 12 Information Systems, Read this book Computer Science Illu.pdf
Chapter 12 Information Systems, Read this book Computer Science Illu.pdfChapter 12 Information Systems, Read this book Computer Science Illu.pdf
Chapter 12 Information Systems, Read this book Computer Science Illu.pdf
 
×y Connect nect Securehttpsnewcon connect.html 11.pdf
×y Connect nect Securehttpsnewcon connect.html 11.pdf×y Connect nect Securehttpsnewcon connect.html 11.pdf
×y Connect nect Securehttpsnewcon connect.html 11.pdf
 
You are instructing a class of high school students on different wir.pdf
You are instructing a class of high school students on different wir.pdfYou are instructing a class of high school students on different wir.pdf
You are instructing a class of high school students on different wir.pdf
 
Write a Java program that creates a drawing area of appropriate size.pdf
Write a Java program that creates a drawing area of appropriate size.pdfWrite a Java program that creates a drawing area of appropriate size.pdf
Write a Java program that creates a drawing area of appropriate size.pdf
 
Why is it that bacterial ribosomes can begin translation before mRNA .pdf
Why is it that bacterial ribosomes can begin translation before mRNA .pdfWhy is it that bacterial ribosomes can begin translation before mRNA .pdf
Why is it that bacterial ribosomes can begin translation before mRNA .pdf
 
Which of the statements below is FALSE 1 Common stocks ownership c.pdf
Which of the statements below is FALSE 1 Common stocks ownership c.pdfWhich of the statements below is FALSE 1 Common stocks ownership c.pdf
Which of the statements below is FALSE 1 Common stocks ownership c.pdf
 
Which of the following is NOT part of the information about foreign o.pdf
Which of the following is NOT part of the information about foreign o.pdfWhich of the following is NOT part of the information about foreign o.pdf
Which of the following is NOT part of the information about foreign o.pdf
 
What is the yield curve Why is the yield curve considered a leading.pdf
What is the yield curve Why is the yield curve considered a leading.pdfWhat is the yield curve Why is the yield curve considered a leading.pdf
What is the yield curve Why is the yield curve considered a leading.pdf
 

Recently uploaded

Salient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsSalient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functions
KarakKing
 

Recently uploaded (20)

UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
 
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
 
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptxExploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
 
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
 
Application orientated numerical on hev.ppt
Application orientated numerical on hev.pptApplication orientated numerical on hev.ppt
Application orientated numerical on hev.ppt
 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docx
 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdf
 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.
 
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
 
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxCOMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan Fellows
 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibit
 
Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024
 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
 
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptx
 
Salient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsSalient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functions
 

Please provide a proof for each question.1. Prove or disprove eve.pdf

  • 1. Please provide a proof for each question. 1. Prove or disprove: every regular language is countable. 2. Prove or disprove: the set of all regular languages is countable. 3. Prove or disprove: the set of all languages is countable. Solution The set of regular languages is countable. proof: 1)Each regular language is recognized by some DFA. 2)Each DFA has a finite description: states, start states,transitions. 3)Can write each of these using standard names for states, without changing the language. 4)Can enumerate these “standard form” DFAs in order of length. 5) Leads to an enumeration of the regular languages. 6)Since P(*), the set of all languages, is uncountable, whereas the set of regular languages is countable, some language must be non-regular. 7)In fact, by considering different kinds of infinity, one can prove that “most” languages are non-regular. -----------------------------------------------------------------------------------------------------------