SlideShare uma empresa Scribd logo
1 de 1
Let be a finite alphabet. Two languages L1, L2 are many-one equivalent, denoted L1 m L2, if L1
m L2 and L2 m L1. L1 is a proper subset of L2, denoted L1 L2, if L1 L2 and L1 6= L2. Prove or
disprove the following conjectures.
2 Conjecture. L1 RE and L2 RE and L1 and L2 = L1 m L2.
Solution
Given statement: L1 RE and L2 RE and L1 and L2 = L1 m L2
As in the question, we have clear explaination regarding many-one equivalent. be a finite
alphabet. Two languages L1, L2 are many-one equivalent, denoted L1 m L2, if L1 m L2 and L2
m L1. L1 is a proper subset of L2, denoted L1 L2, if L1 L2 and L1 = L2.
So , As  L1 RE and L2 RE these are both subset of all finite alphabets. As both languages are
proper subsets of finite alphabets. So they are many-one equivalent. So it holds the conjecture
L1 and L2 = L1 m L2

Mais conteúdo relacionado

Semelhante a Let be a finite alphabet- Two languages L1- L2 are many-one equiva.docx

Final formal languages
Final formal languagesFinal formal languages
Final formal languagesMegha Khanna
 
Filosofia limbajului - curs 13
Filosofia limbajului - curs 13Filosofia limbajului - curs 13
Filosofia limbajului - curs 13Gramo S World
 
Lecture 1,2
Lecture 1,2Lecture 1,2
Lecture 1,2shah zeb
 
Stage 8 & 10 grammar notes positive comparative superlative adjectives 1 ...
Stage 8 & 10 grammar notes positive comparative superlative adjectives 1 ...Stage 8 & 10 grammar notes positive comparative superlative adjectives 1 ...
Stage 8 & 10 grammar notes positive comparative superlative adjectives 1 ...rachel690448
 
Select ALL of the statements below which are TRUE- a) Consider a langu.docx
Select ALL of the statements below which are TRUE- a) Consider a langu.docxSelect ALL of the statements below which are TRUE- a) Consider a langu.docx
Select ALL of the statements below which are TRUE- a) Consider a langu.docxdarlened3
 
Equivalencein translation
Equivalencein translationEquivalencein translation
Equivalencein translationDorina Moisa
 
Formal language
Formal languageFormal language
Formal languageRajendran
 
Ch3 4 regular expression and grammar
Ch3 4 regular expression and grammarCh3 4 regular expression and grammar
Ch3 4 regular expression and grammarmeresie tesfay
 
Contrastive analysis- Shaim Chaudry
Contrastive analysis- Shaim ChaudryContrastive analysis- Shaim Chaudry
Contrastive analysis- Shaim ChaudryMuhammadShaimMajeed
 

Semelhante a Let be a finite alphabet- Two languages L1- L2 are many-one equiva.docx (19)

Final formal languages
Final formal languagesFinal formal languages
Final formal languages
 
Filosofia limbajului - curs 13
Filosofia limbajului - curs 13Filosofia limbajului - curs 13
Filosofia limbajului - curs 13
 
Syntax turn paper
Syntax turn paperSyntax turn paper
Syntax turn paper
 
Lecture 1,2
Lecture 1,2Lecture 1,2
Lecture 1,2
 
Stage 8 & 10 grammar notes positive comparative superlative adjectives 1 ...
Stage 8 & 10 grammar notes positive comparative superlative adjectives 1 ...Stage 8 & 10 grammar notes positive comparative superlative adjectives 1 ...
Stage 8 & 10 grammar notes positive comparative superlative adjectives 1 ...
 
Select ALL of the statements below which are TRUE- a) Consider a langu.docx
Select ALL of the statements below which are TRUE- a) Consider a langu.docxSelect ALL of the statements below which are TRUE- a) Consider a langu.docx
Select ALL of the statements below which are TRUE- a) Consider a langu.docx
 
Basic Grammar
Basic GrammarBasic Grammar
Basic Grammar
 
Regular expression
Regular expressionRegular expression
Regular expression
 
Lsa2+Sherpa+06
Lsa2+Sherpa+06Lsa2+Sherpa+06
Lsa2+Sherpa+06
 
Ch11.ppt
Ch11.pptCh11.ppt
Ch11.ppt
 
Ch11.ppt
Ch11.pptCh11.ppt
Ch11.ppt
 
Equivalencein translation
Equivalencein translationEquivalencein translation
Equivalencein translation
 
Formal language
Formal languageFormal language
Formal language
 
Ch3 4 regular expression and grammar
Ch3 4 regular expression and grammarCh3 4 regular expression and grammar
Ch3 4 regular expression and grammar
 
Beyond Words
Beyond WordsBeyond Words
Beyond Words
 
Lição nº1
Lição nº1Lição nº1
Lição nº1
 
Phonology i
Phonology iPhonology i
Phonology i
 
Contrastive analysis- Shaim Chaudry
Contrastive analysis- Shaim ChaudryContrastive analysis- Shaim Chaudry
Contrastive analysis- Shaim Chaudry
 
