Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

P2 [15x4 points] Determine whether the following languages are decidable or undecidable ( 3p) and prove your answer (12p). (a) CONTAINS-ALL-ONE-SERIES SCFG={GG is a CFG

image text in transcribed

P2 [15x4 points] Determine whether the following languages are decidable or undecidable ( 3p) and prove your answer (12p). (a) CONTAINS-ALL-ONE-SERIES SCFG={GG is a CFG over {0,1} and 1L(G)}. (In other words, this language contains only the representations of the CFGs whose language contains all strings in the form 1 ). (15p) (b) {DD is a DFA that does not accept any string x{0,1} containing an odd number of 0 s }. (15p) (c) INFINITE TM={MM is a TM and L(M) is an infinite language }. (15p) (d) ENEMY YTM={M1,M2M1 and M2 are TMs such that M1 accepts an input string if and only if M2 rejects it }. (15p)

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image_2

Step: 3

blur-text-image_3

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Databases In Networked Information Systems 6th International Workshop Dnis 2010 Aizu Wakamatsu Japan March 2010 Proceedings Lncs 5999

Authors: Shinji Kikuchi ,Shelly Sachdeva ,Subhash Bhalla

2010th Edition

3642120377, 978-3642120374

More Books

Students also viewed these Databases questions