Chris Marriott - Computer Science
Chris Marriott - Computer Science
  • 241
  • 345 547

Відео

Turing Reductions and Undecidability - Theory of Computing
Переглядів 2365 місяців тому
In this video I show how Turing reductions can be used to show that languages are undecidable.
Universal Turing Machines and an Undecidable Language - Theory of Computing
Переглядів 1376 місяців тому
In this video I explore the language A_TM and show it is recognizable, but not decidable.
Countable and Uncountable Infinity - Theory of Computing
Переглядів 826 місяців тому
In this video I present the difference between countable and uncountable infinity.
The Turing-Decidable Languages - Theory of Computing
Переглядів 1506 місяців тому
In this video I show a number of different languages are decidable.
The Church-Turing Thesis - Theory of Computing
Переглядів 1486 місяців тому
In this video I discuss the Church-Turing Thesis and what it means for computability.
Turing Machine Variants - Theory of Computing
Переглядів 1186 місяців тому
In this video I consider a number of variants of a Turing machine and demonstrate that many of them are equivalent in power.
Pseudocode for Turing Machines - Theory of Computing
Переглядів 2246 місяців тому
In this video I present the common way of programming Turing machines with pseudocode.
Formal Definition of Turing Machine - Theory of Computing
Переглядів 2836 місяців тому
In this video I present the formal definition of Turing machines and some of the concepts related to them.
Turing Machines - Exercise - Theory of Computing
Переглядів 1746 місяців тому
In this video I build a few state diagrams for Turing machines to decide languages.
Turing Machines - Theory of Computing
Переглядів 1996 місяців тому
In this video I introduce Turing machines.
Pumping Lemma for Context Free Languages - Exercise - Theory of Computing
Переглядів 1297 місяців тому
In this video I show two languages are not context free using the pumping lemma.
The Pumping Lemma for Context Free Languages - Theory of Computing
Переглядів 2267 місяців тому
In this video I introduce the pumping lemma for context free languages and show our first language is not context free.
Converting pushdown automata to context free grammars - Theory of Computing
Переглядів 1337 місяців тому
In this video I show how a pushdown automaton can be converted to a context free grammar.
Converting context free grammars to pushdown automata - Theory of Computing
Переглядів 2437 місяців тому
In this video I show context free grammars can be converted into pushdown automata.
Pushdown Automaton - Exercise - Theory of Computing
Переглядів 1,1 тис.7 місяців тому
Pushdown Automaton - Exercise - Theory of Computing
Pushdown Automata - Theory of Computing
Переглядів 8167 місяців тому
Pushdown Automata - Theory of Computing
Converting a CFG to Chomsky Normal Form - Exercise - Theory of Computing
Переглядів 4217 місяців тому
Converting a CFG to Chomsky Normal Form - Exercise - Theory of Computing
CFGs and Chomsky Normal Form - Theory of Computing
Переглядів 1117 місяців тому
CFGs and Chomsky Normal Form - Theory of Computing
Ambiguity in Context Free Grammars - Theory of Computing
Переглядів 837 місяців тому
Ambiguity in Context Free Grammars - Theory of Computing
The Context Free Languages - Theory of Computing
Переглядів 677 місяців тому
The Context Free Languages - Theory of Computing
Context Free Grammars - Exercise - Theory of Computing
Переглядів 1267 місяців тому
Context Free Grammars - Exercise - Theory of Computing
Context Free Grammars - Theory of Computing
Переглядів 1187 місяців тому
Context Free Grammars - Theory of Computing
Pumping Lemma for Regular Languages - Exercise 2 - Theory of Computing
Переглядів 1177 місяців тому
Pumping Lemma for Regular Languages - Exercise 2 - Theory of Computing
Pumping Lemma for Regular Languages - Exercise - Theory of Computing
Переглядів 2328 місяців тому
Pumping Lemma for Regular Languages - Exercise - Theory of Computing
The Pumping Lemma for Regular Languages - Theory of Computing
Переглядів 1858 місяців тому
The Pumping Lemma for Regular Languages - Theory of Computing
Converting NFAs to REs - Exercise - Theory of Computing
Переглядів 1279 місяців тому
Converting NFAs to REs - Exercise - Theory of Computing
Regular Expressions and Regular Languages - Theory of Computing
Переглядів 5079 місяців тому
Regular Expressions and Regular Languages - Theory of Computing
Regular Expressions - Exercise - Theory of Computing
Переглядів 6189 місяців тому
Regular Expressions - Exercise - Theory of Computing
Regular Expressions - Theory of Computing
Переглядів 2129 місяців тому
Regular Expressions - Theory of Computing