vlang
vlangvlang
vlang
 

Mais de rtodd65

Justin Cement Company has had the following pattern of earnings per sh.docx
Justin Cement Company has had the following pattern of earnings per sh.docxJustin Cement Company has had the following pattern of earnings per sh.docx
Justin Cement Company has had the following pattern of earnings per sh.docxrtodd65
 
Jupiters moon Io was discovered to have high concentrations of sulfur.docx
Jupiters moon Io was discovered to have high concentrations of sulfur.docxJupiters moon Io was discovered to have high concentrations of sulfur.docx
Jupiters moon Io was discovered to have high concentrations of sulfur.docxrtodd65
 
java REQUIRES try-catch to be used with file operations- Do you unders.docx
java REQUIRES try-catch to be used with file operations- Do you unders.docxjava REQUIRES try-catch to be used with file operations- Do you unders.docx
java REQUIRES try-catch to be used with file operations- Do you unders.docxrtodd65
 
java question write a program that reads 10 integers from the keyboard.docx
java question write a program that reads 10 integers from the keyboard.docxjava question write a program that reads 10 integers from the keyboard.docx
java question write a program that reads 10 integers from the keyboard.docxrtodd65
 
Java ProgrammingSolutionJava is a general-purpose computer programming.docx
Java ProgrammingSolutionJava is a general-purpose computer programming.docxJava ProgrammingSolutionJava is a general-purpose computer programming.docx
Java ProgrammingSolutionJava is a general-purpose computer programming.docxrtodd65
 
Java Programming- How do you go about debugging your code- What is the.docx
Java Programming- How do you go about debugging your code- What is the.docxJava Programming- How do you go about debugging your code- What is the.docx
Java Programming- How do you go about debugging your code- What is the.docxrtodd65
 
Jack is sitting on a plank of uniform wood of length L that his dad an.docx
Jack is sitting on a plank of uniform wood of length L that his dad an.docxJack is sitting on a plank of uniform wood of length L that his dad an.docx
Jack is sitting on a plank of uniform wood of length L that his dad an.docxrtodd65
 
Janicex Co- is growing quickly- Dividends are expected to grow at a ra.docx
Janicex Co- is growing quickly- Dividends are expected to grow at a ra.docxJanicex Co- is growing quickly- Dividends are expected to grow at a ra.docx
Janicex Co- is growing quickly- Dividends are expected to grow at a ra.docxrtodd65
 
Laura is a senior manager at Pine and Acorn Consultancy- Following the.docx
Laura is a senior manager at Pine and Acorn Consultancy- Following the.docxLaura is a senior manager at Pine and Acorn Consultancy- Following the.docx
Laura is a senior manager at Pine and Acorn Consultancy- Following the.docxrtodd65
 
java! what is the advantage of byte based files over character based f.docx
java! what is the advantage of byte based files over character based f.docxjava! what is the advantage of byte based files over character based f.docx
java! what is the advantage of byte based files over character based f.docxrtodd65
 
Label the DNA molecule- Hydrogen bond Phosphate group Phosphodiester b.docx
Label the DNA molecule- Hydrogen bond Phosphate group Phosphodiester b.docxLabel the DNA molecule- Hydrogen bond Phosphate group Phosphodiester b.docx
Label the DNA molecule- Hydrogen bond Phosphate group Phosphodiester b.docxrtodd65
 
Kumar Innovation Co had the following line item on its 12-31-2014 Bala.docx
Kumar Innovation Co had the following line item on its 12-31-2014 Bala.docxKumar Innovation Co had the following line item on its 12-31-2014 Bala.docx
Kumar Innovation Co had the following line item on its 12-31-2014 Bala.docxrtodd65
 
Item 10 Part A Constants I Periodik Table Where is the image located-.docx
Item 10 Part A Constants I Periodik Table Where is the image located-.docxItem 10 Part A Constants I Periodik Table Where is the image located-.docx
Item 10 Part A Constants I Periodik Table Where is the image located-.docxrtodd65
 

Mais de rtodd65 (13)

Justin Cement Company has had the following pattern of earnings per sh.docx
Justin Cement Company has had the following pattern of earnings per sh.docxJustin Cement Company has had the following pattern of earnings per sh.docx
Justin Cement Company has had the following pattern of earnings per sh.docx
 
Jupiters moon Io was discovered to have high concentrations of sulfur.docx
Jupiters moon Io was discovered to have high concentrations of sulfur.docxJupiters moon Io was discovered to have high concentrations of sulfur.docx
Jupiters moon Io was discovered to have high concentrations of sulfur.docx
 
java REQUIRES try-catch to be used with file operations- Do you unders.docx
java REQUIRES try-catch to be used with file operations- Do you unders.docxjava REQUIRES try-catch to be used with file operations- Do you unders.docx
java REQUIRES try-catch to be used with file operations- Do you unders.docx
 
