Finding languages such that $L_1subset L_2subset L_3$ where $L_1,L_3notin$ RE and $L_2in$ R [duplicate]












1












$begingroup$



This question is an exact duplicate of:




  • Finding languages such that $L_{1} subseteq L_{2} subseteq L_{3}$ where $L_{1}, L_{3} notin mathbb{R}$, $L_{2} in mathbb{R}$

    1 answer




I am struggling to find such languages $L_1$, $L_2$, and $L_3$ such that
$L_1subset L_2subset L_3$
where $L_1,L_3notin$ RE and $L_2in$ R.



I know they exist, I need help finding them.






computability formal-languages automata turing-machines







share|cite|improve this question











$endgroup$



marked as duplicate by amWhy, jgon, zipirovich, Surb, Math1000 Jan 9 at 21:04


This question was marked as an exact duplicate of an existing question.























    1












    $begingroup$



    This question is an exact duplicate of:




    • Finding languages such that $L_{1} subseteq L_{2} subseteq L_{3}$ where $L_{1}, L_{3} notin mathbb{R}$, $L_{2} in mathbb{R}$

      1 answer




    I am struggling to find such languages $L_1$, $L_2$, and $L_3$ such that
    $L_1subset L_2subset L_3$
    where $L_1,L_3notin$ RE and $L_2in$ R.



    I know they exist, I need help finding them.






    computability formal-languages automata turing-machines







    share|cite|improve this question











    $endgroup$



    marked as duplicate by amWhy, jgon, zipirovich, Surb, Math1000 Jan 9 at 21:04


    This question was marked as an exact duplicate of an existing question.





















      1












      1








      1





      $begingroup$



      This question is an exact duplicate of:




      • Finding languages such that $L_{1} subseteq L_{2} subseteq L_{3}$ where $L_{1}, L_{3} notin mathbb{R}$, $L_{2} in mathbb{R}$

        1 answer




      I am struggling to find such languages $L_1$, $L_2$, and $L_3$ such that
      $L_1subset L_2subset L_3$
      where $L_1,L_3notin$ RE and $L_2in$ R.



      I know they exist, I need help finding them.






      computability formal-languages automata turing-machines







      share|cite|improve this question











      $endgroup$





      This question is an exact duplicate of:




      • Finding languages such that $L_{1} subseteq L_{2} subseteq L_{3}$ where $L_{1}, L_{3} notin mathbb{R}$, $L_{2} in mathbb{R}$

        1 answer




      I am struggling to find such languages $L_1$, $L_2$, and $L_3$ such that
      $L_1subset L_2subset L_3$
      where $L_1,L_3notin$ RE and $L_2in$ R.



      I know they exist, I need help finding them.





      This question is an exact duplicate of:




      • Finding languages such that $L_{1} subseteq L_{2} subseteq L_{3}$ where $L_{1}, L_{3} notin mathbb{R}$, $L_{2} in mathbb{R}$

        1 answer







      computability formal-languages automata turing-machines




      computability formal-languages automata turing-machines






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 9 at 19:52









      Surb

      37.7k94375




      37.7k94375










      asked Jan 9 at 17:39









      Tomer LevyTomer Levy

      406




      406




      marked as duplicate by amWhy, jgon, zipirovich, Surb, Math1000 Jan 9 at 21:04


      This question was marked as an exact duplicate of an existing question.









      marked as duplicate by amWhy, jgon, zipirovich, Surb, Math1000 Jan 9 at 21:04


      This question was marked as an exact duplicate of an existing question.
























          1 Answer
          1






          active

          oldest

          votes


















          0












          $begingroup$

          Let $L$ be some language not in RE. Take





          • $L_1 = 0L$.


          • $L_2 = 0Sigma^*$.


          • $L_3 = 0Sigma^* cup 1L$.






          share|cite|improve this answer









          $endgroup$




















            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            0












            $begingroup$

            Let $L$ be some language not in RE. Take





            • $L_1 = 0L$.


            • $L_2 = 0Sigma^*$.


            • $L_3 = 0Sigma^* cup 1L$.






            share|cite|improve this answer









            $endgroup$


















              0












              $begingroup$

              Let $L$ be some language not in RE. Take





              • $L_1 = 0L$.


              • $L_2 = 0Sigma^*$.


              • $L_3 = 0Sigma^* cup 1L$.






              share|cite|improve this answer









              $endgroup$
















                0












                0








                0





                $begingroup$

                Let $L$ be some language not in RE. Take





                • $L_1 = 0L$.


                • $L_2 = 0Sigma^*$.


                • $L_3 = 0Sigma^* cup 1L$.






                share|cite|improve this answer









                $endgroup$



                Let $L$ be some language not in RE. Take





                • $L_1 = 0L$.


                • $L_2 = 0Sigma^*$.


                • $L_3 = 0Sigma^* cup 1L$.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Jan 9 at 19:49









                Yuval FilmusYuval Filmus

                48.5k471144




                48.5k471144















                    Popular posts from this blog

                    MongoDB - Not Authorized To Execute Command

                    Image
                    .everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 I have successfully enabled authorization on MongoDB and I have created an account on the admin database and then I created an account for my database called test. The following connection string to connect to my test database works successfully: mongo --host 192.168.17.52 --port 27017 -u user1 -p password --authenticationDatabase test Only problem I have now is, I cannot execute commands such as: show dbs. I get the following error when I try to do so: "errmsg" : "not authorized on admin to execute command { listDatabases: 1.0, lsid: { id: UUID("a1d5bc0d-bc58-485e-b232-270758a89455") }, $db: "admin...
                    Read more

                    How to fix TextFormField cause rebuild widget in Flutter

                    Image
                    .everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 I've got the same issue at #9280. I tried all solutions from that topic with/without GlobalKey for Scaffold and Form but the problem wasn't fixed. I tried to build a authentication form with login and signup. But the keyboard doesn't show when I tap the TextFormField at the first time. Then I try to input some letter from physical keyboard, the widget is rebuilt. Like this: login screen Nothing to be log when I run flutter run --verbose, so I logged manually. Every tapping on field, the widget called dispose -> init -> build. [√] Flutter (Channel beta, v1.0.0, on Microsoft Windows [Version 10.0.17763.195], ...
                    Read more

                    in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith

                    Image
                    1 I tried to upgrade a yummy sandwich made of two test slices (@JsonTest and @JdbcTest in my case, crunchy test code in between) adding spring boot 2.1 flavour to it. But it seems it was not much of a success. I cannot annotate my tests with many @...Test since they are now each bringing their own XxxTestContextBootstrapper. It used to work when they all used same SpringBootTestContextBootstrapper. @RunWith(SpringRunner.class) @JdbcTest @JsonTest public class Test { @Test public void test() { System.out.printn("Hello, World !"); } } The error I get from BootstrapUtils is illegalStateException : Configuration error: found multiple declarations of @BootstrapWith for test class I understand I might be doing something wrong here but is there an easy way I could load both Json and Jdbc contex...
                    Read more