КОМЕНТАРІ

  • @Night-io2hr
    @Night-io2hr 7 днів тому

    Good day, Sir. I am confused with the phrase structure of L4 and L5 in this video. L4=string w has four 0 's , L5=string w has two 0's and two 1's. Both phrase structure is the same (string w has (how many) 0's/0's and 1's) . L4 we accept ans with not only four 0 like 110000,0011100,... while for L5 ,why the string should be exactly or has only 0011 / 1100, answer like 111110011,000011(also got two 0 and 1) is not considered. Hope can get some inspiration from Sir. Thanks!

  • @MobilelegendsMoba-x3y
    @MobilelegendsMoba-x3y 14 днів тому

    bro can u increases the volume . just by 25%. im on my laptop. trying to finish ur playlist in 3 days.

  • @crisrojas2130
    @crisrojas2130 15 днів тому

    great explanation. IT finally. makes sense :)

  • @Icantwiththisnamealredytaken
    @Icantwiththisnamealredytaken 18 днів тому

    Omg I have been searching for an hour and finally found what I needed so much, other videos don't show this solution thank you so much you are a saviour ❤❤

  • @snakiestcarrot200
    @snakiestcarrot200 21 день тому

    Is the bucket size arbitrary? Here you have 4 entries per bucket, in my course they use examples of bucket size 2. Is it just arbitrary and therefore should be clear on a potential question?

    • @chrismarriott-CS
      @chrismarriott-CS 21 день тому

      Yes, the bucket size is arbitrary. In practice bucket size tends to be very large, which is why we use sizes like 2 or 4 for examples and exams.

    • @snakiestcarrot200
      @snakiestcarrot200 20 днів тому

      @chrismarriott-CS Thank you, that makes sense!

  • @Guy19372
    @Guy19372 Місяць тому

    Great video, stuck on this for ages

  • @rtej280
    @rtej280 Місяць тому

    Thanks mate

  • @sachindukadawathaarachchi5428
    @sachindukadawathaarachchi5428 Місяць тому

    Very clear ✨️❤

  • @MoushiTime
    @MoushiTime Місяць тому

    I know this video is 4 years old now so this is a Hail Mary, I’m a bit confused on why the case where T is less than half the sum and T is more than half the sum need something different added to them. Isn’t the relationship between the two sets symetric so to say. Meaning that maybe the partition wont be the set that makes subset sum true but there will exist two sets that you can partition regardless no ? Perhaps im getting confused but id appreciate if you can give some insight

    • @algorithm0r
      @algorithm0r Місяць тому

      These two problems are exactly the same if T is half the sum. If T is not half the sum then we can make the two problems exactly the same only by adding in a new element that will make T equal to half the sum.

    • @MoushiTime
      @MoushiTime Місяць тому

      @@algorithm0r hi thanks for the reply, i think i understand it now. I have a different question though, in the second problem when we take the union how can we guarantee that the number isn't already in the set and therefore isnt making a difference?

    • @MoushiTime
      @MoushiTime Місяць тому

      nvm i believe these are referring to multisets not regular sets

    • @algorithm0r
      @algorithm0r Місяць тому

      @MoushiTime we usually assume that duplicates are fine or we come up with a trick that allows us to draw the same conclusion. We might be able to do this by adding two items instead.

  • @bubu9123
    @bubu9123 2 місяці тому

    hi! great video, thank you very much! This implementation does not support pressing multiple keys at the same time right? Like pressing up and right at the same time would not work because you break out of the switch statement as soon as one of the conditions is met.

    • @chrismarriott-CS
      @chrismarriott-CS 2 місяці тому

      Each key pressed will fire a new event, so each key will trigger the switch independently. This means it will register multiple keys pressed at the same time. Also, if you are curious about "shift" or "ctrl" or "alt" these special keys are always registered in the event and you can test for them as needed.

  • @trinigamestv6538
    @trinigamestv6538 2 місяці тому

    Very helpful, thank you

  • @alvinboachie2743
    @alvinboachie2743 3 місяці тому

    Straight to the point and fantastic explanations..I finally understand this topic

  • @lisemorelle1518
    @lisemorelle1518 3 місяці тому

    Thank you so much ! Automata theory test in a couple hours ! I was lost then I tried looking for videos sorting them by "most recent", and I am so happy I fell on your video !

  • @V_050
    @V_050 3 місяці тому

    Curious as to how phenomena like tornadoes or fire seem to match the criteria

  • @maroyibisoka4530
    @maroyibisoka4530 3 місяці тому

    Hello, hope you're doing well I would like to know if it's possible to get the slides for this courses ?

  • @sleepyNovember_project
    @sleepyNovember_project 3 місяці тому

    🙏 Exactly what I need I'm trying to make a recreation on Unity I will also leave a link to your video in the comments to the code. Thanks!

  • @IyadeTest
    @IyadeTest 3 місяці тому

    in L8 i think its wrong ! if the input is : 10010011 this should be rejected but in urs its accepted

    • @chrismarriott-CS
      @chrismarriott-CS 3 місяці тому

      Correct. The link from the 5th state should go to 3rd state, not the first one.

  • @FOSology
    @FOSology 4 місяці тому

    In the proof for the upper bound (big O), is it necessary to include n = 3 in the base case? Would using only n = 2 still be valid? It seems it would still be valid because the base case n = 2 and the inductive step implies the truth of the n = 3 case (I think). Unless I am missing something

    • @chrismarriott-CS
      @chrismarriott-CS 4 місяці тому

      floor(3/2) = 1 not 2. So 3 is not implied by 2, but it would be implied by 1 if we could prove it (which we couldn't).

    • @FOSology
      @FOSology 4 місяці тому

      @@chrismarriott-CS Ohh okay, I think I see. I was confused because I was just looking at the inductive hypothesis as the more generic T(k) <= blog(k) for k < n. But I see now we actually need the extra restriction on the hypothesis where floor(n/2) is included amongst those k < n

  • @BHznJNs
    @BHznJNs 4 місяці тому

    Thank you for your patient explanation! It saved much of my time.

  • @taiyah8968
    @taiyah8968 4 місяці тому

    Did he ever mention why he named it Tierra?

  • @Caranor
    @Caranor 5 місяців тому

    thanks man for the explaination

  • @swiftzy3653
    @swiftzy3653 5 місяців тому

    This is awesome stuff!!! thanks for the effort!

  • @alexanderhearn6015
    @alexanderhearn6015 5 місяців тому

    20:38 Thank you so much!! Saved my grade in my algorithms course :)

  • @rohmanatasi1771
    @rohmanatasi1771 6 місяців тому

    i havea problem with the invariant of the outer loop the invariant isnt corrent for i = n-1 which is the last iteration take as example an array of size 4 [3,1,2,0] n-i will never equal 0 since i only iterates until n-1 so in the last iteration (where i = 3) the invariant would state the the elements from the 2 to 4 are sorted, excluding the first element.

    • @chrismarriott-CS
      @chrismarriott-CS 6 місяців тому

      @@rohmanatasi1771 if all element are in the correct place except one, then they are all in the correct place.

    • @rohmanatasi1771
      @rohmanatasi1771 6 місяців тому

      @@chrismarriott-CS yup that makes sense , thanks for the fast reply ;)

  • @uropig
    @uropig 6 місяців тому

    cool!

  • @pratyushkhatua712
    @pratyushkhatua712 6 місяців тому

    could I have the figures in this explanation? Do you mind if I use these figures in a presentation?

    • @chrismarriott-CS
      @chrismarriott-CS 6 місяців тому

      Send me an email at dr.chris.marriott@gmail.com and I'll send them too you.

  • @nicknguyen1679
    @nicknguyen1679 6 місяців тому

    Amazing video Chris, keep it up with the cool content.

  • @vini560wii
    @vini560wii 7 місяців тому

    How this differ from a subset sum problem (that is supposed to be np problem, and therefore not able to be executed in polynomial time) ?

    • @chrismarriott-CS
      @chrismarriott-CS 7 місяців тому

      This is the same problem. It is NP complete which means it is an NP problem and also is NP hard.

  • @TineshSakthiR
    @TineshSakthiR 7 місяців тому

    This generalised code looks like merge sort.............

  • @YiyangChen-y8d
    @YiyangChen-y8d 8 місяців тому

    Thank you so much.

  • @sprigs953
    @sprigs953 8 місяців тому

    thank you so much

  • @rohandvivedi
    @rohandvivedi 8 місяців тому

    Planning to implement this, right into my toy DB project. Thanks a lot. Could you also shed some light on how to organize the buckets or bucket pointers? Should they be contiguous pages or something like OS page tables?

    • @chrismarriott-CS
      @chrismarriott-CS 8 місяців тому

      Each bucket should fit on one page to minimize page swaps.

  • @muhammedenescelik9968
    @muhammedenescelik9968 9 місяців тому

    cool , I appreciated

  • @sumitdhiman9026
    @sumitdhiman9026 9 місяців тому

    Hey , im really struggling with laying out the correct DFAs for a given condition of inputs , Can you please help and give some idea as how you approach the construction of a particular DFA regarding some condition . Thx

  • @joker345172
    @joker345172 9 місяців тому

    Superb work, Chris! I was hooked for the entire lecture, from start to finish. As a master's students, it is often frustrating how little some professors care about making sure the students learn - sometimes, it feels like the tests we take are more about testing the student's ability to google parts of the subject and learn by themselves rather than testing the student's ability to properly learn from class. It is easy to raise the question - does a master's diploma even prove that much when a lot of us aren't learning directly from the master's program and its professors, but from UA-cam videos? Videos like these are what make the world a better place - sharing knowledge for free with little to no compensation. Thank you so much for stepping up to do the job that my bitter and overpaid professors wouldn't.

    • @chrismarriott-CS
      @chrismarriott-CS 9 місяців тому

      I'm super grateful for your kind words and the time you took to type them. Best of luck in your studies!

  • @yass_chaouch
    @yass_chaouch 9 місяців тому

    So nice video! Good job man you saving me in my exam

  • @yass_chaouch
    @yass_chaouch 9 місяців тому

    great video ! but at around 12:00 , you made a split. I didn't get how can we select how to split the pointers between the old bucket and the new one. can you help please

    • @chrismarriott-CS
      @chrismarriott-CS 9 місяців тому

      We are using mod 4 to move the entries into the 0 or 2 bucket.

  • @joseclima9519
    @joseclima9519 9 місяців тому

    great video thank you 🙏🙏

  • @chughsaurabh
    @chughsaurabh 10 місяців тому

    This is amazing explanation.

  • @BoosterShot1010
    @BoosterShot1010 10 місяців тому

    Hi, what textbook are you using for these lectures?

    • @chrismarriott-CS
      @chrismarriott-CS 10 місяців тому

      Introduction to the Theory of Computation by Michael Sipser

  • @danielmadison4451
    @danielmadison4451 10 місяців тому

    Nice start

  • @aisanazizi8619
    @aisanazizi8619 11 місяців тому

    Thank you for the video. Professors always assume that everything about induction is obvious and they always confuse me by leaving out steps. Your detailed solution and paced answer really helped me understand the concept!

    • @chrismarriott-CS
      @chrismarriott-CS 11 місяців тому

      Thanks for your kind and thoughtful comment. I'm glad my approach was helpful for you.

  • @ilankhirin3678
    @ilankhirin3678 11 місяців тому

    Great series! So happy I came across them, thank you🙏

  • @sergiochavarria2961
    @sergiochavarria2961 11 місяців тому

    This is hands down the best explanation on how to prove the closed form of summations. I always struggled to understand why the closed forms were the way it were, and like you, my brain is a "non-labeler", so I remember the ideas better than just memorizing the concepts. Thanks!

    • @chrismarriott-CS
      @chrismarriott-CS 11 місяців тому

      Thanks for the kind words and I'm glad my methods helped!

  • @JoeTopham-n7x
    @JoeTopham-n7x 11 місяців тому

    Hey Chris, I have a very similar problem I'm solving (what I would call interval cover too, but for intervals of varying real length) I was wondering if you'd have time for a quick chat about the problem? :)

  • @u2112
    @u2112 Рік тому

    please reply, is runtime of this algo nlogn ?

    • @chrismarriott-CS
      @chrismarriott-CS 11 місяців тому

      The dominant part of this algorithm is the sorting of the input. So, using a sort like Merge Sort of Quick Sort would achieve the O(nlogn).

  • @joaquimsousa2267
    @joaquimsousa2267 Рік тому

    perfect! Thank you!

  • @angela-tsai-cjt
    @angela-tsai-cjt Рік тому

    Why do we need n >= n_T?

  • @houndsraddforb4284
    @houndsraddforb4284 Рік тому

    Thank you. People need to learn about this. Energence from simple systens is HUGEEEEE. And it also can be reason to believe in evolution

  • @calebkrauter4027
    @calebkrauter4027 Рік тому

    This was great!