java question write a program that reads 10 integers from the keyboard.docx
java question write a program that reads 10 integers from the keyboard.docxjava question write a program that reads 10 integers from the keyboard.docx
java question write a program that reads 10 integers from the keyboard.docx
 
Java ProgrammingSolutionJava is a general-purpose computer programming.docx
Java ProgrammingSolutionJava is a general-purpose computer programming.docxJava ProgrammingSolutionJava is a general-purpose computer programming.docx
Java ProgrammingSolutionJava is a general-purpose computer programming.docx
 
Java Programming- How do you go about debugging your code- What is the.docx
Java Programming- How do you go about debugging your code- What is the.docxJava Programming- How do you go about debugging your code- What is the.docx
Java Programming- How do you go about debugging your code- What is the.docx
 
Jack is sitting on a plank of uniform wood of length L that his dad an.docx
Jack is sitting on a plank of uniform wood of length L that his dad an.docxJack is sitting on a plank of uniform wood of length L that his dad an.docx
Jack is sitting on a plank of uniform wood of length L that his dad an.docx
 
Janicex Co- is growing quickly- Dividends are expected to grow at a ra.docx
Janicex Co- is growing quickly- Dividends are expected to grow at a ra.docxJanicex Co- is growing quickly- Dividends are expected to grow at a ra.docx
Janicex Co- is growing quickly- Dividends are expected to grow at a ra.docx
 
Laura is a senior manager at Pine and Acorn Consultancy- Following the.docx
Laura is a senior manager at Pine and Acorn Consultancy- Following the.docxLaura is a senior manager at Pine and Acorn Consultancy- Following the.docx
Laura is a senior manager at Pine and Acorn Consultancy- Following the.docx
 
java! what is the advantage of byte based files over character based f.docx
java! what is the advantage of byte based files over character based f.docxjava! what is the advantage of byte based files over character based f.docx
java! what is the advantage of byte based files over character based f.docx
 
Label the DNA molecule- Hydrogen bond Phosphate group Phosphodiester b.docx
Label the DNA molecule- Hydrogen bond Phosphate group Phosphodiester b.docxLabel the DNA molecule- Hydrogen bond Phosphate group Phosphodiester b.docx
Label the DNA molecule- Hydrogen bond Phosphate group Phosphodiester b.docx
 
Kumar Innovation Co had the following line item on its 12-31-2014 Bala.docx
Kumar Innovation Co had the following line item on its 12-31-2014 Bala.docxKumar Innovation Co had the following line item on its 12-31-2014 Bala.docx
Kumar Innovation Co had the following line item on its 12-31-2014 Bala.docx
 
Item 10 Part A Constants I Periodik Table Where is the image located-.docx
Item 10 Part A Constants I Periodik Table Where is the image located-.docxItem 10 Part A Constants I Periodik Table Where is the image located-.docx
Item 10 Part A Constants I Periodik Table Where is the image located-.docx
 

Último

Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsTechSoup
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeThiyagu K
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAssociation for Project Management
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationnomboosow
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Celine George
 
Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104misteraugie
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfJayanti Pande
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdfQucHHunhnh
 
social pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajansocial pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajanpragatimahajan3
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfchloefrazer622
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphThiyagu K
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)eniolaolutunde
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13Steve Thomason
 
Class 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfClass 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfAyushMahapatra5
 
9548086042 for call girls in Indira Nagar with room service
9548086042  for call girls in Indira Nagar  with room service9548086042  for call girls in Indira Nagar  with room service
9548086042 for call girls in Indira Nagar with room servicediscovermytutordmt
 
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.pdfAdmir Softic
 
fourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingfourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingTeacherCyreneCayanan
 

Último (20)

Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and Mode
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across Sectors
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communication
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17
 
Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
 
social pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajansocial pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajan
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot Graph
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13
 
Class 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfClass 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdf
 
9548086042 for call girls in Indira Nagar with room service
9548086042  for call girls in Indira Nagar  with room service9548086042  for call girls in Indira Nagar  with room service
9548086042 for call girls in Indira Nagar with room service
 
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
 
fourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingfourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writing
 
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
 

Let be a finite alphabet- Two languages L1- L2 are many-one equiva.docx

  • 1. Let be a finite alphabet. Two languages L1, L2 are many-one equivalent, denoted L1 m L2, if L1 m L2 and L2 m L1. L1 is a proper subset of L2, denoted L1 L2, if L1 L2 and L1 6= L2. Prove or disprove the following conjectures. 2 Conjecture. L1 RE and L2 RE and L1 and L2 = L1 m L2. Solution Given statement: L1 RE and L2 RE and L1 and L2 = L1 m L2 As in the question, we have clear explaination regarding many-one equivalent. be a finite alphabet. Two languages L1, L2 are many-one equivalent, denoted L1 m L2, if L1 m L2 and L2 m L1. L1 is a proper subset of L2, denoted L1 L2, if L1 L2 and L1 = L2. So , As  L1 RE and L2 RE these are both subset of all finite alphabets. As both languages are proper subsets of finite alphabets. So they are many-one equivalent. So it holds the conjecture L1 and L2 = L1 m L2